SoftSec Lab
SoftSec Lab
Eclipser
Grey-box Concolic Testing on Binary Code (ICSE '19)
IMF
Inferred Model-based Fuzzer
CodeAlchemist
CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)
Fuzzing-Survey
The Art, Science, and Engineering of Fuzzing: A Survey
MeanDiff
Testing Intermediate Representations for Binary Analysis (ASE '17)
BinKit
Binary Code Similarity Analysis (BCSA) Benchmark
Smartian
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
Ankou
Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)
TikNib
Binary Code Similarity Analysis (BCSA) Tool