Repository History
3 repositories tagged with static-analysis
code-review-graph: AI-Powered Code Intelligence for Smarter Reviews
code-review-graph is a local-first code intelligence graph that optimizes AI coding tools by building a persistent map of your codebase. It significantly reduces context for AI reviews and large-repo workflows, ensuring AI assistants read only the most relevant code. This leads to more efficient and cost-effective code 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.
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.