An undesirable behavior found in the analyzed user source code, such as a cascading fault or a missing expected source-to-sink flow.