Matches in SemOpenAlex for { <https://semopenalex.org/work/W1853172962> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1853172962 endingPage "213" @default.
- W1853172962 startingPage "202" @default.
- W1853172962 abstract "In safety-critical embedded systems the stack typically is the only dynamically allocated memory area. However, the maximal stack usage must be statically known: at configuration time developers have to reserve enough stack space for each task. Stack overflow errors are often hard to find but can cause the system to crash or behave erroneously. All current safety standards, e.g., ISO-26262, require upper estimations of the storage space; due to its dynamic behavior the stack is an especially critical storage area. Typically neither testing and measuring nor static source code analysis can provide safe bounds on the worst-case stack usage. A safe upper bound can be computed by whole-program static analysis at the executable code level. When an Abstract Interpretation based static analyzer is used, it can be formally proven that the maximal stack usage will never be underestimated. The challenge for binary-code level analyzers is to minimize the necessary amount of user interactions, e.g., for function pointer calls. To minimize user interaction, the analysis has to be precise, and the annotation mechanism has to be flexible and easy-to-use. The analyzer configuration has to be done once for each software project; afterwards the analysis can be run automatically, supporting continuous verification. In this article we describe the principles of Abstract Interpretation based stack analysis. We present an annotation language addressing all properties of typical automotive and avionics software and report on practical experience." @default.
- W1853172962 created "2016-06-24" @default.
- W1853172962 creator A5005023091 @default.
- W1853172962 creator A5031169759 @default.
- W1853172962 date "2014-01-01" @default.
- W1853172962 modified "2023-09-23" @default.
- W1853172962 title "Proving the Absence of Stack Overflows" @default.
- W1853172962 cites W1482836859 @default.
- W1853172962 cites W190998913 @default.
- W1853172962 cites W1993699285 @default.
- W1853172962 cites W2025806161 @default.
- W1853172962 cites W2110183386 @default.
- W1853172962 cites W2121306113 @default.
- W1853172962 cites W3004594580 @default.
- W1853172962 cites W4205877761 @default.
- W1853172962 cites W4246033583 @default.
- W1853172962 doi "https://doi.org/10.1007/978-3-319-10506-2_14" @default.
- W1853172962 hasPublicationYear "2014" @default.
- W1853172962 type Work @default.
- W1853172962 sameAs 1853172962 @default.
- W1853172962 citedByCount "11" @default.
- W1853172962 countsByYear W18531729622015 @default.
- W1853172962 countsByYear W18531729622016 @default.
- W1853172962 countsByYear W18531729622018 @default.
- W1853172962 countsByYear W18531729622019 @default.
- W1853172962 countsByYear W18531729622020 @default.
- W1853172962 countsByYear W18531729622021 @default.
- W1853172962 crossrefType "book-chapter" @default.
- W1853172962 hasAuthorship W1853172962A5005023091 @default.
- W1853172962 hasAuthorship W1853172962A5031169759 @default.
- W1853172962 hasConcept C111919701 @default.
- W1853172962 hasConcept C119024030 @default.
- W1853172962 hasConcept C137287247 @default.
- W1853172962 hasConcept C149635348 @default.
- W1853172962 hasConcept C150202949 @default.
- W1853172962 hasConcept C160145156 @default.
- W1853172962 hasConcept C199360897 @default.
- W1853172962 hasConcept C2777904410 @default.
- W1853172962 hasConcept C2780654840 @default.
- W1853172962 hasConcept C28180684 @default.
- W1853172962 hasConcept C41008148 @default.
- W1853172962 hasConcept C43126263 @default.
- W1853172962 hasConcept C529173508 @default.
- W1853172962 hasConcept C9390403 @default.
- W1853172962 hasConcept C9395851 @default.
- W1853172962 hasConcept C97686452 @default.
- W1853172962 hasConceptScore W1853172962C111919701 @default.
- W1853172962 hasConceptScore W1853172962C119024030 @default.
- W1853172962 hasConceptScore W1853172962C137287247 @default.
- W1853172962 hasConceptScore W1853172962C149635348 @default.
- W1853172962 hasConceptScore W1853172962C150202949 @default.
- W1853172962 hasConceptScore W1853172962C160145156 @default.
- W1853172962 hasConceptScore W1853172962C199360897 @default.
- W1853172962 hasConceptScore W1853172962C2777904410 @default.
- W1853172962 hasConceptScore W1853172962C2780654840 @default.
- W1853172962 hasConceptScore W1853172962C28180684 @default.
- W1853172962 hasConceptScore W1853172962C41008148 @default.
- W1853172962 hasConceptScore W1853172962C43126263 @default.
- W1853172962 hasConceptScore W1853172962C529173508 @default.
- W1853172962 hasConceptScore W1853172962C9390403 @default.
- W1853172962 hasConceptScore W1853172962C9395851 @default.
- W1853172962 hasConceptScore W1853172962C97686452 @default.
- W1853172962 hasLocation W18531729621 @default.
- W1853172962 hasOpenAccess W1853172962 @default.
- W1853172962 hasPrimaryLocation W18531729621 @default.
- W1853172962 hasRelatedWork W1996238228 @default.
- W1853172962 hasRelatedWork W2111825754 @default.
- W1853172962 hasRelatedWork W2130838933 @default.
- W1853172962 hasRelatedWork W2144682929 @default.
- W1853172962 hasRelatedWork W2148349940 @default.
- W1853172962 hasRelatedWork W2358672304 @default.
- W1853172962 hasRelatedWork W2364777513 @default.
- W1853172962 hasRelatedWork W23987500 @default.
- W1853172962 hasRelatedWork W2619866502 @default.
- W1853172962 hasRelatedWork W3168894245 @default.
- W1853172962 isParatext "false" @default.
- W1853172962 isRetracted "false" @default.
- W1853172962 magId "1853172962" @default.
- W1853172962 workType "book-chapter" @default.