Repos
13
Stars
517
Forks
141
Top Language
C++
Loading contributions...
Top Repositories
A step-by-step tutorial for building an LLVM sample pass
Static instrumentation tool for efficient binary-level coverage analysis.
Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.
SMT solver for the theory of floating-point arithmetic
Minimal ARM/Thumb linear sweep disassembler similar to objdump
A synthesis library from the synchronous language Quartz to the actor-oriented modeling library SysteMoC.
Repositories
13Static instrumentation tool for efficient binary-level coverage analysis.
A step-by-step tutorial for building an LLVM sample pass
SMT solver for the theory of floating-point arithmetic
Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.
Minimal ARM/Thumb linear sweep disassembler similar to objdump
A synthesis library from the synchronous language Quartz to the actor-oriented modeling library SysteMoC.
Capstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings.
Personal blog
Experimental artifacts
C++11 ELF/DWARF parser
Template sources of my Pelican based blog
Coreutils & CoreMark Pro benchmark binaries.
Optimized implementation of the SHA-256 hashing algorithm in the synchronous language Quartz.