0xbok
0xbok
lgtm 🚀
Haven't thought much about it yet. We'll need to think about deeply once code is frozen. Let's take a look whenever one of us get time.
Waiting on https://github.com/crytic/slither/issues/1007
waiting on https://github.com/crytic/crytic-compile/issues/262
how about taking it as a function argument? any new attack vectors here?
Allowing user to increase minimum gas amount through an argument will not work in cases where the nft seller is not benefitting from ejector code execution. They'll always prefer the...
We can explore manticore https://github.com/trailofbits/manticore https://github.com/crytic/building-secure-contracts/tree/master/program-analysis/manticore
started on manticore.
@calvbore i think before we explore these tools, it would be good to have some specs we want to test against. Few thing we should formally verify: - Linked list...
I have this in one of my draft PRs.