+ Taint Source : error.c:142 (prepare_error_win)
+ Sink (Allocation) : error.c:165 (show_error_win)
Path should NOT include a return edge from 'prepare_error_win' to 'show_error_win' in backbone, because tainted data cannot flow along the edge
UNSAT (False Alarm)
+ Taint Source : helpwin.c:35 (prepare_help_win)
+ Sink (Allocation) : error.c:165 (show_error_win)
Path should NOT include a call edge from 'live_mode' to 'show_error_win' in backbone, because tainted data cannot flow along the edge
UNSAT (False Alarm)