JacyCui / cpp-static-analyzerLinks
A Simple CPP Static Analysis Framework
☆22Updated 2 years ago
Alternatives and similar repositories for cpp-static-analyzer
Users that are interested in cpp-static-analyzer are comparing it to the libraries listed below
Sorting:
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Updated last week
- LLVM pass☆24Updated 5 years ago
- Concurrency Paper☆110Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆83Updated 2 weeks ago
- 带你畅游《软件分析》☆277Updated 3 years ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆77Updated last year
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆212Updated 6 months ago
- Teaching and Learning Software Analysis via SVF☆210Updated last week
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆32Updated 2 years ago
- My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html☆51Updated 3 years ago
- Static Analysis Course☆77Updated 3 weeks ago
- z3 solver 学习☆52Updated 2 years ago
- The notes about programming language theory☆27Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆146Updated 8 months ago
- ☆79Updated last week
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆13Updated 2 years ago
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)☆135Updated last month
- Learning and Teaching Software Analysis and Verification via SVF☆25Updated 2 months ago
- 一个通过提取 fuzz crash 触发的调用堆栈 hash, 来动态分类的小工具☆15Updated 3 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆143Updated last week
- 一个中文版本的 LibAFL 笔记,主要内容是 LibAFL 原理相关的内容,同时也附加一些 LibAFL 使用方面的 tips ,方便查阅和参考。☆35Updated last year
- CSCD70 Compiler Optimization☆260Updated 2 years ago
- Recent symbolic execution papers and tools.☆174Updated 4 months ago
- A Pointer Analysis Framework for Rust☆57Updated 3 months ago
- Source code of ASAN--☆100Updated last year
- Program analysis and verification framework☆30Updated this week
- ☆27Updated 3 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆61Updated 4 months ago
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆99Updated last year
- Tai-e assignments for static program analysis☆32Updated 3 years ago