aiSee: CRL2 Library Class Hierarchy Graph

CRL2 library class hierarchy graph

This graph was automatically generated by the Erwin data structure library.

The CRL2 Library is AbsInt’s proprietary generic library for exchanging control flow graphs for static program analyses. It supports mixed C++ and C usage and makes heavy use of the Erwin library, providing vectors, hash tables and doubly linked lists for arbitrary element types. This is done in order to avoid the use of C++ specific data structures while still providing type safety by void*-free interfaces even in C.