@inproceedings{379f8e7ddf754666bc8f150e5d0e543b,
title = "Maximum stack memory monitoring method assisted by static analysis of the stack usage profile",
abstract = "As IoT permeates through industry in general, the safety assurances of IoT will become a major issue. One of the major safety issues, stack overflow, is a bothersome and difficult problem because it is hard to discover during design and to prevent. Many related studies for preventing stack overflow have used two general methods. The static analysis method is employed before a program runs and estimates the program{\textquoteright}s probable maximum stack memory usage. The dynamic analysis method is used to monitor for stack overflows during run-time. Based on those prior works, this paper introduces a method for monitoring stack memory based on static analysis of the maximum stack memory usage profile. We anticipate that applying the proposed approach will prevent stack overflow in an efficient manner.",
keywords = "Profile-based analysis, Stack overflow, Stack usage",
author = "Kiho Choi and Seongseop Kim and Seok, {Moon Gi} and Jeonghun Cho and Daejin Park",
note = "Publisher Copyright: {\textcopyright} Springer Nature Singapore Pte Ltd. 2018.; International Conference on Computer Science and its Applications, CSA 2017 ; Conference date: 18-12-2017 Through 20-12-2017",
year = "2018",
doi = "10.1007/978-981-10-7605-3_121",
language = "English",
isbn = "9789811076046",
series = "Lecture Notes in Electrical Engineering",
publisher = "Springer Verlag",
pages = "756--765",
editor = "Gangman Yi and Yunsick Sung and Park, {James J.} and Vincenzo Loia",
booktitle = "Advances in Computer Science and Ubiquitous Computing - CSA-CUTE 17",
address = "Germany",
}