How to generate the final bug report using the gernerated analyzer result?

[lc3412]

Hi,

I'm trying to use your tool to do some security checks. I can successfully run the tool by following instructions. However, after running the tool, I can only get the details shown on my terminal, which is similar to the below messages. So I am wondering how can I get the final bug report?

Total 18074 file(s)
[CallGraph] Initializing 18074 modules 
[CallGraph / 1] [1 / 18074] [../../bc/arch/x86/kvm/i8259.bc]

[CallGraph / 1] [2 / 18074] [../../bc/arch/x86/kvm/pmu.bc]

[CallGraph / 1] [3 / 18074] [../../bc/arch/x86/kvm/pmu_amd.bc]

[CallGraph / 1] [4 / 18074] [../../bc/arch/x86/kvm/mmu.bc]

[CallGraph / 1] [5 / 18074] [../../bc/arch/x86/kvm/irq.bc]

[CallGraph / 1] [6 / 18074] [../../bc/arch/x86/kvm/debugfs.bc]

[CallGraph / 1] [7 / 18074] [../../bc/arch/x86/kvm/ioapic.bc]
...