When inspecting a result with a code flow, SARIF Viewer displays decorations for all the thread flows, even if they are supposed to be in a different file. You can download this sample here and check it out yourself. When you select Branch condition evaluates to a garbage value in the result list, it renders a decoration for Entered call from 'selcall' in amd64/sysv.c.
When inspecting a result with a code flow, SARIF Viewer displays decorations for all the thread flows, even if they are supposed to be in a different file. You can download this sample here and check it out yourself. When you select
Branch condition evaluates to a garbage value
in the result list, it renders a decoration forEntered call from 'selcall'
inamd64/sysv.c
.https://user-images.githubusercontent.com/5321759/173848616-a6dd8f9a-e187-41ba-ac2d-ae75eeb6be78.mp4