JacyCui / cpp-static-analyzer
A Simple CPP Static Analysis Framework
☆20Updated last year
Alternatives and similar repositories for cpp-static-analyzer:
Users that are interested in cpp-static-analyzer are comparing it to the libraries listed below
- 软件工程与形式化方法相关前沿工作阅读与分享☆31Updated this week
- 带你畅游《软件分析》☆277Updated 2 years ago
- z3 solver 学习☆48Updated last year
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆139Updated 3 weeks ago
- LLVM pass☆22Updated 4 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台☆202Updated 2 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 4 years ago
- Concurrency Paper☆102Updated last year
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆128Updated 2 weeks ago
- The notes about programming language theory☆23Updated last year
- ☆14Updated 8 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆72Updated 2 years ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆62Updated 11 months ago
- Tai-e assignments for static program analysis☆31Updated 2 years ago
- SLOT: SMT-LLVM Optimizing Translation☆54Updated last year
- 一个通过提取 fuzz crash 触发的调用堆栈 hash， 来动态分类的小工具☆16Updated 3 years ago
- An unofficial reference implementation of the C Minus Minus Compiler☆52Updated 2 weeks ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html☆47Updated 2 years ago
- ☆18Updated last year
- AST interpreter with clang 5.0.0 and llvm 5.0.0☆14Updated 5 years ago
- some notes for how to build projects into a single LLVM bitcode file.☆18Updated 6 years ago
- A data dependence analyzer for C program☆20Updated 3 years ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆45Updated last year
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆30Updated 2 years ago
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…☆28Updated 4 years ago
- Build lexers and parsers by deriving traits.☆22Updated last year
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆17Updated 7 years ago
- Software Security Analysis Course☆50Updated this week
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆81Updated last year