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

More-efficient arithmetic calculations with entry stack deltas #26

Open zyzek opened 6 years ago

zyzek commented 6 years ago

Instead of naively calculating exit stacks from all values in the entry stack, the delta between the latest entry stack and the one from the previous dataflow step can be used to determine the new output stack. Should bring binary arithmetic operation running times down from the product to the sum of the cardinalities of the input sets.