May 5, 2026I Built a VS Code Security Extension That Uses SMT Solving and Taint Analysis — Here's What I LearnedAdam Corriveau