Alternatives and similar repositories for NoRegrets:

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

• ExpoSEJS / ExpoSE
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…
  ☆198Updated last month
• 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.
  ☆53Updated 5 years ago
• cs-au-dk / taser
  ☆12Updated 3 years ago
• cs-au-dk / TAJS
  Type Analyzer for JavaScript
  ☆195Updated 3 weeks ago
• DeepTyper / DeepTyper
  ☆49Updated 5 years ago
• SpoonLabs / gumtree-spoon-ast-diff
  Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
  ☆162Updated last week
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆210Updated 3 months ago
• SpoonLabs / coming
  A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…
  ☆95Updated 3 months ago
• Haiyang-Sun / nodeprof.js
  Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.
  ☆54Updated last month
• wala / JS_WALA
  WALA analyses and tools that are implemented in JavaScript
  ☆82Updated 8 years ago
• cyrille-artho / modbat
  Modbat is a model-based API tester for stateful systems.
  ☆23Updated last year
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆69Updated 3 months ago
• TroupeLang / Troupe
  Troupe programming language
  ☆21Updated 4 months ago
• danhper / bigcode-tools
  Set of tools to help working with "Big Code"
  ☆43Updated 2 years ago
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆77Updated this week
• JetBrains-Research / astminer
  A library for mining of path-based representations of code (and more)
  ☆286Updated last year
• Symbolk / SmartCommitCore
  The Core Algorithm of SmartCommit.
  ☆25Updated 3 years ago
• FudanSELab / CLDIFF
  ☆39Updated 2 years ago
• Persper / js-callgraph
  Construct approximate static call graph for JavaScript & Typescript
  ☆187Updated 2 years ago
• sukyoung / safe
  Scalable Analysis Framework for ECMAScript
  ☆119Updated 3 years ago
• boogie-org / boogie
  Boogie
  ☆526Updated this week
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆183Updated 3 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆108Updated last month
• wala / jsdelta
  A delta debugger for JavaScript
  ☆51Updated 2 years ago
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆41Updated last year
• lascam-UFU / automatic-diff-dissection
  ADD extracts features from patches such as repair patterns.
  ☆13Updated last year
• cs-au-dk / TIP
  Static program analysis for TIP
  ☆286Updated 2 years ago
• squaresLab / genprog4java
  ☆18Updated 5 months ago
• shramos / pyc-cfg
  Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
  ☆51Updated 7 years ago
• tech-srl / id2vec
  ☆10Updated 5 years ago