TY  - RPRT
TI  - Automatically Tailoring Static Analysis to Custom Usage Scenarios
AU  - Muhammad Numair Mansur
AU  - Benjamin Mariano
AU  - Maria Christakis
AU  - Jorge A. Navas
AU  - Valentin Wüstholz
PY  - 2020
UR  - https://arxiv.org/abs/2009.13860
ID  - 2009.13860
ER  -