Hi Luke,
Securify needs solc to get the AST which corresponds to the solidity file under analysis. This way we do not have to implement a parser. You could get a taste of how this AST looks like (even though it is not exactly the same as the one Securify uses) by executing solc <solidity_contract> --ast-json. You might want to take a look at securify/solidity/solidity_ast_compiler.py for a deeper insight.
lukasdenk
commented
4 years ago
Hi Luke, Securify needs solc to get the AST which corresponds to the solidity file under analysis. This way we do not have to implement a parser. You could get a taste of how this AST looks like (even though it is not exactly the same as the one Securify uses) by executing
solc <solidity_contract> --ast-json. You might want to take a look atsecurify/solidity/solidity_ast_compiler.pyfor a deeper insight.Yannis