How are heap abstractions used in program analysis to generate a fixpoint for loops?
