Get the latest tech news
Analyzing Control Flow More Like a Human [video]
Kimball Germane Time and Location - Date: Wednesday, August 6 - Time: 1:00-2:00PM - Location: Luddy Hall 1104 Abstract Control-flow analysis has been around for over four decades. Over this time period, the typical formulation has remained essentially an exhaustive analysis over whole programs—an analyzer ingests an entire higher-order program and produces a flow fact for each point therein.
Over this time period, the typical formulation has remained essentially an exhaustive analysis over whole programs—an analyzer ingests an entire higher-order program and produces a flow fact for each point therein. The analyzer keeps the set of subsidiary facts relatively small by exploring control flow both forwards and backwards, similar to how a human might reason. This talk introduces the demand-driven approach, discusses aspects that make it particularly appealing for today’s language infrastructure and tooling, and outlines possible applications and enhancements.
Or read this on Hacker News
