Static program analysis of large embedded code base: an experience. - Shubhangi Khare; Sandeep Saraswat; Shrawan Kumar 001 (ISEC, 2011)