Static analyzer for Obj-C projects that searches for potential retain cycles within an object graph