Skip to content
Solar: Context-free, interactive analysis for Solidity
blog.trailofbits.com | blog | #web3 | #smart-contracts | #research | #static-analysis | #blockchain | #solidity | #interactive-analysis
Summary
Solar enables interactive, context-free analysis of Solidity contracts: users steer path exploration and assign constraints, with an IDE-like tool demonstrating integer overflow reasoning.
- Published
- Collected