Show this thread
I always enjoy panel interviews b/c I seem to have a knack for honing in on disagreements between the panelists. https://twitter.com/defiprime/status/1174679051312627717 …pic.twitter.com/Ae9ChQCuJF
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
What stops you from finding that 50% of bugs with automated analysis? Are there any papers on the limits of automated analysis you're describing?
-
You can read a preview of our peer-reviewed academic paper on that topic here:https://blog.trailofbits.com/2019/08/08/246-findings-from-our-smart-contract-audits-an-executive-summary/ …
- 1 more reply
New conversation -
-
-
@phildaian any thoughts? -
Agree w. Dan. I see FV as mathematical testing. If you have tests, it doesn't mean you're secure. For most contracts, we don't even know what "secure" means or how to formally state it. But if you don't have tests/FV, it just means you're cheating on your homework.. bad sign.
- 2 more replies
New conversation -
-
-
Yeah, it's very interesting to see a different point of views on the topic.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.