moy / JFlex

Related projects: ⓘ

• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 2 years ago
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated 5 months ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆214Updated 2 weeks ago
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆222Updated this week
• jflex-de / jflex
  The fast scanner generator for Java™ with full Unicode support
  ☆581Updated last year
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆194Updated this week
• TestingResearchIllinois / idoft
  ☆32Updated 2 weeks ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆90Updated 3 weeks ago
• jeffweiss / modern_compiler_implementation_in_java
  Modern Compiler Implementation in Java by Andrew W. Appel has been sitting on my shelf long enough. It's time I work through it, you know…
  ☆57Updated 12 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆205Updated 3 weeks ago
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated last year
• javaparser / javasymbolsolver
  *old repository* --> this is now integrated in https://github.com/javaparser/javaparser
  ☆290Updated 6 years ago
• johnellis1392 / Cool-Compiler
  An implementation of the "Classroom Object-Oriented Language" compiler for CS143 on Stanford's open courseware
  ☆25Updated 9 years ago
• ComMouse / tiger-compiler
  Tiger Compiler Lab based on C.
  ☆30Updated 7 years ago
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆140Updated last month
• qxo / eclipse-metrics-plugin
  ☆20Updated 6 years ago
• cil-project / cil
  C Intermediate Language
  ☆348Updated last year
• grievejia / andersen
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆210Updated 5 years ago
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆96Updated last month
• nordicway / moji
  MOJI is an unofficial Java client for Moss
  ☆181Updated last year
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆60Updated 2 years ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆87Updated 3 months ago
• cs-au-dk / TIP
  Static program analysis for TIP
  ☆281Updated last year
• TestingResearchIllinois / starts
  STARTS - A tool for STAtic Regression Test Selection
  ☆28Updated 2 months ago
• lu1s / dragon-book-source-code
  A Java compiler from the Compilers "Dragon Book"
  ☆48Updated 12 years ago
• se-sic / jdime
  syntactic merge tool for java
  ☆20Updated 7 months ago
• antlrjavaparser / antlr-java-parser
  Antlr Java Parser aims to create a Java parser using Antlr 4 grammar rules.
  ☆57Updated 3 years ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆102Updated last month
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆146Updated 6 years ago
• stp / stp
  Simple Theorem Prover, an efficient SMT solver for bitvectors
  ☆506Updated 2 months ago