1. Checker framework. https://checkerframework.org/manual/
2. Doop framework. https://bitbucket.org/yanniss/doop/src/master/
3. Java Vulnerability Detection. https://labs.oracle.com/pls/apex/f?p=labs:49:::::P49_PROJECT_ID:122
4. MUDetect. https://github.com/stg-tud/MUDetect
5. SecuriBench-micro. https://github.com/too4words/securibench-micro