Pointer Ownership Model (POM) is a set of tools that construct a model of memory usage (mallocs and frees) for any C code and can staticly use it to detect temporal memory errors. - View it on GitHub