jdataflow is a Z3 solver based data-flow analyzer for Java source code.
Primary LanguageJavaMIT LicenseMIT
No issues in this repository yet.