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