1 <html>
2  <head>
3  <style>
4  table, th, td {
5    border: 1px solid black;
6  }
7  table.center {
8    margin-left: auto;
9    margin-right: auto;
10  }
11  </style>
12  </head>
13  <body>
14  <table>
15  <caption><b>Location Bugs found by the Debugify</b></caption>
16  <tr>
17      <th>File</th>
18    <th>LLVM Pass Name</th>
19    <th>LLVM IR Instruction</th>
20    <th>Function Name</th>
21    <th>Basic Block Name</th>
22    <th>Action</th>
23  </tr>
24  </tr>
25    <tr>
26    <td>test.ll</td>
27    <td>no-name</td>
28    <td>extractvalue</td>
29    <td>fn</td>
30    <td>no-name</td>
31    <td>not-generate</td>
32    </tr>
33    <tr>
34    <td>test.ll</td>
35    <td>no-name</td>
36    <td>insertvalue</td>
37    <td>fn</td>
38    <td>no-name</td>
39    <td>not-generate</td>
40    </tr>
41    <tr>
42    <td>test.ll</td>
43    <td>no-name</td>
44    <td>extractvalue</td>
45    <td>fn</td>
46    <td>no-name</td>
47    <td>not-generate</td>
48    </tr>
49    <tr>
50    <td>test.ll</td>
51    <td>no-name</td>
52    <td>insertvalue</td>
53    <td>fn1</td>
54    <td>no-name</td>
55    <td>not-generate</td>
56    </tr>
57    <tr>
58    <td>test.ll</td>
59    <td>no-name</td>
60    <td>insertvalue</td>
61    <td>fn1</td>
62    <td>no-name</td>
63    <td>not-generate</td>
64    </tr>
65    <tr>
66    <td>test.ll</td>
67    <td>no-name</td>
68    <td>insertvalue</td>
69    <td>fn</td>
70    <td>no-name</td>
71    <td>not-generate</td>
72    </tr>
73    <tr>
74    <td>test.ll</td>
75    <td>no-name</td>
76    <td>extractvalue</td>
77    <td>fn1</td>
78    <td>no-name</td>
79    <td>not-generate</td>
80    </tr>
81    <tr>
82    <td>test.ll</td>
83    <td>no-name</td>
84    <td>extractvalue</td>
85    <td>fn1</td>
86    <td>no-name</td>
87    <td>not-generate</td>
88    </tr>
89  <tr>
90</table>
91<br>
92<table>
93  <caption><b>Summary of Location Bugs</b></caption>
94  <tr>
95      <th>LLVM Pass Name</th>
96    <th>Number of bugs</th>
97  </tr>
98    <tr>
99    <td>no-name</td>
100    <td>8</td>
101    </tr>
102  <tr>
103</table>
104<br>
105<br>
106<table>
107  <caption><b>SP Bugs found by the Debugify</b></caption>
108  <tr>
109      <th>File</th>
110    <th>LLVM Pass Name</th>
111    <th>Function Name</th>
112    <th>Action</th>
113  </tr>
114<tr>
115        <td colspan='4'> No bugs found </td>
116      </tr>
117    </table>
118<br>
119<table>
120  <caption><b>Summary of SP Bugs</b></caption>
121  <tr>
122      <th>LLVM Pass Name</th>
123    <th>Number of bugs</th>
124  </tr>
125  <tr>
126<tr>
127        <td colspan='2'> No bugs found </td>
128      </tr>
129    </table>
130<br>
131<br>
132<table>
133  <caption><b>Variable Location Bugs found by the Debugify</b></caption>
134  <tr>
135      <th>File</th>
136    <th>LLVM Pass Name</th>
137    <th>Variable</th>
138    <th>Function</th>
139    <th>Action</th>
140  </tr>
141<tr>
142        <td colspan='4'> No bugs found </td>
143      </tr>
144    </table>
145<br>
146<table>
147  <caption><b>Summary of Variable Location Bugs</b></caption>
148  <tr>
149      <th>LLVM Pass Name</th>
150    <th>Number of bugs</th>
151  </tr>
152  <tr>
153<tr>
154        <td colspan='2'> No bugs found </td>
155      </tr>
156    </table>
157</body>
158  </html>