Dan Guido Retweeted Trail of Bits
Slither uses refinement parsing (like joern) to extract contracts, functions, the CFG, and Nodes from the Solidity AST then translates to a linear IR that transforms and simplifies the code.https://twitter.com/trailofbits/status/1053236893591179265 …
Dan Guido added,
6:28 AM - 19 Oct 2018
0 replies
11 retweets
27 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.