andrewt0301 / static-analysis-courseLinks
Materials for the "Principles of Static Program Analysis" course
☆12Updated 6 months ago
Alternatives and similar repositories for static-analysis-course
Users that are interested in static-analysis-course are comparing it to the libraries listed below
Sorting:
- Public-facing course info for program analysis materials.☆43Updated last month
- Program Analisys and Transformation survey and links (particular focus on SSA)☆172Updated 4 years ago
- KLEEF Symbolic Execution Engine☆22Updated 5 months ago
- Teaching and Learning Software Verification via SVF☆34Updated last month
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆32Updated 4 years ago
- A compiler from TIP to llvm bitcode☆72Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 10 months ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆148Updated last year
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆61Updated 2 years ago
- Apron Numerical Abstract Domain Library☆144Updated 10 months ago
- A Simple Abstract Interpreter, built for teaching purposes☆20Updated 5 years ago
- Sydr benchmark applications☆16Updated 3 years ago
- Dynamic Analysis for Concurrent Programs☆27Updated last year
- ☆42Updated last month
- Static Analyzer and Verifier☆51Updated last year
- Static program analysis for TIP☆308Updated 8 months ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆250Updated last year
- A randomized program fuzzer for the Rust programming language☆64Updated 2 years ago
- A framework for testing compilers' type checkers☆61Updated last year
- ☆20Updated last year
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Updated 5 months ago
- A fuzzing framework for SMT solvers☆196Updated last month
- Greybox Fuzzing of Distributed Systems (CCS'23)☆59Updated 2 years ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆19Updated 3 years ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated 2 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆44Updated 4 years ago
- An LLVM-based formal verification frontend for C programs.☆26Updated 4 years ago
- Map2Check: Finding Software Vulnerabilities☆30Updated 5 years ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆19Updated 3 weeks ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆73Updated last week