Project

General

Profile

Feature #7919

Updated by Evgeny Novikov over 7 years ago

Bridge applies the same mark created with the default conversion and comparison criterion (that is model function call forests) incorrectly from my perspective for the following two unsafes: 
 http://ldvstore:8998/reports/unsafe/19477/ - no call of packet_create callback which is important 
 http://ldvstore:8998/reports/unsafe/53461/ - there is a call of packet_create that makes the mark incorrectly added for this trace. 

 Since, there is a call of a driver callback in the second trace it should be considered as a different from the first one. 

  

Back