Sensei: Enforcing secure coding guidelines in the integrated development environment. - Pieter De Cremer; Nathan Desmet; Matias Madou; Bjorn De Sutter (Softw. Pract. Exp., 2020)