GREENWALD BENJAMIN

Managing memory to support large-scale interprocedural static analysis for security problems