Outputting of leaked rights for code containing a __soaap_vuln_pt annotation
Merge branch 'soaap_analysis' of github.com:CTSRD-SOAAP/soaap into soaap_analysis