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.
24 struct StructureElement {
30 struct StructureElement *next;
35 struct StructureElement * struct_ele;
42 #define TYPE_STRUCTURE 4
43 #define TYPE_POINTER 5
44 #define TYPE_RESERVED 6
46 /* Array that holds information about all functions*/
47 struct Structure * TypeArray;
48 unsigned long TypeArraySize;
50 void daikon_preprocess_entry_array();
51 void initializeTypeArray();
52 int entry_is_type(dwarf_entry *entry);
53 char * printname(dwarf_entry * entry,int op);
54 int getsize(dwarf_entry *type);