Alternatives and similar repositories for mutrex

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

• eth-sri / Nice2Predict
  Learning framework for program property prediction
  ☆218Updated 4 years ago
• tech-srl / PigeonJS
  Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"
  ☆24Updated 4 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆101Updated 3 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆51Updated last year
• squaresLab / ManyBugs
  ☆18Updated 6 years ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆237Updated this week
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆35Updated last year
• stephenfreund / RoadRunner
  ☆75Updated 8 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆119Updated 3 months ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆244Updated this week
• acheshkov / program-graphs
  A python library to build graphs for programs written in different programming languages.
  ☆13Updated 3 years ago
• nsumner / llvm-dataflow-analysis
  ☆66Updated 6 years ago
• thufv / Deagle
  ☆24Updated 2 months ago
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆252Updated this week
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆56Updated 8 months ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆92Updated last year
• skyhover / Deckard
  Code clone detection; clone-related bug detection; sematic clone analysis
  ☆224Updated last year
• april1989 / Incremental_Points_to_Analysis
  This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA
  ☆25Updated 2 years ago
• julianjensen / ast-flow-graph
  Creates a CFG from JavaScript source code.
  ☆69Updated last year
• SETTE-Testing / sette-tool
  Source of the Symbolic Execution-based Test Tool Evaluator (SETTE)
  ☆11Updated 3 years ago
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆143Updated 7 years ago
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated last year
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆250Updated last year
• microsoft / python-program-analysis
  A Typescript library for parsing Python 3 and doing basic program analysis, like forming control-flow graphs and def-use chains.
  ☆54Updated 6 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆100Updated 4 years ago
• cs-au-dk / TIP
  Static program analysis for TIP
  ☆308Updated 9 months ago
• bannsec / pySym
  Python Symbolic Execution
  ☆72Updated 6 years ago
• DeepTyper / DeepTyper
  ☆50Updated 5 years ago
• xlab-uiuc / ctest-prio-ae
  Test-Case Prioritization for Configuration Testing
  ☆16Updated 4 years ago
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 4 years ago