- * Bestimmt fuer jede Call-Operation die Menge der aufrufbaren Methode
- * und speichert das Ergebnis in der Call-Operation. (siehe
- * "set_Call_callee"). Die Methode gibt die Menge der
- * "freien" Methoden zurueck, die vom Aufrufer wieder freigegeben
- * werden muss (free).
+ * Determines for each Call node the set of possibly called methods.
+ * Stores the result in the field 'callees' of the Call node. If the
+ * address can not be analysed, e.g. because it is loaded from a
+ * variable, the array contains NULL. @@@ the array should contain a
+ * special entity 'unknown'. (See "set_Call_callee"). cgana returns
+ * the set of 'free' methods, i.e., the methods that can be called
+ * from external or via function pointers. This datastructure must
+ * be freed with 'free()' by the caller of cgana.
+ *
+ * cgana sets the callee_info_state of each graph to consistent.
+ *