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
• axt / jvm-callgraph
  Call graph generator for JVM bytecode
  ☆18Updated 8 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 6 months ago
• CROSSINGTUD / CryptoAnalysis
  CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
  ☆71Updated this week
• SWAT-project / SWAT
  SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
  ☆32Updated last year
• ASSERT-KTH / decompilercmp
  Dataset and tool to analyse and compare java bytecode decompilers http://arxiv.org/pdf/1908.06895
  ☆20Updated 4 years ago
• secure-software-engineering / SootFX
  A Static Code Feature Extraction Tool for Java and Android
  ☆20Updated last year
• secure-software-engineering / COVA
  COVA - A static analysis tool to compute path conditions
  ☆32Updated 2 years ago
• plast-lab / native-scanner
  An analyzer of JNI code that matches native code information with Java code
  ☆22Updated 3 years ago
• Fraunhofer-AISEC / codyze
  Codyze is a static analyzer for Java, C, C++ based on code property graphs
  ☆87Updated 3 months ago
• dvyukov / syzkaller-repros
  Collection of syzkaller bug reproducers for Linux
  ☆45Updated 2 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• CROSSINGTUD / Crypto-API-Rules
  This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.
  ☆16Updated last week
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆118Updated 5 years ago
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated last year
• dkarv / jdcallgraph
  JDCallgraph - Dynamic call graph generation for Java.
  ☆19Updated 4 years ago
• timtadh / jpdg
  generate program dependence graphs for java programs.
  ☆25Updated 7 years ago
• srasthofer / FuzzDroid
  ☆22Updated 8 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆110Updated 2 weeks ago
• wala / ML
  ☆26Updated 2 weeks ago
• UVA-LavaLab / BigMap
  BigMap integration on AFL++
  ☆15Updated 4 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 11 months ago
• quarkslab / aosp_dataset
  Large Commit Precise Vulnerability Dataset based on AOSP CVE
  ☆64Updated last year
• pcyin / dire
  Neural Variable Renaming for Decompiled Binaries
  ☆44Updated 4 years ago
• srcML / srcSlice
  Lightweight tool for slicing
  ☆35Updated 3 weeks ago
• FoelliX / AQL-System
  System using the Analysis Query Language
  ☆14Updated 2 years ago
• saswatanand / acteve
  Dynamic Symbolic Execution of Android Apps
  ☆22Updated 9 years ago
• angr / pysoot
  Python bindings for Shimple/Jimple IR from Soot.
  ☆42Updated 3 months ago
• isstac / badger
  ☆20Updated 6 years ago
• secure-software-engineering / secucheck
  Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…
  ☆17Updated 2 months ago