formalmethods / smtlecturesLinks
A collection of slides of the SMT course I held at University of Milan in fall 2011
☆9Updated 10 years ago
Alternatives and similar repositories for smtlectures
Users that are interested in smtlectures are comparing it to the libraries listed below
Sorting:
- Parser for the llvm bitcode format☆59Updated this week
- TypeSan checks casts in C++ code - code released for CCS 2016☆35Updated 4 years ago
- Lightweight Symbolic Execution Engine☆23Updated 9 years ago
- Liveness-driven random C code generator☆41Updated 11 months ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26Updated 4 years ago
- A library for disassembling x86-64 binaries.☆41Updated last month
- Measure branching along code paths☆20Updated 8 years ago
- Test and benchmark repository for Z3.☆28Updated 4 months ago
- A library for binary analysis and rewriting☆47Updated last year
- A framework for control-flow recovery in binary programs.☆10Updated 6 years ago
- A python script that creates an X86 assembly code for memcpy using genetic algorithms.☆10Updated 5 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆43Updated 5 years ago
- Program Analysis for LLVM☆37Updated 8 years ago
- VTable Hijacking Protection for Binaries☆12Updated 8 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- Allows to execute haskell code in Ida Pro.☆27Updated 9 years ago
- Generation of mutant programs☆20Updated 6 years ago
- A(nother) Binary Analysis Framework☆30Updated 11 years ago
- Picon☆39Updated 8 years ago
- An ARM Assembler and Simulator/Debugger☆15Updated 15 years ago
- MIT's abstract interpretation class taught by Cousot☆40Updated 10 years ago
- Formal semantics of LLVM IR in K☆46Updated 6 years ago
- The BAP tutorial☆72Updated 2 years ago
- A minimalistic and high-performance SAT solver☆28Updated 2 years ago
- Experimental results of the strata project☆9Updated 9 years ago
- Reference material for libbeauty☆25Updated 2 years ago
- libtalloc is a python script for use with GDB that can be used to analyse the "trivial allocator" (talloc)☆16Updated 9 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago