41554 blogs · 4,644,446 posts Claim your blog

Record · corpus.blog/posts/01a0878e-a06d-70ba-9b50-31a987f321dc

SmartBugs: An Execution Framework for Automated Analysis of Smart Contracts

joaoff.com · published 5 March 2020

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at joaoff.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 14
Words captured: 819

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://smartbugs.github.io

smartbugs.github.io

https://2020.icse-conferences.org/track/icse-2020-papers?track=ICSE%20Technical%20Papers

2020.icse-conferences.org

Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts Read at the source ↗

https://github.com/smartbugs/smartbugs/tree/master/dataset

github.com

https://github.com/smartbugs/smartbugs-wild

github.com

https://joaoff.com/2020/03/05/smartbugs-an-execution-framework-for-automated-analysis-of-smart-contracts/Table4_hudbfbe03f9d2956323a174fbe8252acb5_41108_2000x2000_fit_lanczos_2.png

joaoff.com

https://joaoff.com/2020/03/05/smartbugs-an-execution-framework-for-automated-analysis-of-smart-contracts/Table5_hu37b877f5a20f0e854cce2d4e067cb159_90716_2000x2000_fit_lanczos_2.png

joaoff.com

https://joaoff.com/2020/03/05/smartbugs-an-execution-framework-for-automated-analysis-of-smart-contracts/Table7_hu8353b8cf04d110527f4bdcc5cdfce168_94306_2000x2000_fit_lanczos_2.png

joaoff.com

https://joaoff.com/2020/03/05/smartbugs-an-execution-framework-for-automated-analysis-of-smart-contracts/Table8_hu73c8670a89e81717a7ef462f8a2f3ad2_71624_2000x2000_fit_lanczos_2.png

joaoff.com

https://twitter.com/pedrocrvz

twitter.com

https://tecnico.ulisboa.pt/pt/

tecnico.ulisboa.pt

https://github.com/smartbugs/smartbugs-dashboard

github.com

https://twitter.com/thodurieux

twitter.com

https://twitter.com/jff

twitter.com