Ammar Ben Khadra

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

bcov. Static instrumentation tool for efficient binary-level coverage analysis.

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

gosat. SMT solver for the theory of floating-point arithmetic

dithumb. Minimal ARM/Thumb linear sweep disassembler similar to objdump

formallyapplied.template. Template sources of my Pelican based blog

quarto. A synthesis library from the synchronous language Quartz to the actor-oriented modeling library SysteMoC.