Footprint Analysis: A Shape Analysis that Discovers Preconditions
https://www.powershow.com/view4/717239-YjhiZ/Footprint_Analysis_A_Shape_Analysis_that_Discovers_Preconditions_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/