---
id: 1814
title: "Solar: Context-free, interactive analysis for Solidity"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2021/04/02/solar-context-free-interactive-analysis-for-solidity/"
published_at: "2021-04-02T04:52:39Z"
tags: ["web3", "smart-contracts", "research", "static-analysis", "blockchain", "solidity", "interactive-analysis"]
phying_url: "https://phying.com/item/1814"
lang: en
---

# Solar: Context-free, interactive analysis for Solidity

## 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.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2021-04-02T04:52:39Z
- **Original:** https://blog.trailofbits.com/2021/04/02/solar-context-free-interactive-analysis-for-solidity/
- **Phying News:** https://phying.com/item/1814