jdataflow is a Z3 solver based data-flow analyzer for Java source code.
Primary LanguageJavaMIT LicenseMIT