Assertion: data flow anomaly | /r/HasProperty | detected
Facets:
Source sentences:
text: Data flow anomaly can be detected by using the idea of program instrumentation which means incorporating additional code in a program to monitor its execution status.