empty_range
This module defines the component empty_range. It receives a set of addresse in_ea and generates a set of overlapping addresses and no overapping addresses according to a size of the element.
- in_ea(ea:address)
Uses:
address_in_data_refinedUsed by:
moved_data_label,moved_label_candidate,moved_label_class
- overlap(ea:address, size:unsigned, Where:address)
WARNING: Predicate not present in compiled Datalog program (Dead Code)
- no_overlap(ea:address, size:unsigned)
WARNING: Predicate not present in compiled Datalog program (Dead Code)