Beast code in Giters

mingi's starred repositories

BoKASAN: Binary-only Kernel Address Sanitizer for Effective Kernel Fuzzing

Language:C2700

extract callable functions/basic block

Language:Python100

S2E: A platform for multi-path program analysis with selective symbolic execution.

Language:C++NOASSERTION44500

Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing

Language:CGPL-2.03300

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

Language:C++NOASSERTION62900

Testing Intermediate Representations for Binary Analysis (ASE '17)

Language:F#MIT7900