usyd-blockchain / vandal

Static program analysis framework for Ethereum smart contract bytecode.
BSD 3-Clause "New" or "Revised" License
161 stars 39 forks source link

Analytics input and output #21

Open zyzek opened 6 years ago

zyzek commented 6 years ago

A bunch of analytics are collected during dataflow analysis. Add a flag to toggle whether this occurs or not, and make it clear how to output this stuff. Maybe make an exporter which produces the analytics only, and nothing else.

The analytics information should be a graph object member; then exporters can be modified to easily output this data along with the rest of it.