mudasir habib's repositories
bug-dataset
BugsJS benchmark framework and data files.
Language:PythonMIT000
Language:CSSCC0-1.0000
ck
extracts code metrics from Java code by means of static analysis
Language:Java000
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Language:Java000