Scalable and precise program analysis at NEC
Gogul Balakrishnan and Malay K. Ganai and Aarti Gupta and Franjo Ivancic and Vineet Kahlon and Weihong Li and Naoto Maeda and Nadia Papakonstantinou and Sriram Sankaranarayanan and Nishant Sinha and Chao Wang
The Systems Analysis & Verification Department at NEC Labs engages in foundational as well as applied research in the areas of verification and analysis of software and embedded systems. We have developed several tools and frameworks for scalable and precise analysis of programs, some of which are now used within the company on large software projects. This extended abstract highlights their main features and provides pointers to published papers with more details.
Paper available as: [PDF] [Official Version]