My slides from today's talk about Static Program Analysis. I go into how data flow analysis (like taint propagation in CodeQL) works from first principles - should be digestible with some first-year university maths knowledge https://zeyu2001.github.io/cam-ib-tech-talk/
See Tweet