Post

Program Analysis - Francesc Campoy

program analysis and what static tooling can reveal about real codebases

Old talk video, but so relevant today. With more AI-generated code, there’s more demand for dev tools that support engineers in accessing static and dynamic analysis data.

I’m also interested in how SSA representations can affect how AI reasons about the code. Maybe something for Lacune using mcpgen =]

This post is licensed under CC BY 4.0 by the author.