afserver_alarm1_1
path 1



(User Feedback)

Path should include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, for the correct taint propagation toward the sink


path 2



(User Feedback)

Path should NOT include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, because there is a string sanitization in the latter node


UNSAT (false alarm)





afserver_alarm1_2
path 1



(User Feedback)

Path should include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, for the correct taint propagation toward the sink


path 2



(User Feedback)

Path should NOT include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, because there is a string sanitization in the latter node


UNSAT (false alarm)





afserver_alarm1_3
path 1



(User Feedback)

Path should include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, for the correct taint propagation toward the sink


path 2



(User Feedback)

Path should NOT include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, because there is a string sanitization in the latter node


UNSAT (false alarm)





afserver_alarm1_4
path 1



(User Feedback)

Path should include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, for the correct taint propagation toward the sink


path 2



(User Feedback)

Path should NOT include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, because there is a string sanitization in the latter node


UNSAT (false alarm)





afserver_alarm1_5
path 1



(User Feedback)

Path should include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, for the correct taint propagation toward the sink


path 2



(User Feedback)

Path should NOT include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, because there is a string sanitization in the latter node


UNSAT (false alarm)





afserver_alarm1_6
path 1



(User Feedback)

Path should include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, for the correct taint propagation toward the sink


path 2



(User Feedback)

Path should NOT include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, because there is a string sanitization in the latter node


UNSAT (false alarm)





afserver_alarm1_7
path 1



(User Feedback)

Path should include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, for the correct taint propagation toward the sink


path 2



(User Feedback)

Path should NOT include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, because there is a string sanitization in the latter node


UNSAT (false alarm)





afserver_alarm1_8
path 1



(User Feedback)

Path should include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, for the correct taint propagation toward the sink


path 2



(User Feedback)

Path should NOT include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, because there is a string sanitization in the latter node


UNSAT (false alarm)





afserver_alarm1_9
path 1



(User Feedback)

Path should include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, for the correct taint propagation toward the sink


path 2



(User Feedback)

Path should NOT include a call edge from 'set_cartridge' to 'logmsg' either in backbone or branch, because there is a string sanitization in the latter node


UNSAT (false alarm)