Automated Generation of Test Cases for Smart Contract Security Analyzers

Automated Generation of Test Cases for Smart Contract Security Analyzers

We address the absence of reliable tests on contract analyzers of smart contracts and present a systematic method to diversify test cases by combining smart-contract-specific bugs and static analysis barriers in this paper. Using contract analyzers is the most practical solution for building a secur...

Full description

Bibliographic Details
Main Authors: Ki Byung Kim, Jonghyup Lee
Format: Article
Language:English
Published: IEEE 2020-01-01
Series:IEEE Access
Subjects:
Smart contracts
static analysis
security audits
honey pots
Online Access:https://ieeexplore.ieee.org/document/9268135/

Internet

https://ieeexplore.ieee.org/document/9268135/

Similar Items