Matches in SemOpenAlex for { <https://semopenalex.org/work/W4315706568> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4315706568 abstract "Blockchain smart contracts have given rise to a variety of interesting and compelling applications and emerged as a revolutionary force for the Internet. Quite a few practitioners have devoted themselves to developing tools for detecting bugs in smart contracts. One line of efforts revolve around static analysis techniques, which heavily suffer from high false-positive rates. Another line of works concentrate on fuzzing techniques. Unfortunately, current fuzzing approaches for smart contracts tend to conduct fuzzing starting from the initial state of the contract, which expends too much energy revolving around the initial state and thus is usually unable to unearth bugs triggered by other states. Moreover, most existing methods treat each branch equally, failing to take care of the branches that are rare or more likely to possess bugs. This might lead to resources wasted on normal branches. In this paper, we try to tackle these challenges from three aspects: (1) In generating function invocation sequences, we explicitly consider data dependencies between functions to facilitate exploring richer states. We further prolong a function invocation sequence S1 by appending a new sequence S2, so that S2 can start fuzzing from states that are different from the initial state. (2) We incorporate a branch distance-based measure to evolve test cases iteratively towards a target branch. (3) We engage a branch search algorithm to discover rare and vulnerable branches, and design an energy allocation mechanism to take care of exercising these crucial branches. We implement IR-Fuzz and extensively evaluate it over 12K real-world contracts. Empirical results show that: (i) IR-Fuzz achieves 28% higher branch coverage than state-of-the-art fuzzing approaches, and (ii) IR-Fuzz detects more vulnerabilities and increases the average accuracy of vulnerability detection by 7% over current methods." @default.
- W4315706568 created "2023-01-12" @default.
- W4315706568 creator A5006098403 @default.
- W4315706568 creator A5028693742 @default.
- W4315706568 creator A5031854164 @default.
- W4315706568 creator A5046463494 @default.
- W4315706568 creator A5075443983 @default.
- W4315706568 creator A5081598925 @default.
- W4315706568 creator A5088661712 @default.
- W4315706568 date "2023-01-10" @default.
- W4315706568 modified "2023-10-16" @default.
- W4315706568 title "Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting" @default.
- W4315706568 doi "https://doi.org/10.48550/arxiv.2301.03943" @default.
- W4315706568 hasPublicationYear "2023" @default.
- W4315706568 type Work @default.
- W4315706568 citedByCount "0" @default.
- W4315706568 crossrefType "posted-content" @default.
- W4315706568 hasAuthorship W4315706568A5006098403 @default.
- W4315706568 hasAuthorship W4315706568A5028693742 @default.
- W4315706568 hasAuthorship W4315706568A5031854164 @default.
- W4315706568 hasAuthorship W4315706568A5046463494 @default.
- W4315706568 hasAuthorship W4315706568A5075443983 @default.
- W4315706568 hasAuthorship W4315706568A5081598925 @default.
- W4315706568 hasAuthorship W4315706568A5088661712 @default.
- W4315706568 hasBestOaLocation W43157065681 @default.
- W4315706568 hasConcept C111065885 @default.
- W4315706568 hasConcept C136197465 @default.
- W4315706568 hasConcept C14036430 @default.
- W4315706568 hasConcept C154945302 @default.
- W4315706568 hasConcept C17744445 @default.
- W4315706568 hasConcept C199360897 @default.
- W4315706568 hasConcept C199539241 @default.
- W4315706568 hasConcept C2776527387 @default.
- W4315706568 hasConcept C2777904410 @default.
- W4315706568 hasConcept C38652104 @default.
- W4315706568 hasConcept C41008148 @default.
- W4315706568 hasConcept C48103436 @default.
- W4315706568 hasConcept C78458016 @default.
- W4315706568 hasConcept C86803240 @default.
- W4315706568 hasConceptScore W4315706568C111065885 @default.
- W4315706568 hasConceptScore W4315706568C136197465 @default.
- W4315706568 hasConceptScore W4315706568C14036430 @default.
- W4315706568 hasConceptScore W4315706568C154945302 @default.
- W4315706568 hasConceptScore W4315706568C17744445 @default.
- W4315706568 hasConceptScore W4315706568C199360897 @default.
- W4315706568 hasConceptScore W4315706568C199539241 @default.
- W4315706568 hasConceptScore W4315706568C2776527387 @default.
- W4315706568 hasConceptScore W4315706568C2777904410 @default.
- W4315706568 hasConceptScore W4315706568C38652104 @default.
- W4315706568 hasConceptScore W4315706568C41008148 @default.
- W4315706568 hasConceptScore W4315706568C48103436 @default.
- W4315706568 hasConceptScore W4315706568C78458016 @default.
- W4315706568 hasConceptScore W4315706568C86803240 @default.
- W4315706568 hasLocation W43157065681 @default.
- W4315706568 hasOpenAccess W4315706568 @default.
- W4315706568 hasPrimaryLocation W43157065681 @default.
- W4315706568 hasRelatedWork W1040283336 @default.
- W4315706568 hasRelatedWork W157156687 @default.
- W4315706568 hasRelatedWork W2517087431 @default.
- W4315706568 hasRelatedWork W2981521527 @default.
- W4315706568 hasRelatedWork W3006477812 @default.
- W4315706568 hasRelatedWork W3017338730 @default.
- W4315706568 hasRelatedWork W3021250941 @default.
- W4315706568 hasRelatedWork W3083477702 @default.
- W4315706568 hasRelatedWork W4225009177 @default.
- W4315706568 hasRelatedWork W4232884709 @default.
- W4315706568 isParatext "false" @default.
- W4315706568 isRetracted "false" @default.
- W4315706568 workType "article" @default.