Interprocedural def-use associations for C systems with single level pointers | IEEE Journals & Magazine | IEEE Xplore