as only left and right bounds are kept, we can return true for pointer not allocated by us, if more than single region was requested from OS
source not stored for this graph (policy: none)
no test coverage detected