Datadog Illuminated: How to Use AI to Find Security Flaws in Static Code, with Bahar Shah