Alternatives and similar repositories for apsa

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

• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆92Updated last year
• CROSSINGTUD / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆41Updated 4 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆33Updated 5 years ago
• joana-team / joana
  Joana - Information Flow Control for Java
  ☆94Updated 4 years ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 10 years ago
• isstac / kelinci
  AFL-based fuzzing for Java
  ☆238Updated 6 years ago
• gmu-swe / phosphor
  Phosphor: Dynamic Taint Tracking for the JVM
  ☆180Updated 7 months ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆93Updated 11 years ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆249Updated 2 years ago
• isstac / diffuzz
  ☆41Updated 6 years ago
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated 2 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆64Updated 4 years ago
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆126Updated 6 years ago
• seclab-ucr / UBITect
  ☆42Updated 3 years ago
• rohanpadhye / FuzzFactory
  Domain-Specific Fuzzing with Waypoints
  ☆240Updated 2 years ago
• ksen007 / calfuzzer
  ☆24Updated 10 years ago
• carolemieux / afl-rb
  FairFuzz: AFL extension targeting rare branches
  ☆252Updated 6 years ago
• neu-se / CONFETTI
  ☆22Updated 3 years ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆105Updated 7 years ago
• qingkaishi / context-sensitive-reachability
  Indexing reachability for context-sensitive data flow analysis.
  ☆12Updated 3 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆101Updated 5 years ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆51Updated last year
• isstac / badger
  ☆21Updated 7 years ago
• opalj / opal
  ☆74Updated 2 weeks ago
• season-lab / survey-symbolic-execution
  A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
  ☆84Updated 7 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆84Updated this week
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆236Updated 3 years ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆126Updated 3 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆48Updated 5 years ago
• jayhorn / jayhorn
  Static checker for Java
  ☆87Updated last year