Fast and exact analysis for LRU caches

Claire Maïza, Valentin Touzeau, David Monniaux +1

For applications in worst-case execution time analysis and in security, it is desirable to statically classify memory accesses into those that result in cache hits, and those that…