A. Braga, R. Dahab, N. Antunes, N. Laranjeiro, and M. Vieira. Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study. 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE), IEEE, pages 170-181, October 2017.