Graph-native Analysis
Follow semantic relationships beyond the edited lines to expose downstream security impact
Warning
Graph-native analysis is coming soon. The explorer previews how it works.
Catch what the diff misses
A diff shows changed lines. Bevor follows semantic relationships to reveal what those changes can affect.
src/core/ImprintRWA.solreturn super.supportsInterface(interfaceId);return interfaceId == type(IERC721).interfaceId || super.supportsInterface(interfaceId);src/core/ImprintRWA.sol
A small change to supportsInterface() expands to 194 connected nodes before analysis begins.
Select a small diff to reveal its downstream blast radius. Toggle All code for the surrounding context.
What the graph represents
Contracts, functions, modifiers, interfaces, storage, errors, and other meaningful program elements become addressable entities.
Calls, reads, writes, inheritance, guards, and other relationships explain how behavior moves through the codebase.
Starting from changed symbols, Bevor expands across semantic edges to form the analysis scope. Relevant findings and prior decisions stay attached to that context across versions.
Info
The explorer uses a small curated Solidity graph to make the relationship model legible. Production graphs can contain thousands of nodes and edges, clustered by code structure and analysis context.
See how findings and remediations form a measurable trajectory.