Analyzing Control Flow More Like a Human [video]
18 days ago
- #Control-flow analysis
- #Programming languages
- #Demand-driven approach
- Control-flow analysis has been around for over four decades.
- Traditional approach involves exhaustive analysis over whole programs.
- Alternative demand-driven approach allows users to indicate a point within a program and determines its flow fact with minimal subsidiary facts.
- The demand-driven approach explores control flow both forwards and backwards, similar to human reasoning.
- The talk introduces the demand-driven approach, discusses its appeal for today’s language infrastructure and tooling, and outlines possible applications and enhancements.