Medan Ethereum smarta kontrakt möjliggör ett brett utbud av blockchain applikationer, de är extremt sårbara för olika former av säkerhetsattacker. På grund av det faktum att transaktioner till smarta kontrakt ofta innebär cryptocurrency överföring, kan alla framgångsrika attacker leda till pengar förlust eller till och med finansiell störning. I detta dokument fokuserar vi på överflödet attacker i Ethereum, främst eftersom de har en bred rot i många smarta kontrakt och jämförelsevis lätt att utnyttja. Vi har utvecklat EASYFLOW, en överloppsdetektor på Ethereum Virtual Machine nivå. Den viktigaste insikten bakom EASYFLOW är en fläckanalysbaserad spårningsteknik för att analysera spridningen av inblandade föroreningar. Specifikt kan EASYFLOW inte bara dela upp smarta kontrakt i säkra kontrakt, manifesterade överflöden, väl skyddade överflöden och potentiella överflöden, utan också automatiskt generera transaktioner för att utlösa potentiella överflöden. I vår preliminära utvärdering lyckades EASYFLOW hitta potentiellt sårbara Ethereum-kontrakt med låga omkostnader. En demovideo av EASYFLOW finns på https://youtu.be/QbUJkQI0L6o.
EasyFlow REF är en fläckanalysbaserad spårningsteknik för att övervaka transaktioner.
EASYFLOW: Keep Ethereum Away from Overflow
{'venue': '2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)', 'journal': '2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)', 'mag_field_of_study': ['Computer Science']}