martinschaef / bixie

Related projects ⓘ

Alternatives and complementary repositories for bixie

• SRI-CSL / bixie
  Inconsistent code detection for Java.
  ☆14Updated 6 years ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆102Updated 6 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 2 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• jayhorn / jayhorn
  Static checker for Java
  ☆84Updated last year
• themaplelab / averroes
  Java bytecode generator for sound and precise partial program analysis
  ☆23Updated 3 years ago
• cuplv / thresher
  Static heap reachability analysis for Java bytecode and Android memory leak finder.
  ☆32Updated 10 years ago
• cuplv / hopper
  Goal-directed static analysis tool for JVM languages.
  ☆57Updated 8 years ago
• wala / ML
  ☆25Updated this week
• kelloggm / object-construction-checker
  An extension to the Java type system to catch badly-behaving builder patterns
  ☆12Updated last year
• acieroid / scala-am
  (Abstract) Abstract Machine Experiments using Scala
  ☆34Updated 3 years ago
• proganalysis / type-inference
  Automatically exported from code.google.com/p/type-inference
  ☆26Updated 5 years ago
• saltlab / BugAID
  A tool for learning bug patterns.
  ☆11Updated 8 years ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆88Updated 10 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated last month
• secure-software-engineering / ideal
  IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
  ☆10Updated 6 years ago
• sllam / comingle
  CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
  ☆32Updated 7 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 5 years ago
• jjhenkel / code-vectors-artifact
  Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
  ☆22Updated 4 years ago
• uwplse / Casper
  A compiler for automatically re-targeting sequential Java code to Apache Spark.
  ☆50Updated last year
• boogie-org / sdvbench
  Microsoft Static Driver Verifier Benchmarks
  ☆14Updated 7 years ago
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆19Updated this week
• ftsrg / codemodel-rifle
  Graph-based incremental static analysis of ECMAScript 6 source code repositories
  ☆19Updated 6 years ago
• petablox / petablox
  Main distribution of Petablox
  ☆36Updated 6 years ago
• secure-software-engineering / boomerang
  Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.
  ☆23Updated 4 years ago
• ftsrg / seviz
  SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation
  ☆20Updated 8 years ago
• sarda-nikhil / Sypy
  A symbolic execution engine for Python
  ☆45Updated 11 years ago