Extracting a Micro State Transition Table Using the KLEE Symbolic Execution Engine

Download PDF
Open Webpage

Norihiro Yoshida, Takahiro Shimizu, Ryota Yamamoto, Hiroaki Takada

Published: 01 Jan 2021, Last Modified: 20 Jul 2025APSEC 2021EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: In this paper, we suggest an approach for extracting fine-grained state transition tables using the KLEE symbolic execution engine to assist developers in understanding the behavior of C source code for embedded systems.