Static Analyzer for Solidity

ethereumsoliditystatic-analysis

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Josselin 7e91d7ae5f Add dominators information (node dominators, dominator tree, dominance frontier) ... Add SSA to SlithIR (WIP) - LocalVariable are converted to LocalIRVariable, which contains an index - Insert phi operations for local variable		6 years ago
..
printers	Add human printer example	6 years ago
scripts	Add dominators information (node dominators, dominator tree, dominance frontier)	6 years ago