Pinned Loading

1. MeanDiff MeanDiff Public

   Testing Intermediate Representations for Binary Analysis (ASE '17)

   F# 79 11

2. CodeAlchemist CodeAlchemist Public

   CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)

   F# 238 41

3. Eclipser Eclipser Public

   Grey-box Concolic Testing on Binary Code (ICSE '19)

   F# 151 16

4. NTFuzz NTFuzz Public

   NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)

   F# 97 22

5. Smartian Smartian Public

   Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)

   F# 147 22

6. Fuzzle Fuzzle Public

   Fuzzle: Making a Puzzle for Fuzzers (ASE'22)

   Python 42 8