All Git Users → SoftSec-KAIST

6 open source projects by SoftSec-KAIST

[ Open user page on Github ]

1. Codealchemist

Semantics-aware Code Generation for Finding JS engine Vulnerabilities

✭ 204

fsharp code-generation fuzzer

Grey-box Concolic Testing on Binary Code

✭ 120

3. Fuzzing Survey

The Art, Science, and Engineering of Fuzzing: A Survey

✭ 116

javascript visualization fuzzing fuzzer

Inferred Model-based Fuzzer

✭ 85

python macos fuzzer

Binary Code Similarity Analysis (BCSA) Benchmark

✭ 54

shell python benchmark binary-analysis

Git-based CTF

✭ 53

python shell Dockerfile CSS ctf

1-6 of 6 user projects