TY - JOUR AU - Black, Paul C2 - IEEE Security & Privacy DA - 2012-01-10 05:01:00 LA - en PB - IEEE Security & Privacy PY - 2012 TI - Static Analyzers: Seat Belts for Your Code ER -