hexcoder-

Pinned Repositories

AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Language:C5.4k 84 8171.1k
cppcheck
static analysis of C/C++ code
Language:C++5.9k 213 01.5k
afl-patches
Patches to afl to fix bugs or add enhancements
1 1 00
macke
Modular And Compositional analysis with KLEE Engine
Language:Python1 0 01
mapping-high-level-constructs-to-llvm-ir
A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.
Language:LLVM0 0 01
seL4
The seL4 microkernel
Language:C0 0 00
spectral-drawer
Spectral Graph Drawer
Language:C++0 0 00
klee
KLEE Symbolic Execution Engine
Language:C++2.7k 107 606681
seL4
The seL4 microkernel
Language:C4.8k 204 429682
vim
The official Vim repository
Language:Vim Script37.2k 667 8.5k5.5k

hexcoder-'s Repositories

hexcoder-/afl-patches
Patches to afl to fix bugs or add enhancements
1 1 00
hexcoder-/macke
Modular And Compositional analysis with KLEE Engine
Language:Python1 0 01
hexcoder-/mapping-high-level-constructs-to-llvm-ir
A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.
Language:LLVM0 0 01
hexcoder-/seL4
The seL4 microkernel
Language:C0 0 00
hexcoder-/spectral-drawer
Spectral Graph Drawer
Language:C++0 0 00