Alternatives and similar repositories for soot:

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

• secure-software-engineering / FlowDroid
  FlowDroid Static Data Flow Tracker
  ☆1,105Updated 2 weeks ago
• wala / WALA
  T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
  ☆782Updated last week
• soot-oss / SootUp
  A new version of Soot with a completely overhauled architecture
  ☆658Updated last week
• noidsirius / SootTutorial
  A step-by-step tutorial for Soot (a Java static analysis framework)
  ☆434Updated 2 years ago
• soot-oss / heros
  IFDS/IDE Solver for Soot and other frameworks
  ☆240Updated last year
• gousiosg / java-callgraph
  Programs for producing static and dynamic (runtime) call graphs for Java programs
  ☆799Updated last year
• INRIA / spoon
  Spoon is a metaprogramming library to analyze and transform Java source code. is made with , and . It parses source files to build a we…
  ☆1,793Updated this week
• pascal-lab / Tai-e
  An easy-to-learn/use static analysis framework for Java
  ☆1,542Updated last month
• rohanpadhye / JQF
  JQF + Zest: Coverage-guided semantic fuzzing for Java.
  ☆695Updated this week
• fesh0r / fernflower
  Unofficial mirror of FernFlower Java decompiler (All pulls should be submitted upstream)
  ☆3,605Updated 3 weeks ago
• RangerNJU / Static-Program-Analysis-Book
  Getting started with static program analysis. 静态程序分析入门教程。
  ☆1,702Updated last year
• leibnitz27 / cfr
  This is the public repository for the CFR Java decompiler
  ☆2,140Updated 8 months ago
• CodeIntelligenceTesting / jazzer
  Coverage-guided, in-process fuzzing for the JVM
  ☆1,095Updated last month
• secure-software-engineering / DroidBench
  A micro-benchmark suite to assess the stability of taint-analysis tools for Android
  ☆277Updated last year
• javaparser / javaparser
  Java 1-21 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.
  ☆5,725Updated this week
• klee / klee
  KLEE Symbolic Execution Engine
  ☆2,728Updated 2 months ago
• secure-software-engineering / SuSi
  SuSi - our tool to automatically discover sources and sinks in the Android framework
  ☆147Updated 8 years ago
• EvoSuite / evosuite
  EvoSuite - automated generation of JUnit test suites for Java classes
  ☆863Updated last month
• gmu-swe / phosphor
  Phosphor: Dynamic Taint Tracking for the JVM
  ☆173Updated 3 months ago
• clownice / GenerateControlFlow
  Using soot to generate control flow
  ☆20Updated 8 years ago
• arguslab / Argus-SAF
  Argus static analysis framework
  ☆187Updated last year
• flankerhqd / JAADAS
  Joint Advanced Defect assEsment for android applications
  ☆348Updated 7 years ago
• spotbugs / spotbugs
  SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
  ☆3,601Updated this week
• typetools / checker-framework
  Pluggable type-checking for Java
  ☆1,056Updated this week
• javapathfinder / jpf-core
  JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to instal…
  ☆558Updated this week
• javaparser / javasymbolsolver
  *old repository* --> this is now integrated in https://github.com/javaparser/javaparser
  ☆292Updated 7 years ago
• ShiftLeftSecurity / codepropertygraph
  Code Property Graph: specification, query language, and utilities
  ☆497Updated 3 weeks ago
• randoop / randoop
  Automatic test generation for Java
  ☆556Updated this week
• rjust / defects4j
  A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
  ☆812Updated 2 months ago
• ksluckow / awesome-symbolic-execution
  A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
  ☆1,374Updated 5 months ago