William E Bodell III

icon indicating an email [email protected]

icon location Smart contract developer and security researcher. Master of CS from Illinois Institute of Technology, master of architecture from Columbia University.

Results 13 comments of William E Bodell III

[Bug-Candidate]: Error downloading from bscscan

Sorry for the delay, it has been a busy week. In order to reproduce this bug, I had to reinstall Diffusc, which reinstalled Slither from the branch that Diffusc depends...

Add motivating example from Smartian to research examples

That makes sense!

Add motivating example from Smartian to research examples

It seems like making use of the `msg_sender` and/or `functions_relations` properties in the `SlitherInfo` input would help trigger the bug faster. As you mentioned on Slack, re: the `generationGraph` created...