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