基于抽象解释的嵌入式软件安全关键时序和内存使用特性
Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation
摘要：
基于抽象解释的静态程序分析是确定嵌入式软件特性的有效方法。一个例子是值分析，它确定存储在处理器寄存器中的值。它的结果被用作更高级分析的输入，这些分析最终会产生有关堆栈使用和嵌入式软件时序行为的信息。
英文摘要：
Static program analysis by abstract interpretation is an efficient method to determine properties of embedded software. One example is value analysis, which determines the values stored in the processor registers. Its results are used as input to more advanced analyses, which ultimately yield information about the stack usage and the timing behavior of embedded software.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
