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
  ☆36Updated 2 years ago
• vulpecker / Vulpecker
  An Automated Vulnerability Detection System
  ☆60Updated 8 years ago
• dbrumley / redebug
  ReDeBug Source Code.
  ☆24Updated last year
• 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
• julianthome / joanaudit
  JoanAudit - A security slicing tool that helps security auditors to perform their security auditing tasks more efficiently
  ☆10Updated 7 years ago
• SunghoLee / HybriDroid
  Static Analysis Framework for Android Hybrid Applications
  ☆25Updated 4 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
• Fraunhofer-AISEC / codyze
  Codyze is a static analyzer for Java, C, C++ based on code property graphs
  ☆87Updated 4 months ago
• squizz617 / vuddy
  VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)
  ☆52Updated 4 months ago
• fabsx00 / python-joern
  A python interface to joern (deprecated).
  ☆34Updated 6 years ago
• stg-tud / MUBench
  ☆57Updated last year
• fabsx00 / querygen
  ☆12Updated 10 years ago
• AUEB-BALab / VulinOSS
  Software vulnerabilities data set
  ☆24Updated 5 years ago
• ylya / horndroid
  A Static Analysis Tool For Android Apps
  ☆20Updated 8 months ago
• miwong / IntelliDroid
  A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
  ☆59Updated 6 years ago
• find-sec-bugs / juliet-test-suite
  A collection of test cases in the Java language. It contains examples for 112 different CWEs.
  ☆55Updated 4 years ago
• ucam-cl-dtg / LibID
  ☆29Updated last year
• serval-snt-uni-lu / DroidRA
  Taming Reflection to Support Whole-Program Analysis of Android Apps
  ☆50Updated 5 years ago
• DeepSoftwareAnalytics / LibDB
  ☆35Updated 2 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
• secure-software-engineering / tamiflex
  TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
  ☆44Updated 4 years ago
• DroidTest / TimeMachine
  Time-travel Testing
  ☆106Updated 2 years ago
• VulnReproduction / VulnReproduction.github.io
  Home page for this github organization
  ☆22Updated 6 years ago
• Aurore54F / HideNoSeek
  Static data flow-based analysis of JavaScript files to detect syntactic clones
  ☆23Updated 5 years ago
• franchiotta / taintchecker
  Clang static checker that carries out tainting analysis.
  ☆88Updated 7 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆22Updated 8 years ago
• srasthofer / FuzzDroid
  ☆22Updated 8 years ago
• angr / pysoot
  Python bindings for Shimple/Jimple IR from Soot.
  ☆42Updated 4 months ago
• JulianSchuette / ConDroid
  Symbolic/concolic execution of Android apps
  ☆56Updated 9 years ago
• Tricker-z / TPLite
  ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?
  ☆30Updated last year