Pinned Loading

1. MeanDiff MeanDiff Public

   Testing Intermediate Representations for Binary Analysis (ASE '17)

   F# 82 9

2. CodeAlchemist CodeAlchemist Public

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

   F# 242 42

3. Eclipser Eclipser Public

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

   F# 156 16

4. NTFuzz NTFuzz Public

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

   F# 110 25

5. Smartian Smartian Public

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

   F# 157 27

6. SURI SURI Public

   Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)

   F# 20 1