A Pattern-Based Software Testing Framework for Exploitability Evaluation of Metadata Corruption Vulnerabilities

Table 1

Attribute predicate definition.

Object attribute	Attribute predicate	Description
Readable	R(o)	Can read from the memory of object o
Writable	W(o)	Can write to the memory of object o
Executable	X(o)	The data in the memory of object o can be executable
Controllable	C(o)	The data in the memory of object o can be controlled by input
Callable	I(o)	The data in the memory of object o can migrate to PC
Chunk association	CP(o)	The data in the memory of object o can be used as a pointer