ibabushkin / hapstoneLinks
Capstone bindings for Haskell: https://github.com/aquynh/capstone
☆15Updated 4 years ago
Alternatives and similar repositories for hapstone
Users that are interested in hapstone are comparing it to the libraries listed below
Sorting:
- Allows to execute haskell code in Ida Pro.☆27Updated 9 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆18Updated 4 years ago
- A library for disassembling x86-64 binaries.☆41Updated 2 months ago
- Parser for the llvm bitcode format☆59Updated last week
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆39Updated 2 months ago
- A decompiler for GHC-compiled Haskell☆107Updated 7 years ago
- A library for binary analysis and rewriting☆47Updated last year
- Stratified synthesis for learning machine code instruction semantics☆37Updated 3 weeks ago
- Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)☆69Updated 11 years ago
- Open source binary analysis tools.☆225Updated last week
- Pretty printer for LLVM AST to Textual IR☆68Updated 2 weeks ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- The BAP tutorial☆72Updated 2 years ago
- An experimental grammar fuzzer in Haskell using QuickCheck☆200Updated 5 years ago
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Datalog engine with extensions for integrating analyses☆38Updated 7 years ago
- rune - radare2 based symbolic emulator☆27Updated 7 years ago
- Symbolic Execution over Falcon IL☆29Updated 3 years ago
- Experimental MLIR based points-to analysis tool☆17Updated last week
- Program analysis grad seminar at SU (2019)☆57Updated 5 years ago
- Inline, type safe X86-64 assembly programming in Agda☆69Updated 6 years ago
- A Haskell parser for JVM bytecode files☆38Updated last year
- ELF data structures for Haskell☆24Updated 2 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆25Updated 3 weeks ago
- Slides and examples to accompany the September 25th invited talk at SAT 2015☆14Updated 9 years ago
- A plugin for solving numeric constraints in GHC's type-checker☆51Updated 4 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 12 years ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆52Updated 5 months ago
- symbolic execution engine for brainfuck because lol☆14Updated 8 years ago