rcastano

cpachecker-1

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

analysis-net

Static analysis framework for .NET programs.

tbf

A framework for using test case generators to locate errors in C programs

corral

solver for the reachability modulo theories problem

django-tutorial

I'll keep the files related to the Django Beginner's Tutorial.

flow

Adds static typing to JavaScript to improve developer productivity and code quality.

predict-verification-success

scholar.py

A parser for Google Scholar, written in Python

srm

High-performance .NET regex engine with predictable performance