Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code
A Hybrid Approach for Safe Memory Management in C
