This is a WIP attempt at encoding the Solidity AST directly into Datalog, and building analyses on top of it purely in Datalog. Built on top of solc-typed-ast.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This is a WIP attempt at encoding the Solidity AST directly into Datalog, and building analyses on top of it purely in Datalog. Built on top of solc-typed-ast.