Supervisions

MSc Theses

MSc Theses: 2

2020

Rui Ferreira
Towards Automated Checking of Input Data Usage with Facebook Infer
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Dec. 2020 [bibTex]
Prioritizing Facebook´s Infer Static Analysis Tool Warnings
MSc Thesis, Nov. 2020 [bibTex]