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
  ☆44Updated 4 years ago
• CROSSINGTUD / CryptoAnalysis
  CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
  ☆77Updated this week
• secure-software-engineering / COVA
  COVA - A static analysis tool to compute path conditions
  ☆39Updated 5 months ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆37Updated 5 years ago
• SWAT-project / SWAT
  SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
  ☆37Updated 7 months ago
• serval-snt-uni-lu / DroidRA
  Taming Reflection to Support Whole-Program Analysis of Android Apps
  ☆52Updated 5 years ago
• DroidTest / TimeMachine
  Time-travel Testing
  ☆105Updated 3 years ago
• ytsutano / jitana
  A graph-based static-dynamic hybrid DEX code analysis tool
  ☆40Updated 7 years ago
• plast-lab / native-scanner
  An analyzer of JNI code that matches native code information with Java code
  ☆23Updated 4 years ago
• angr / pysoot
  Python bindings for Shimple/Jimple IR from Soot.
  ☆42Updated 4 months ago
• srasthofer / FuzzDroid
  ☆22Updated 8 years ago
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆37Updated 3 years ago
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated 2 years ago
• quarkslab / aosp_dataset
  Large Commit Precise Vulnerability Dataset based on AOSP CVE
  ☆65Updated 2 years ago
• OSUSecLab / PaymentScope
  ☆11Updated 3 years ago
• saswatanand / ella
  Binary Instrumentation of Android Apps
  ☆69Updated 9 years ago
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆123Updated 6 years ago
• miwong / IntelliDroid
  A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
  ☆59Updated 7 years ago
• dvyukov / syzkaller-repros
  Collection of syzkaller bug reproducers for Linux
  ☆44Updated 3 years ago
• ash09 / angr-static-analysis-for-vuzzer64
  Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool
  ☆22Updated 5 years ago
• Android-Framework-Symbolic-Executor / Centaur
  Symbolic Execution of Android Framework
  ☆15Updated 8 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.
  ☆15Updated last year
• Fraunhofer-AISEC / codyze
  Codyze is a static analyzer for Java, C, C++ based on code property graphs
  ☆90Updated 10 months ago
• konrad-jamrozik / droidmate
  DroidMate is an automated GUI execution generator for Android apps.
  ☆39Updated 5 years ago
• Samsung / afl_cc
  Fuzzing with controlled compilation
  ☆30Updated 2 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆117Updated 2 months ago
• arguslab / NativeFlowBench
  Benchmark apps for static analyzing native world of Android applications.
  ☆13Updated 7 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…
  ☆76Updated last year
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆18Updated 2 years ago
• vasumv / bonsai-fuzzing
  ☆27Updated 2 years ago