Detects hidden bugs, memory leaks, and race conditions in VS Code extensions using systematic static and dynamic analysis techniques.