Extracting Protocol Format as State Machine via Controlled Static Loop Analysis.

Qingkai Shi Xiangzhe Xu Xiangyu Zhang

Published in: CoRR (2023)

Keyphrases

state machine
formal analysis
image analysis
database
data sets
case study
database systems
data analysis
lightweight
quality of service
fault tolerant
quantitative analysis
static analysis
state machines