abenkhadra

Germany

Pinned Repositories

abenkhadra.github.io
Personal blog
Language:HTML0 2 00
bcov
Static instrumentation tool for efficient binary-level coverage analysis.
Language:C++144 8 69
dithumb
Minimal ARM/Thumb linear sweep disassembler similar to objdump
Language:C++10 4 03
formallyapplied.template
Template sources of my Pelican based blog
Language:CSS1 2 00
gosat
SMT solver for the theory of floating-point arithmetic
Language:C++26 3 68
llvm-pass-tutorial
A step-by-step tutorial for building an LLVM sample pass
Language:CMake209 6 298
quarto
A synthesis library from the synchronous language Quartz to the actor-oriented modeling library SysteMoC.
Language:F#1 2 00
spedi
Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.
Language:C++103 9 215
capstone
Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.
Language:C7.5k 300 1.2k1.5k
tychon
SyGuS solver for programming-by-example
Language:C++8 3 01

abenkhadra/llvm-pass-tutorial
A step-by-step tutorial for building an LLVM sample pass
Language:CMake209 6 298
abenkhadra/bcov
Static instrumentation tool for efficient binary-level coverage analysis.
Language:C++144 8 69
abenkhadra/spedi
Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.
Language:C++103 9 215
abenkhadra/gosat
SMT solver for the theory of floating-point arithmetic
Language:C++26 3 68
abenkhadra/dithumb
Minimal ARM/Thumb linear sweep disassembler similar to objdump
Language:C++10 4 03
abenkhadra/formallyapplied.template
Template sources of my Pelican based blog
Language:CSS1 2 00
abenkhadra/quarto
A synthesis library from the synchronous language Quartz to the actor-oriented modeling library SysteMoC.
Language:F#1 2 00
abenkhadra/abenkhadra.github.io
Personal blog
Language:HTML0 2 00
abenkhadra/bcov-artifacts
Experimental artifacts
Language:Python0 2 00
abenkhadra/capstone
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.
Language:C2 0
abenkhadra/cases16-benchmarks
Coreutils & CoreMark Pro benchmark binaries.
2 11
abenkhadra/libelfin
C++11 ELF/DWARF parser
Language:C++2 0
abenkhadra/synsha
Optimized implementation of the SHA-256 hashing algorithm in the synchronous language Quartz.
2 0