Expand description
Solidity extraction over tree-sitter-solidity: contracts / interfaces / libraries, callables (functions, constructor, modifiers, fallback/receive), state variables, inheritance, call sites and state-variable reads/writes. Writes through storage-pointer aliases are a known precision loss of the pure-syntax approach.