Alternatives and similar repositories for JimpleFramework

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

• rbonifacio / svfa-scala
  An implementation of sparse-value flow analysis on top of soot (using Scala)
  ☆9Updated 5 months ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆80Updated 7 months ago
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆38Updated last week
• jayhorn / jayhorn
  Static checker for Java
  ☆86Updated 4 months ago
• CROSSINGTUD / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆40Updated 3 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 last year
• TDacik / Deadlock_and_Racer
  Frama-C plugins for deadlock and data race detection
  ☆12Updated 2 weeks ago
• opalj / opal
  ☆59Updated this week
• wei-le / programanalysiscourse
  COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University
  ☆30Updated last year
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• neil-kulkarni / arvada
  Grammar synthesis algorithm using a black box oracle
  ☆36Updated last year
• qingkaishi / context-sensitive-reachability
  Indexing reachability for context-sensitive data flow analysis.
  ☆11Updated 2 years ago
• caterinaurban / function
  ☆12Updated 11 months ago
• neu-se / CONFETTI
  ☆22Updated 2 years ago
• secure-software-engineering / Boomerang
  Demand-Driven Pointer Analysis
  ☆13Updated this week
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 5 years ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆25Updated 3 weeks ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆20Updated last year
• ezaffanella / PPLite
  PPLite: convex polyhedra library for Abstract Interpretation
  ☆26Updated 2 months ago
• vlab-cs-ucsb / ABC
  ☆28Updated this week
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆20Updated 3 years ago
• secure-software-engineering / ideal
  IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
  ☆10Updated 7 years ago
• april1989 / Incremental_Points_to_Analysis
  This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA
  ☆24Updated 2 years ago
• hub-se / BeDivFuzz
  ☆16Updated 3 months ago
• QilinPTA / Qilin
  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
  ☆135Updated last month
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆90Updated 11 months ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆45Updated 10 months ago
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated last year
• eth-sri / learch
  ☆40Updated last year
• fast-sp-2023 / fast
  ☆28Updated 2 weeks ago