Precise Dynamic Symbolic Execution for Nonuniform Data Access in Smart Contracts.

Jianjun Huang Jiasheng Jiang Wei You Bin Liang

Published in: IEEE Trans. Computers (2022)

Keyphrases

data access
symbolic execution
data management
database applications
data sharing
data transfer
data objects
sql server
source code
database
test generation
object oriented
visual basic
data warehouse
information systems
static analysis
memory access
search engine