static-analysis

TypeScript is a strongly typed programming language that builds on JavaScript by adding static type definitions and compile-time type checking to help catch errors early in development.

A static analysis framework for Solidity and Vyper smart contracts that detects vulnerabilities, provides code insights, and offers an API for custom security analyses.

A static code analysis tool for identifying and reporting on problematic patterns found in JavaScript code.