andrewt0301 / static-analysis-courseLinks
Materials for the "Principles of Static Program Analysis" course
☆11Updated 7 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.☆42Updated 6 months ago
- KLEEF Symbolic Execution Engine☆18Updated last month
- Universal Symbolic Virtual Machine☆24Updated this week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 3 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆10Updated 6 months ago
- ☆17Updated last year
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆29Updated 3 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆144Updated 4 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 3 months ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 4 years ago
- A framework for testing compilers' type checkers☆54Updated 10 months ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆42Updated 4 years ago
- Sydr benchmark applications☆17Updated 2 years ago
- Teaching and Learning Software Verification via SVF☆34Updated last month
- Apron Numerical Abstract Domain Library☆127Updated 3 months ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- Greybox Fuzzing of Distributed Systems (CCS'23)☆50Updated last year
- ☆37Updated this week
- A Pointer Analysis Framework for Rust☆52Updated last week
- A compiler from TIP to llvm bitcode☆69Updated 7 months ago
- Clang plugin with several static analysis checks☆26Updated 2 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 3 years ago
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- data race detection☆13Updated 9 years ago
- A data dependence analyzer for C program☆21Updated 3 years ago
- An LLVM-based formal verification frontend for C programs.☆24Updated 3 years ago
- ☆14Updated last year