During a summer internship at DBOS, the author developed a new iteration of a static analysis plugin aimed at enhancing the deployment of applications to DBOS Cloud by detecting programming errors and security vulnerabilities, such as SQL injections. The plugin, originally written by Chuck Bear in JavaScript, was overhauled and converted into a TypeScript project using ts-morph for more robust analysis capabilities. The author detailed the technical challenges and solutions, including converting between different AST types, implementing error checkers for detecting issues like global variable mutations and SQL injection vulnerabilities, and ensuring workflows are deterministic. The blog post also explored the intricacies of testing such a plugin, highlighting the complexities of accounting for TypeScript's diverse syntactic constructs and the iterative process of refining the plugin through extensive unit tests and real-world application trials. Overall, the project aimed to provide developers with stronger correctness guarantees in their DBOS applications, emphasizing the significance of thorough static analysis in preventing security and functional errors.