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