Managing memory to support large-scale interprocedural static analysis for security… Grant US-8429633-B2 United States of America 23 Apr 2013