m4p1e / PLT-notes
The notes about programming language theory
☆23Updated last year
Alternatives and similar repositories for PLT-notes:
Users that are interested in PLT-notes are comparing it to the libraries listed below
- LLVM pass☆23Updated 4 years ago
- A Pointer Analysis Framework for Rust☆50Updated last month
- 软件工程与形式化方法相关前沿工作阅读与分享☆31Updated last month
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆131Updated this week
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆140Updated last month
- z3 solver 学习☆48Updated last year
- ☆76Updated this week
- A high-performance, parallel, compilation-based symbolic execution engine☆128Updated this week
- Precision-guided context sensitivity for pointer analysis☆60Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆73Updated 2 years ago
- Papers related with kernel papers☆13Updated 2 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 5 years ago
- Software Security Analysis Course☆51Updated 3 weeks ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- Indexing reachability for context-sensitive data flow analysis.☆11Updated 2 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- Concurrency Paper☆102Updated last year
- ☆28Updated 3 years ago
- A toy implementation about Program Dependence Graph using LLVM☆12Updated last year
- A fuzzer for SMT solvers☆19Updated 2 months ago
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…☆28Updated 4 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☆21Updated 3 years ago
- Software Analysis and Verification Group☆13Updated last month
- A native symbolic execution engine for WebAssembly☆43Updated 8 months ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆10Updated last week
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years 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…☆81Updated last year
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆31Updated 2 years ago