SoftCheck, uma plataforma de construção de análises estáticas para a segurança de programas, genérica e composicional - Reis, João Santos (2018)