Multi-language static code analysis on the LARA framework.

Gil Teixeira, Joo Bispo, Filipe F. Correia

Browse the full PLDI paper archive.