andrewt0301 / static-analysis-course
Materials for the "Principles of Static Program Analysis" course
☆9Updated 4 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
- Universal Symbolic Virtual Machine☆23Updated this week
- KLEEF Symbolic Execution Engine☆15Updated 2 months ago
- ☆40Updated 3 weeks ago
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- Public-facing course info for program analysis materials.☆40Updated 3 months ago
- ☆38Updated 3 years ago
- Lectures in MIPT: intro to engineering software using model-checking.☆17Updated 3 years ago
- Clang plugin with several static analysis checks☆26Updated 2 years ago
- Sydr benchmark applications☆17Updated 2 years ago
- Simulation Foundations Book, in Russian☆13Updated last year
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 3 years ago
- ☆10Updated last week
- ☆16Updated 3 years ago
- Teaching language LaMa for a compiler course☆72Updated last week
- Static Analyzer and Verifier☆47Updated 5 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆58Updated last year
- A platform for analysis of Java bytecode☆30Updated 5 months ago
- A framework for testing compilers' type checkers☆52Updated 7 months ago
- Source code (C,C++,Java) static analysis tool☆45Updated 8 months ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- Materials for the "Computer Architecture and Operating Systems" course taught at Faculty of Computer Science of Higher School of Economic…☆34Updated last week
- ☆31Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 3 weeks ago
- A compiler from TIP to llvm bitcode☆68Updated 4 months ago
- Kotlin/Java API for various SMT solvers☆31Updated last week
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆140Updated 2 months ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆16Updated 2 years ago
- Linux kernel library functions formally verified.☆51Updated 4 years ago
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- Generic model checker for concurrent C programs (mirror repository)☆144Updated last month