Java bytecode generator for sound and precise partial program analysis
Primary LanguageJavaEclipse Public License 1.0EPL-1.0
No one’s star this repository yet.