On-demand memory access path exploration (coverage extraction)
12/02/2016 (over 6 years late)
Detected in build:
Published in build:
New notions to be introduced:
MmuAbstraction<T>: maps an
MmuAbstraction<T>: allows mapping
List<T>: represents abstract paths.
AbstractPathExtractor<T>: given an
Chooser<T>is an interface with a single method
MemoryAccessPathChooser: implements a random-order-traverser-based chooser (collection of the extracted paths is supplemented on every choice).
Updated by Alexander Kamkin about 3 years ago
- Target version changed from 2.4 to 2.5
Updated by Alexander Protsenko 5 days ago
- Target version changed from 2.5 to 2.6