4 skills found
QilinPTA / QilinQilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
april1989 / Incremental Points To AnalysisThis is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA
KnowSciEng / DoopDoop - Framework for Java Pointer and Taint Analysis
arpith20 / Null Dereference AnalysisA static null pointer analysis tool for Java
