Path should include a return edge from 'find_block_w_file' to 'bn_printf' either in backbone or branch, for the correct taint propagation toward the sink
Path should NOT have an incoming edge to 'bn_printf', because there is a string sanitization in the node
Path should include a return edge from 'find_block_w_file' to 'bn_printf' either in backbone or branch, for the correct taint propagation toward the sink
Path should NOT have an incoming edge to 'bn_printf', because there is a string sanitization in the node
Path should include a return edge from 'find_block_w_file' to 'bn_printf' either in backbone or branch, for the correct taint propagation toward the sink
Path should NOT have an incoming edge to 'bn_printf', because there is a string sanitization in the node