JacyCui / cpp-static-analyzer
A Simple CPP Static Analysis Framework
☆19Updated last year
Related projects ⓘ
Alternatives and complementary repositories for cpp-static-analyzer
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…☆27Updated 3 years ago
- 带你畅游《软件分析》☆273Updated 2 years ago
- z3 solver 学习☆45Updated last year
- Docker image for RISC-V 32/64 development environment, along with Qemu☆23Updated 2 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆123Updated 2 months ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 4 years ago
- Tai-e assignments for static program analysis☆30Updated 2 years ago
- The notes about programming language theory☆22Updated last year
- LLVM pass☆21Updated 4 years ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆50Updated 8 months ago
- 一个通过提取 fuzz crash 触发的调用堆栈 hash, 来动态分类的小工具☆14Updated 2 years ago
- AST interpreter with clang 5.0.0 and llvm 5.0.0☆14Updated 4 years ago
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models☆63Updated last month
- CSCD70 Compiler Optimization☆239Updated last year
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆12Updated last year
- This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …☆48Updated 5 years ago
- Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0☆135Updated 10 months ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated last year
- Learning and Teaching Software Analysis and Verification via SVF☆22Updated 6 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html☆45Updated 2 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 4 years ago
- Yet Another Toy Compiler from REMNIW(a toy language) to X64 and RISC-V assembly☆34Updated 10 months ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆24Updated 2 years ago
- A CTF fuzz powerd by protobuf.☆15Updated 2 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台☆198Updated 2 years ago
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆17Updated 7 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆137Updated 3 months ago
- a java decompiler demo☆13Updated 7 months ago
- A Pointer Analysis Framework for Rust☆42Updated 3 weeks ago