static-analysis 1 Cracking the Code: A light-hearted walkthrough of Control Property Graphs Jan 8, 2023