ssa (cargo): Solidty Static Analysis
Keywords: control-flow-graph|data-flow-graph|solidity|vulnerability|vulnerable