Static Analyzers: Seat Belts for Your Code | IEEE Journals & Magazine | IEEE Xplore