Z1an
Z1an
There are already smart contract vulnerability detection and automatic repair solutions. I'm thinking about that if we can use LLVM to compile smart contract source code, we can add these...
I found a pretty interesting [paper](https://arxiv.org/abs/2101.01917) which provides a vulnerability detection method based on a series of well-defined dependency rules, and the corresponding patch scheme. Therefore, I will try to...
Got it. Thanks for your reply!
That works for me, thank you so much!
Because of the version update of Angr, It's a pity that the scripts mentioned above cannot suit for current environment anymore. :( For example, function `tracer_state` is not supported by...