jdataflow is a Z3 solver based data-flow analyzer for Java source code.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool