1. 2020. Infer: Eradicate. htps://fbinfer.com/docs/eradicate/ 2020. Infer: Eradicate. htps://fbinfer.com/docs/eradicate/
2. 2020. The Checker Framework. htps://checkerframework.org/ 2020. The Checker Framework. htps://checkerframework.org/
3. NullAway: Practical Type-based Null Safety for Java;Banerjee Subarno;Foundations of Software Engineering (FSE).,2019