2 This file is part of Kvasir, a Valgrind skin that implements the
3 C language front-end for the Daikon Invariant Detection System
5 Copyright (C) 2004 Philip Guo, MIT CSAIL Program Analysis Group
7 This program is free software; you can redistribute it and/or
8 modify it under the terms of the GNU General Public License as
9 published by the Free Software Foundation; either version 2 of the
10 License, or (at your option) any later version.
14 Contains the majority of the type definitions that are necessary
15 for Kvasir functionality.
23 #include "GenericHashtable.h"
25 struct StructureElement {
31 struct StructureElement *next;
36 struct StructureElement * struct_ele;
43 #define TYPE_STRUCTURE 4
44 #define TYPE_POINTER 5
45 #define TYPE_RESERVED 6
47 /* Array that holds information about all functions*/
48 struct Structure * TypeArray;
49 unsigned long TypeArraySize;
51 void daikon_preprocess_entry_array();
52 void initializeTypeArray();
53 int entry_is_type(dwarf_entry *entry);
54 char * printname(dwarf_entry * entry,int op);
55 int getsize(dwarf_entry *type);
56 int printtype(collection_type *collection_ptr,struct genhashtable *);