|
A survey on Blockchain Technology and itsBog'liq Huaqun Xingjie - A Survey on blockchain Technology and its Security - 2022 MarchSmart
Contract
Analysis
Tools
Analysis
Domain
Vulnerabilities
Detected
Number of
Smart
Contracts
Analyzed
Number of
Vulnerable
Smart
Contracts
Remark
Oyente [96]
Symbolic
execution
Timestamp Dependence, Transaction-
Ordering Dependence, Mishandled
Exceptions, Reentrancy
19, 366
8, 833
The first symbolic
execution-based tool
Mythril [97]
Symbolic
execution
Integer Underflows, Owner-Overwrite-to-
Ether-Withdrawal, and others
Unknown
Have, but no
given
number
teEther [98]
Symbolic
execution
Erroneous Visibility, Erroneous
Constructor, Semantic confusion, Logic
Flaws, Inter-Contract Exploits
38,757
815
Manticore
[99]
Symbolic
execution
Unprotected Function, Integer-Overflow,
Undefined Behaviour, Misconfiguration,
Numeric, Timing, Business Logic.
100
Have, but no
given
number
ZEUS [95]
Abstract
interpretation
Reentrancy, Failed Send, Unchecked Send,
Integer Overflow/Underflow, Transaction
State Dependency, Incorrect Logic,
Absence of Logic, Block State
Dependency, Logically Correct but Unfair,
Transaction Order Dependency
22, 493
21, 281
(94.6%)
Check smart contracts
written in Solidity
against a user-defined
policy
M
AIAN
[100]
Symbolic
execution
Entire Contract Execution traces, i.e.,
Leaky Contracts, Prodigal Contracts,
Suicidal Contracts, Greedy Contracts
970,898
34,200
Detecting across a
long invocation
sequence a smart
contract
|
| |
