Giters
Ammar Ben Khadra (abenkhadra)

abenkhadra

Geek Repo

39

followers

0

following

12

stars

Location:Germany

Home Page:https://blog.formallyapplied.com/

Github PK Tool:Github PK Tool

Organizations
sygus-tools
TriDis

Ammar Ben Khadra's repositories

llvm-pass-tutorial

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

Language:CMakeLicense:NOASSERTIONStargazers:199Issues:6Issues:2

bcov

Static instrumentation tool for efficient binary-level coverage analysis.

Language:C++License:NOASSERTIONStargazers:142Issues:8Issues:6

spedi

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

Language:C++License:BSD-3-ClauseStargazers:102Issues:9Issues:2

gosat

SMT solver for the theory of floating-point arithmetic

Language:C++License:MITStargazers:25Issues:3Issues:6

dithumb

Minimal ARM/Thumb linear sweep disassembler similar to objdump

Language:C++License:MITStargazers:10Issues:4Issues:0

formallyapplied.template

Template sources of my Pelican based blog

Language:CSSLicense:MITStargazers:1Issues:2Issues:0

quarto

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

Language:F#License:MITStargazers:1Issues:2Issues:0

abenkhadra.github.io

Personal blog

Language:HTMLStargazers:0Issues:2Issues:0

bcov-artifacts

Experimental artifacts

Language:PythonStargazers:0Issues:2Issues:0

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:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

cases16-benchmarks

Coreutils & CoreMark Pro benchmark binaries.

License:UnlicenseStargazers:0Issues:2Issues:1

libelfin

C++11 ELF/DWARF parser

Language:C++License:MITStargazers:0Issues:2Issues:0

synsha

Optimized implementation of the SHA-256 hashing algorithm in the synchronous language Quartz.

License:MITStargazers:0Issues:2Issues:0