Windsurf Demo: Static Analysis