My slides from a talk I did at Cambridge 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
zeyu2001.github.io/cam-ib-tech-...
zeyu2001.github.io