Disable outputing bug traces in infer bug report

[xi-liu-ds]

Hi,

I am wondering is it possible (a command flag or something) to disable outputting bug traces, such as those shown in the screenshot below, in infer bug report?

Thanks!

[jvillard]

There is no such option at the moment. Can you say more about why you'd want to do this? You can post-process the json to get rid of them (for example using jq) but these bug traces are generally needed to understand infer reports.

[xi-liu-ds]

Currently Sarif Viewer extension has some incompatibility with SARIF files with bug traces. We have to disable it to unblock us from deploying InferSharp on some platforms. I have created this PR to disable outputting bug traces in SARIF files through a -no-sarif-codeflows flag.

[jvillard]

PR has been closed, issue seems resolved.