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

2021 28th Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2021-12-01 DOI:10.1109/APSEC53868.2021.00072

Norihiro Yoshida, Takahiro Shimizu, Ryota Yamamoto, Hiroaki Takada

引用次数: 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.

查看原文本刊更多论文

使用KLEE符号执行引擎提取微状态转移表

在本文中，我们提出了一种使用KLEE符号执行引擎提取细粒度状态转换表的方法，以帮助开发人员理解嵌入式系统C源代码的行为。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2021 28th Asia-Pacific Software Engineering Conference (APSEC)

自引率

0.00%

发文量