TY - JOUR AU - Paul Black C2 - IEEE Security & Privacy DA - 2020-04-17 LA - en PB - IEEE Security & Privacy PY - 2020 TI - Static Analyzers: Seat Belts for Your Code ER -