Bebop: A path-sensitive interprocedural dataflow engine (2001)

by T Ball, S K Rajamani
Venue:In Workshop on Program Analysis for Software Tools and Engineering (PASTE