Login / Signup
The complexity gap in the static analysis of cache accesses grows if procedure calls are added.
David Monniaux
Published in:
Formal Methods Syst. Des. (2021)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
malicious code
access patterns
java card
abstract interpretation
regular expressions
knowledge base
test suite
api calls
prefetching
case study
memory access
main memory
building blocks
query processing