Popular repositories Loading

1. cerberus cerberus Public

   Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to fuzzing, static analysis and program repair.

   Python 70 32

2. CrashRepair CrashRepair Public

   Security Vulnerability Repair via Concolic Execution and Code Mutations

   Python 18 1

3. vulnloc-benchmark vulnloc-benchmark Public

   VulnLoc Security Benchmark with instrumentation support for repair tools

   C 3 3

4. evoRepair evoRepair Public

   Prototype for co-evolution based Repair for Java

   Java 2 1

5. extractfix-benchmark extractfix-benchmark Public

   ExtractFix security vulnerabilities with instrumentation for repair tools

   C 2

6. lm-defects-benchmark lm-defects-benchmark Public

   LMDefects benchmark with instrumentation for repair tools

   Java 2