Ammar Ben Khadra

Results 4 repositories owned by


                                            Ammar Ben Khadra

142

Stars

Forks

Watchers

Static instrumentation tool for efficient binary-level coverage analysis.

Stars

Forks

Watchers

SMT solver for the theory of floating-point arithmetic

199

Stars

Forks

Watchers

A step-by-step tutorial for building an LLVM sample pass

102

Stars

Forks

Watchers

Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.