An Alarm Classification Using Shovel

'_prologue_' is an imaginary function that initialize argc, argv

Solid arrow means call edge

Dotted arrow means return edge

Green arrow means branch (pair of call & return)
For details, see II-A.'Backbone-Branch Decomposition' section of our paper

splitvt_alarm1_1

path 1

(User Feedback)

Path should NOT have an incoming edge to 'vt_info', because there is a string sanitization in the node

UNSAT (false alarm)

splitvt_alarm1_2

path 1

(User Feedback)

Path should NOT have an incoming edge to 'vt_info', because there is a string sanitization in the node

UNSAT (false alarm)

splitvt_alarm1_3

path 1

(User Feedback)

Path should NOT have an incoming edge to 'vt_info', because there is a string sanitization in the node

UNSAT (false alarm)

splitvt_alarm1_4

path 1

(User Feedback)

Path should NOT have an incoming edge to 'vt_info', because there is a string sanitization in the node

UNSAT (false alarm)

splitvt_alarm1_5

path 1

(User Feedback)

Path should NOT have an incoming edge to 'vt_info', because there is a string sanitization in the node

UNSAT (false alarm)

splitvt_alarm1_6

path 1

(User Feedback)

Path should NOT have an incoming edge to 'vt_info', because there is a string sanitization in the node

UNSAT (false alarm)

splitvt_alarm1_7

path 1

(User Feedback)

Path should NOT have an incoming edge to 'vt_info', because there is a string sanitization in the node

UNSAT (false alarm)

splitvt_alarm2_1

path 1

(User Feedback)

Path should NOT have an incoming edge to 'vt_prompt', because there is a string sanitization in the node

UNSAT (false alarm)

splitvt_alarm2_2

path 1

(User Feedback)

Path should NOT have an incoming edge to 'vt_prompt', because there is a string sanitization in the node

UNSAT (false alarm)

splitvt_alarm2_3

path 1

(User Feedback)

Path should NOT have an incoming edge to 'vt_prompt', because there is a string sanitization in the node

UNSAT (false alarm)

splitvt_alarm2_4

path 1

(User Feedback)

Path should NOT have an incoming edge to 'vt_prompt', because there is a string sanitization in the node

UNSAT (false alarm)

splitvt_alarm2_5

path 1

(User Feedback)

Path should NOT have an incoming edge to 'vt_prompt', because there is a string sanitization in the node

UNSAT (false alarm)

splitvt_alarm2_6

path 1

(User Feedback)

Path should NOT have an incoming edge to 'vt_prompt', because there is a string sanitization in the node

UNSAT (false alarm)

splitvt_alarm2_7

path 1

(User Feedback)

Path should NOT have an incoming edge to 'vt_prompt', because there is a string sanitization in the node

UNSAT (false alarm)