mihaidaniel34/grounds

Experimental fast static analyzer for Java, built to run af…