Alternatives and similar repositories for BugAID

Users that are interested in BugAID are comparing it to the libraries listed below

• Programming-Systems-Lab / dyclink
  ☆9Updated 7 years ago
• secure-software-engineering / tamiflex
  TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
  ☆44Updated 4 years ago
• isstac / badger
  ☆20Updated 6 years ago
• Aurore54F / HideNoSeek
  Static data flow-based analysis of JavaScript files to detect syntactic clones
  ☆23Updated 5 years ago
• martinschaef / bixie
  Inconsistent Code Detection for Java
  ☆11Updated 4 years ago
• AUEB-BALab / VulinOSS
  Software vulnerabilities data set
  ☆23Updated 5 years ago
• secure-software-engineering / swan
  Security methods for WeAkNess detection
  ☆20Updated 4 months ago
• squaresLab / SemanticCrashBucketing
  Semantic Crash Bucketing
  ☆15Updated 4 years ago
• havrikov / covering-input-structure
  Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019
  ☆9Updated 2 years ago
• dbrumley / redebug
  ReDeBug Source Code.
  ☆24Updated last year
• fabsx00 / querygen
  ☆11Updated 10 years ago
• VulnReproduction / VulnReproduction.github.io
  Home page for this github organization
  ☆22Updated 6 years ago
• nettrino / IntFlow
  IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis
  ☆16Updated 10 years ago
• saswatanand / acteve
  Dynamic Symbolic Execution of Android Apps
  ☆23Updated 9 years ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago
• Android-Framework-Symbolic-Executor / Centaur
  Symbolic Execution of Android Framework
  ☆15Updated 8 years ago
• gaoxiang9430 / Fix2Fit
  ☆20Updated 4 years ago
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated 2 years ago
• Graspan / graspan-java
  This is java implementation of Graspan.
  ☆20Updated last year
• mozilla / JSBugMon
  INACTIVE - http://mzl.la/ghe-archive - Bugzilla Bug Monitor for JS shell bugs
  ☆19Updated 5 years ago
• PRL-PRG / dejavu-artifact
  Artifact for the OOPSLA 17 DejaVu Paper
  ☆10Updated 7 years ago
• srasthofer / FuzzDroid
  ☆22Updated 8 years ago
• proganalysis / type-inference
  Automatically exported from code.google.com/p/type-inference
  ☆27Updated 6 years ago
• CROSSINGTUD / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆40Updated 4 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 9 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆33Updated 5 years ago
• hvdthong / PatchNetTool
  ☆26Updated 4 years ago
• mechaphish / multiafl
  AFL, modified to support multi-CB challenge sets for CGC.
  ☆18Updated 8 years ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 10 years ago