Here is a list of all related documentation pages:

Obstack Memory Allocation	Obstacks are the prefered way to handle memory allocation in libFirm
Visited Counters	A visited counter is an alternative to a visited flag for elements of a graph data structure