andrewt0301 / static-analysis-courseLinks
Materials for the "Principles of Static Program Analysis" course
☆11Updated 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 2 months ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆32Updated 4 years ago
- A framework for testing compilers' type checkers☆63Updated last year
- Teaching and Learning Software Verification via SVF☆34Updated last month
- KLEEF Symbolic Execution Engine☆22Updated 6 months ago
- Sydr benchmark applications☆17Updated 3 years ago
- Static Analyzer and Verifier☆51Updated last year
- Static program analysis for TIP☆309Updated 9 months ago
- Apron Numerical Abstract Domain Library☆144Updated 10 months ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆21Updated last month
- A compiler from TIP to llvm bitcode☆72Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 11 months ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated 2 years ago
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Updated 11 months ago
- A fuzzing framework for SMT solvers☆196Updated 2 months ago
- data race detection☆14Updated 9 years ago
- Clade is a tool for extracting information about software build process and source code☆22Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆149Updated last year
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆250Updated last year
- Program Analisys and Transformation survey and links (particular focus on SSA)☆171Updated 4 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Updated 2 weeks ago
- Greybox Fuzzing of Distributed Systems (CCS'23)☆59Updated 2 years ago
- Generic model checker for concurrent C programs (mirror repository)☆190Updated 2 months ago
- Dynamic Analysis for Concurrent Programs☆27Updated last week
- Universal Symbolic Virtual Machine☆28Updated 2 months ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 5 years ago
- A JIT compiler validator for JVMs via CSX/JoNM introduced in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆62Updated 11 months ago
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- Clang plugin with several static analysis checks☆28Updated 6 months ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆56Updated 8 months ago