Alternatives and similar repositories for sootdiff

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

• secure-software-engineering / COVA
  COVA - A static analysis tool to compute path conditions
  ☆40Updated 6 months ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆37Updated 5 years ago
• CROSSINGTUD / CryptoAnalysis
  CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
  ☆77Updated last week
• plast-lab / native-scanner
  An analyzer of JNI code that matches native code information with Java code
  ☆23Updated 4 years ago
• SWAT-project / SWAT
  SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
  ☆38Updated 9 months ago
• secure-software-engineering / tamiflex
  TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
  ☆44Updated 4 years ago
• dvyukov / syzkaller-repros
  Collection of syzkaller bug reproducers for Linux
  ☆43Updated 3 years ago
• Fraunhofer-AISEC / codyze
  Codyze is a static analyzer for Java, C, C++ based on code property graphs
  ☆91Updated last year
• 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…
  ☆75Updated last year
• angr / pysoot
  Python bindings for Shimple/Jimple IR from Soot.
  ☆42Updated 6 months ago
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated 2 years ago
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆38Updated 3 years ago
• secure-software-engineering / SootFX
  A Static Code Feature Extraction Tool for Java and Android
  ☆21Updated 2 years ago
• quarkslab / aosp_dataset
  Large Commit Precise Vulnerability Dataset based on AOSP CVE
  ☆65Updated 2 years ago
• nettrino / slowfuzz
  ☆53Updated 8 years ago
• DroidTest / TimeMachine
  Time-travel Testing
  ☆106Updated 3 years ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆18Updated 4 years ago
• ytsutano / jitana
  A graph-based static-dynamic hybrid DEX code analysis tool
  ☆41Updated 7 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
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆119Updated 3 months ago
• swissiety / JimpleLSP
  This is an implementation of the Language Server Protocol for Jimple. It enables your IDE to provide code exploring features while workin…
  ☆12Updated 2 years ago
• OSUSecLab / PaymentScope
  ☆11Updated 3 years ago
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆126Updated 6 years 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
  ☆31Updated 2 years ago
• srasthofer / FuzzDroid
  ☆22Updated 8 years ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆51Updated 12 years ago
• serval-snt-uni-lu / DroidRA
  Taming Reflection to Support Whole-Program Analysis of Android Apps
  ☆52Updated 5 years ago
• arguslab / NativeFlowBench
  Benchmark apps for static analyzing native world of Android applications.
  ☆13Updated 7 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆96Updated 4 years ago