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
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- Lectures in MIPT: intro to engineering software using model-checking.☆17Updated 4 years ago
- Public-facing course info for program analysis materials.☆41Updated 4 months ago
- Materials for the "Computer Architecture and Operating Systems" course taught at Faculty of Computer Science of Higher School of Economic…☆34Updated last week
- Sydr benchmark applications☆17Updated 2 years ago
- ☆31Updated last year
- ☆39Updated last week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated last month
- Clang plugin with several static analysis checks☆26Updated 2 years ago
- ☆17Updated 3 years ago
- ☆16Updated 10 months ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Updated 2 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- ☆38Updated 3 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- A platform for analysis of Java bytecode☆30Updated 6 months ago
- KLEEF Symbolic Execution Engine☆16Updated 3 months ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆141Updated 2 months ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆168Updated 4 years ago
- Map2Check: Finding Software Vulnerabilities☆28Updated 4 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆19Updated 4 years ago
- Efficient patch generation engine for C/C++ programs☆18Updated 2 years ago
- Greybox Fuzzing of Distributed Systems (CCS'23)☆47Updated last year
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- Static Analyzer and Verifier☆47Updated 6 months ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 3 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆10Updated 3 months ago
- Simulation Foundations Book, in Russian☆13Updated last year