Alternatives and similar repositories for sootdiff:

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

• secure-software-engineering / tamiflex
  TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
  ☆42Updated 3 years ago
• plast-lab / native-scanner
  An analyzer of JNI code that matches native code information with Java code
  ☆22Updated 3 years ago
• plume-oss / plume
  Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…
  ☆73Updated 3 months ago
• SWAT-project / SWAT
  SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
  ☆27Updated 9 months ago
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆116Updated 5 years ago
• plast-lab / HeapDL
  Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.
  ☆14Updated 8 months ago
• ASSERT-KTH / decompilercmp
  Dataset and tool to analyse and compare java bytecode decompilers http://arxiv.org/pdf/1908.06895
  ☆20Updated 4 years ago
• srasthofer / FuzzDroid
  ☆22Updated 7 years ago
• secure-software-engineering / COVA
  COVA - A static analysis tool to compute path conditions
  ☆32Updated 2 years ago
• DroidTest / TimeMachine
  Time-travel Testing
  ☆106Updated 2 years ago
• isstac / badger
  ☆20Updated 6 years ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆89Updated 7 months ago
• CROSSINGTUD / CryptoAnalysis
  CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
  ☆68Updated this week
• axt / jvm-callgraph
  Call graph generator for JVM bytecode
  ☆18Updated 7 years ago
• dynodroid / dynodroid
  Automatic Input Generation System for Android Apps
  ☆36Updated 5 years ago
• wala / ML
  ☆26Updated this week
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated last year
• neu-se / CONFETTI
  ☆20Updated 2 years ago
• Fraunhofer-AISEC / codyze
  Codyze is a static analyzer for Java, C, C++ based on code property graphs
  ☆88Updated this week
• secure-software-engineering / SootFX
  A Static Code Feature Extraction Tool for Java and Android
  ☆19Updated last year
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆36Updated 2 years ago
• CodeShield-Security / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆66Updated last month
• konrad-jamrozik / droidmate
  DroidMate is an automated GUI execution generator for Android apps.
  ☆38Updated 4 years ago
• ytsutano / jitana
  A graph-based static-dynamic hybrid DEX code analysis tool
  ☆39Updated 6 years ago
• saswatanand / ella
  Binary Instrumentation of Android Apps
  ☆69Updated 8 years ago
• yuanchun-li / HybridFlow
  static taint analysis of hybrid Android Apps (Java + HTML)
  ☆13Updated 3 years ago
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆18Updated 11 months ago
• ASSERT-KTH / jdbl
  JDBL automatically removes unnecessary bytecode from Java applications through dynamic analysis https://dl.acm.org/doi/abs/10.1145/354694…
  ☆16Updated last year