Kummita S, Piskachev G. Integration of the Static Analysis Results Interchange Format in CogniCrypt.; 2019.