Enables the tracing of some user-defined property while a method is analyzed.
Enables the tracing of some user-defined property while a method is analyzed.
A possible property could be, e.g., whether a certain check is performed on
all intraprocedural control flows.
After the abstract interpretation of a method, the property is associated with
all executed instructions and can be queried. For example to get the information
whether the check was performed on all paths to all exit points.
Enables the tracing of some user-defined property while a method is analyzed. A possible property could be, e.g., whether a certain check is performed on all intraprocedural control flows.
After the abstract interpretation of a method, the property is associated with all executed instructions and can be queried. For example to get the information whether the check was performed on all paths to all exit points.