Alternatives and similar repositories for swan:

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

• secure-software-engineering / COVA
  COVA - A static analysis tool to compute path conditions
  ☆32Updated 2 years ago
• dbrumley / redebug
  ReDeBug Source Code.
  ☆24Updated last year
• julianthome / joanaudit
  JoanAudit - A security slicing tool that helps security auditors to perform their security auditing tasks more efficiently
  ☆10Updated 7 years ago
• Fraunhofer-AISEC / codyze
  Codyze is a static analyzer for Java, C, C++ based on code property graphs
  ☆87Updated 2 months ago
• ylya / horndroid
  A Static Analysis Tool For Android Apps
  ☆19Updated 5 months ago
• AUEB-BALab / VulinOSS
  Software vulnerabilities data set
  ☆24Updated 5 years ago
• fabsx00 / querygen
  ☆11Updated 9 years ago
• SunLab-GMU / PatchDB
  The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…
  ☆40Updated last year
• SAAF-Developers / saaf
  The Static Android Analysis Framework.
  ☆39Updated 9 years ago
• VulnReproduction / VulnReproduction.github.io
  Home page for this github organization
  ☆22Updated 6 years ago
• vulpecker / Vulpecker
  An Automated Vulnerability Detection System
  ☆59Updated 8 years ago
• fabsx00 / python-joern
  A python interface to joern (deprecated).
  ☆34Updated 6 years ago
• twelveand0 / CarrotsBlender
  holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…
  ☆20Updated 4 years ago
• SocietyMaster / FlowCog
  Project FlowCog (2017)
  ☆27Updated 6 years ago
• too4words / securibench-micro
  Securibench Micro is a benchmark for static analysis tools for security.
  ☆26Updated 6 years ago
• Aurore54F / HideNoSeek
  Static data flow-based analysis of JavaScript files to detect syntactic clones
  ☆23Updated 5 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆22Updated 8 years ago
• DroidTest / TimeMachine
  Time-travel Testing
  ☆105Updated 2 years ago
• zhunki / skyfire
  ☆53Updated 6 years ago
• Programming-Systems-Lab / dyclink
  ☆9Updated 6 years ago
• Android-Framework-Symbolic-Executor / Centaur
  Symbolic Execution of Android Framework
  ☆15Updated 7 years ago
• ucam-cl-dtg / LibID
  ☆29Updated last year
• susperius / icisc_rnnfuzz
  The tools used to train the models used for the ICISC paper "Recurrent neural networks for fuzz testing web browsers"
  ☆28Updated 6 years ago
• fabsx00 / codesensor
  ANTLR 3 fuzzy parser
  ☆48Updated 12 years ago
• OSUSecLab / PaymentScope
  ☆10Updated 2 years ago
• srasthofer / FuzzDroid
  ☆22Updated 8 years ago
• nettrino / slowfuzz
  ☆53Updated 7 years ago
• sola-da / StaticBugCheckers
  StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding t…
  ☆11Updated 6 years ago
• angr / pysoot
  Python bindings for Shimple/Jimple IR from Soot.
  ☆42Updated 2 months ago
• isstac / badger
  ☆20Updated 6 years ago