SoftSec Lab
Results
13
repositories owned by
SoftSec Lab
Eclipser
147
Stars
16
Forks
Watchers
Grey-box Concolic Testing on Binary Code (ICSE '19)
IMF
107
Stars
25
Forks
Watchers
Inferred Model-based Fuzzer
CodeAlchemist
233
Stars
41
Forks
Watchers
CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)
Fuzzing-Survey
185
Stars
21
Forks
Watchers
The Art, Science, and Engineering of Fuzzing: A Survey
MeanDiff
77
Stars
11
Forks
Watchers
Testing Intermediate Representations for Binary Analysis (ASE '17)
BinKit
123
Stars
21
Forks
Watchers
Binary Code Similarity Analysis (BCSA) Benchmark
Smartian
132
Stars
21
Forks
Watchers
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
Ankou
55
Stars
12
Forks
Watchers
Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)
TikNib
108
Stars
22
Forks
Watchers
Binary Code Similarity Analysis (BCSA) Tool