Retinal Angiography and Optical Coherence Tomography

Team-kB......Page 1
Contents......Page 8
1.1 Reverse Engineering......Page 16
1.2 The eLib Program......Page 18
1.3 Class Diagram......Page 20
1.4 Object Diagram......Page 23
1.5 Interaction Diagrams......Page 25
1.6 State Diagrams......Page 29
1.7 Organization of the Book......Page 33
2.1 Abstract Language......Page 36
2.1.1 Declarations......Page 37
2.1.2 Statements......Page 39
2.2 Object Flow Graph......Page 40
2.3 Containers......Page 42
2.4 Flow Propagation Algorithm......Page 45
2.5 Object sensitivity......Page 47
2.6 The eLib Program......Page 51
2.7 Related Work......Page 55
Class Diagram......Page 58
3.1 Class Diagram Recovery......Page 59
3.1.1 Recovery of the inter- class relationships......Page 61
3.2 Declared vs. actual types......Page 62
3.2.1......Page 63
3.2.2 Visualization......Page 64
3.3 Containers......Page 66
3.3.1......Page 67
3.4 The eLib Program......Page 71
3.5 Related Work......Page 74
3.5.1 Object identification in procedural code......Page 75
Object Diagram......Page 78
4.1 The Object Diagram......Page 79
4.2 Object Diagram Recovery......Page 80
4.3 Object Sensitivity......Page 83
4.4 Dynamic Analysis......Page 89
4.4.1 Discussion......Page 91
4.5 The eLib Program......Page 93
4.5.1 OFG Construction......Page 94
4.5.2 Object Diagram Recovery......Page 97
4.5.3 Discussion......Page 98
4.5.4 Dynamic analysis......Page 99
4.6 Related Work......Page 102
Interaction Diagrams......Page 104
5.1 Interaction Diagrams......Page 105
5.2 Interaction Diagram Recovery......Page 106
5.2.1 Incomplete Systems......Page 110
5.2.2 Focusing......Page 113
5.3 Dynamic Analysis......Page 117
5.3.1 Discussion......Page 120
5.4 The eLib Program......Page 121
5.5 Related Work......Page 127
State Diagrams......Page 130
6.1 State Diagrams......Page 131
6.2 Abstract Interpretation......Page 133
6.3 State Diagram Recovery......Page 137
6.4 The eLib Program......Page 140
6.5 Related Work......Page 146
Package Diagram......Page 148
7.1 Package Diagram Recovery......Page 149
7.2.1 Feature Vectors......Page 151
7.2.2 Modularity Optimization......Page 155
7.3 Concept Analysis......Page 158
7.4 The eLib Program......Page 163
7.5 Related Work......Page 167
Conclusions......Page 170
8.1 Tool Architecture......Page 171
8.1.1 Language Model......Page 172
8.2 The eLib Program......Page 174
8.2.1 Change Location......Page 175
8.2.2 Impact of the Change......Page 177
8.3 Perspectives......Page 185
8.4.1 Code Analysis at CERN......Page 187
Index......Page 214