ibabushkin / hapstone
Capstone bindings for Haskell: https://github.com/aquynh/capstone
☆15Updated 3 years ago
Related projects: ⓘ
- Allows to execute haskell code in Ida Pro.☆27Updated 8 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆18Updated 3 years ago
- A library for disassembling x86-64 binaries.☆37Updated 8 months ago
- Parser for the llvm bitcode format☆59Updated 2 weeks ago
- A library for binary analysis and rewriting☆47Updated 11 months ago
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- Stratified synthesis for learning machine code instruction semantics☆35Updated last month
- A decompiler for GHC-compiled Haskell☆104Updated 6 years ago
- The BAP tutorial☆71Updated last year
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆36Updated last month
- Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)☆68Updated 10 years ago
- Open source binary analysis tools.☆203Updated this week
- Experimental MLIR based points-to analysis tool☆12Updated this week
- Inline, type safe X86-64 assembly programming in Agda☆66Updated 5 years ago
- Datalog engine with extensions for integrating analyses☆38Updated 6 years ago
- Symbolic Execution over Falcon IL☆28Updated 3 years ago
- A Haskell parser for JVM bytecode files☆38Updated 8 months ago
- Program analysis grad seminar at SU (2019)☆57Updated 4 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Linux kernel library functions formally verified.☆48Updated 3 years ago
- An experimental grammar fuzzer in Haskell using QuickCheck☆194Updated 4 years ago
- symbolic execution engine for brainfuck because lol☆13Updated 7 years ago
- Slides and examples to accompany the September 25th invited talk at SAT 2015☆14Updated 8 years ago
- Formalization of C++ for verification purposes.☆66Updated this week
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 6 years ago
- Sturdy is a library for developing sound static analyses in Haskell.☆60Updated last year
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 2 years ago
- Symbolic execution engine for toy language.☆48Updated 6 years ago
- rune - radare2 based symbolic emulator☆26Updated 7 years ago
- Dynamically discover the commands used to create a piece of software☆45Updated 3 months ago