Pinned Loading

1. liblit/csi-cc liblit/csi-cc Public

   an instrumenting compiler for lightweight program tracing

   C++ 5 3

2. CSIclipse CSIclipse Public

   A plugin for presenting CSI instrumentation and analysis data in the Eclipse IDE

   Java 3

3. csi-grissom csi-grissom Public

   an analysis framework for control-flow queries over incomplete failure reports

   Python 6 3

4. pldi-2017-artifact pldi-2017-artifact Public

   Artifact for PLDI 2017 paper "Control-Flow Recovery from Partial Failure Reports"

   Python 2 1

5. symbolicautomata symbolicautomata Public

   Forked from lorisdanto/symbolicautomata

   Library for symbolic automata and symbolic visibly pushdown automata

   Java

6. automatark automatark Public

   Forked from lorisdanto/automatark

   Benchmark problems for different models of automata, transducers, and related logics

   Java