A program analysis tool leverages the garbage collection process to dynamically infer invariants of objects or data structures created by a program on the heap during execution. During execution of the program in a garbage-collected execution environment, the program analysis tool tracks object allocations...http://www.google.com/patents/US7912877?utm_source=gb-gplus-sharePatent US7912877 - Leveraging garbage collection to dynamically infer heap invariants
