Java bytecode generator for sound and precise partial program analysis
Primary LanguageJavaEclipse Public License 1.0EPL-1.0
No issues in this repository yet.