Ammar Ben Khadra
Results
4
repositories owned by
Ammar Ben Khadra
bcov
142
Stars
9
Forks
Watchers
Static instrumentation tool for efficient binary-level coverage analysis.
gosat
25
Stars
8
Forks
Watchers
SMT solver for the theory of floating-point arithmetic
llvm-pass-tutorial
199
Stars
96
Forks
Watchers
A step-by-step tutorial for building an LLVM sample pass
spedi
102
Stars
15
Forks
Watchers
Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.