Abstract-Smart kontrakt är fullfjädrad program som körs på blockchains (t.ex., Ethereum, en av de mest populära blockchains). I Ethereum är gas (i Ether, en kryptografisk valuta som Bitcoin) den exekveringsavgift som kompenserar gruvarbetarnas datorresurser för att driva smarta kontrakt. Vi finner dock att underoptimerade smarta kontrakt kostar mer gas än nödvändigt, och därför skaparna eller användarna kommer att överladdas. I detta arbete genomför vi den första undersökningen om Solidity, den rekommenderade kompilatorn, och avslöjar att det misslyckas med att optimera gaskostsamt programmeringsmönster. I synnerhet identifierar vi 7 gaskostnadsmönster och grupperar dem till 2 kategorier. Sedan föreslår och utvecklar vi GASPER, ett nytt verktyg för att automatiskt lokalisera gaskostnadsmönster genom att analysera smarta kontrakts bytekoder. De preliminära resultaten av att upptäcka tre representativa mönster från 4 240 riktiga smarta kontrakt visar att 93,5%, 90,1% respektive 80% kontrakt lider av dessa 3 mönster.
GASPER REF, baserat på OYENTE, finner underoptimerade smarta kontrakt automatiskt som kostar mer gas än nödvändigt.
Under-optimized smart contracts devour your money
{'venue': '2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER)', 'journal': '2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER)', 'mag_field_of_study': ['Computer Science']}