A Framework for Modular and Customizable Software Analysis.

Pedro Martins, Nuno Ramos Carvalho, Joo Paulo Fernandes, Jos Joo Almeida, Joo Saraiva

Browse the full ICCSA paper archive.