search

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts
Other
302 stars 63 forks source link

Running Gigahorse Manually: Cannot open fact file MaxContextDepth.csv #13

Closed XiaowenHu96 closed 3 years ago

XiaowenHu96 commented 3 years ago

I was trying to run Gigahorse manually by directly invoking souffle with the facts generated by generatefacts. However, I ran into an error complaining about missing MaxContextDepth.csv as input.

Am I missing something here? I'm using the latest Souffle release 2.0.2

sifislag commented 3 years ago

Hi, MaxContextDepth is an optional input to gigahorse overriding the maximum context depth of its transactional context sensitivity. If it is not found the decompilation continues with the maximum context depth defaulting to 8.