sjxer723 / sjxer723.github.io Goto Github PK

https://sjxer723.github.io/2023/04/17/SSA-Transformation-of-Move-Stackless-Bytecodes/

最近在做有关Move Prover的开发。这两周主要负责将Move Stackless Bytecode转换为single staic assignment(SSA)格式。想简单写一篇文章记录一下具体实现流程。

https://sjxer723.github.io/2023/02/11/Paper-Reading-Input-Splitting-for-Cloud-Based-Static-Application-Security-Testing-Platforms/Paper-Reading-Input-Splitting-for-Cloud-Based-Static-Application-Security-Testing-Platforms/#more

简介： 这篇博客主要介绍FSE’22的一篇工作《Input Splitting for Cloud-Based Static Application Security Testing Platforms》。主要想法是通过切分输入，以减轻程序分析的时间复杂度。文章通过实验表明，按照他们的策略切分输入代码确实可以显著地提高执行效率，并且不会明显影响工具的精度。 关键词： Split Code, Sta

https://sjxer723.github.io/2023/02/04/Infer-Buffer-Overrun-I/#more

Infer is a static analysis tool developed by Facebook. In this blog, I will discuss how to build it and run checkers within it.

https://sjxer723.github.io/about/

I am currently a fourth-year undergraduate student in IEEE pilot class, Shanghai Jiao Tong University. In the fall of this year, I will go to HKUST to pursue PhD degree. Teaching Assistant Algorithm

https://sjxer723.github.io/2023/11/30/Configure-Maple-for-cvc5/

最近尝试给cvc5引入数学库Maple，进而支持关于整数型方程的支持。配置过程稍微有些麻烦，在这里记录一下~ 1. Download Maple 先从官网Maple下载binary文件。Maple本身是收费的，但可以用学生版试用15天。 Maple在docker下配置会有些麻烦，需要填proxy信息，否则激活会很麻烦。建议在个人主机或服务器上配置。 2. Configure Maple Path

https://sjxer723.github.io/2023/02/04/Infer-Buffer-Overrun-II/#more

In this blog, we will take a further look at the abstract domain within the buffer overrun checker (inferbo), including intervals, bounds, locations, and memory model.

https://sjxer723.github.io/2023/02/13/Useful-Documents-and-Blogs/

I will maintain a list of blogs or official document interesting to me here.

https://sjxer723.github.io/2023/02/03/About-Me/

[🔨 Pinned] Hi, my name is Jiaxin Song. My current research interests focus on program analysis and theorectial computer science. In the June of 2023, I received my bachelor’s degree in computer scien

https://sjxer723.github.io/publications/

Publications Fair Division with Prioritized Agents (AAAI’2023 CCF-A).[arxiv version]Joint with Xiaolin Bu, Zihao Li, Shengxin Liu*, Biaoshuai Tao (alphabetical author ordering). Scalable Linear Invari

https://sjxer723.github.io/2023/09/03/Paper-Reading-Goshawk/

This is a paper reading report of the paper “Goshawk: Hunting Memory Corruptions via Structure-Aware and Object-Centric Memory Operation Synopsis” in S&P’2022. They mainly study how to detect the