'_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
pal_alarm1_1
path 1
(User Feedback)
Path should visit 'parse_arg', to define a necessary variable used in the sink
path 2
Found Bug (true alarm)
pal_alarm2_1
path 1
Found Bug (true alarm)
pal_alarm2_2
path 1
Found Bug (true alarm)