Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
An Examination of the Effect of the Contextual UI Design Quality of Mobile Shopping Applications on the Loyalty of Users to the Applications Read chapter Read first chapter

2018 | OriginalPaper | Chapter

Maximum Stack Memory Monitoring Method Assisted by Static Analysis of the Stack Usage Profile

Authors : Kiho Choi, Seongseop Kim, Moon Gi Seok, Jeonghun Cho, Daejin Park

Published in: Advances in Computer Science and Ubiquitous Computing

Publisher: Springer Singapore

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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’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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter A Parallel Adaptive Circumference Method with OpenMP
next chapter Design of Nonlinear Data-Based Wellness Content Recommendation Algorithm
Literature
1.
Brylow, D., Damgaard, N., Palsberg, J.: Static checking of interrupt-driven software. In: Proceedings of the 23rd International Conference on Software, ICSE 2001, pp. 47–56 (2001)
2.
Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T.A., Palsberg, J.: Stack size analysis for interrupt-driven programs. In: Proceedings of the 10th International Conference on Static Analysis, pp. 109–126 (2003)
3.
Eslamimehr, M., Palsberg, J.: Testing versus static analysis of maximum stack size. In: 37th Annual Computer Software and Applications Conference. IEEE, pp. 619–626 (2013)
4.
Brylow, D., Damgaard, N., Palsberg, J.: Static checking of interrupt-driven software. In: Proceedings of ICSE 2001, 23rd International Conference on Software Engineering, Toronto, pp. 47–56 (2001)
5.
Regehr, J.: Random testing of interrupt-driven software. In: ACM International Conference On Embedded Software, pp. 290–298 (2005)
6.
7.
8.
Regehr, J., Reid, A., Webb, K.: Eliminating stack overflow by abstract interpretation. In: Proceedings of EMSOFT 2003, Third International Conference on Embedded Software, pp. 306–322 (2003)
9.
Regehr, J., Reid, A.: HOIST: a system for automaticallyderiving static analyzers for embedded systems. In: ACM SIGARCH Computer Architecture News (2004)
10.
11.
Choi, K., Cho, J., Park, D.: Zynq-based ARM-FPGA Cooperative Platform for Maximum Stack Usage Analysis in Embedded Systems. In: Proceeding of COOLChips (2017)
12.
DiBona, C., Ockman, S., Stone, M.: Open Sources: Voices from the Open Source Revolution. O’reilly, Sebastopol (1999)MATH
13.
Mehlhorn, K., Naher, S., Sanders, P.: Engineering DFS-based graph algorithm. Partially supported by DFG grant SA 933/3–1 (2007)
14.
Metadata
Title
Maximum Stack Memory Monitoring Method Assisted by Static Analysis of the Stack Usage Profile
Authors
Kiho Choi
Seongseop Kim
Moon Gi Seok
Jeonghun Cho
Daejin Park
Copyright Year
2018
Publisher
Springer Singapore
Book
Advances in Computer Science and Ubiquitous Computing

Print ISBN: 978-981-10-7604-6

Electronic ISBN: 978-981-10-7605-3

Copyright Year: 2018

DOI
https://doi.org/10.1007/978-981-10-7605-3_121