Automated finite state machine extraction

Yongheng Chen, Linhai Song, Xinyu Xing, Fengyuan Xu, Wenfei Wu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

Finite state machine (FSM) is a type of computation models widely used in various software programs. Extracting implemented FSMs has many important applications in the networking, software engineering and security domains. In this paper, we first conduct an empirical study to understand how FSMs are implemented in real-world software. Under the guidance of our study results, we then design a static analysis tool, FSMExtractor, to automatically identify and synthesize implemented FSMs. Evaluation using 160 software programs from three sources shows that FSMExtractor can extract all implemented FSMs and report very few false positives.

Original languageEnglish (US)
Title of host publicationFEAST 2019 - Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software Transformation
PublisherAssociation for Computing Machinery
Pages9-15
Number of pages7
ISBN (Electronic)9781450368346
DOIs
StatePublished - Nov 15 2019
Event3rd ACM Workshop on Forming an Ecosystem Around Software Transformation, FEAST 2019, co-located with the 26th ACM Conference on Computer and Communications Security, CCS 2019 - London, United Kingdom
Duration: Nov 15 2019 → …

Publication series

NameProceedings of the ACM Conference on Computer and Communications Security
ISSN (Print)1543-7221

Conference

Conference3rd ACM Workshop on Forming an Ecosystem Around Software Transformation, FEAST 2019, co-located with the 26th ACM Conference on Computer and Communications Security, CCS 2019
CountryUnited Kingdom
CityLondon
Period11/15/19 → …

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Automated finite state machine extraction'. Together they form a unique fingerprint.

Cite this