I Built a VS Code Security Extension That Uses SMT Solving and Taint Analysis — Here's What I Learned

I've been building developer tools for a while now, and one thing has always bothered me about security tooling: it's either too noisy or too shallow. Too noisy means your linter flags eval() everywhe