Repository History
2 repositories tagged with static-analysis
Topic: static-analysis

Pytype: Google's Python Static Type Analyzer and Its Future
Pytype is a static type analyzer for Python code, developed by Google to provide compile-time checking. While effective, its bytecode-based design led to challenges, prompting Google to shift investments to new typing approaches. Python 3.12 will be the last supported version, and users are encouraged to explore alternative solutions.
Analyzed May 11, 2026
View Details

Wake: A Python Framework for Secure Solidity Development and Fuzz Testing
Wake is a robust Python-based framework designed for secure Solidity development and comprehensive fuzz testing. It provides built-in vulnerability detectors, helping developers build more secure Ethereum dApps. With features like a VS Code extension and CI/CD integration, Wake streamlines the smart contract development workflow.
Analyzed Jan 21, 2026
View Details
Previous Page 1 Next