Predicate Sql::probable_sql_command

Holds if command appears to be a SQL command string of which inject is a part.

predicate probable_sql_command(ControlFlowNode command, ControlFlowNode inject)