Abstrakt. Gas är en mätenhet för den beräkningssats som det kommer att ta att utföra varje enskild operation som deltar i Ethereum blockchain-plattformen. Varje instruktion som utförs av Ethereum Virtual Machine (EVM) har en tillhörande gasförbrukning som anges av Ethereum. Om en transaktion överstiger den mängd gas som tilldelats av användaren (s.k. gasgräns) höjs ett undantag för avgaser. Det finns en stor familj av kontrakt sårbarheter på grund av out-of-gas beteenden. Vi rapporterar om utformningen och genomförandet av Gastap, en Gas-Aware Smart ContracT Analysis Platform, som tar som ingång ett smart kontrakt (antingen i SVM, demonterade EVM, eller i Solidity källkod) och automatiskt infer ljudgas övre gränser för alla sina offentliga funktioner. Våra gränser säkerställer att om den gas gräns som betalas av användaren är högre än våra inferred gas gränser, avtalet är fri från ut-of-gas sårbarheter.
GASTAP REF inkluderar ljudgas övre gränser för alla offentliga funktioner i ett smart kontrakt med komplexa omvandlings- och analysprocesser på koden.
GASTAP: A Gas Analyzer for Smart Contracts
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}