Detecting Call Graph Unsoundness without Ground Truth

Fangtian Zhong, Ollie Wold, Joseph Windmann

Java static analysis frameworks are commonly compared under the assumption that analysis algorithms and configurations compose monotonically and yield semantically comparable resul…