Static analysis of worst-case stack cache behavior.
Alexander JordanFlorian BrandnerMartin SchoeberlPublished in: RTNS (2013)
Keyphrases
- static analysis
- dynamic analysis
- worst case
- source code
- malicious code
- symbolic execution
- upper bound
- java card
- lower bound
- average case
- test generation
- test suite
- abstract interpretation
- reverse engineering
- regular expressions
- error bounds
- np hard
- query processing
- prefetching
- data access
- main memory
- model checking
- building blocks
- knowledge base