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>insertvalue</td> 45 <td>fn1</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>extractvalue</td> 53 <td>fn1</td> 54 <td>no-name</td> 55 <td>not-generate</td> 56 </tr> 57 <tr> 58</table> 59<br> 60<table> 61 <caption><b>Summary of Location Bugs</b></caption> 62 <tr> 63 <th>LLVM Pass Name</th> 64 <th>Number of bugs</th> 65 </tr> 66 <tr> 67 <td>no-name</td> 68 <td>8</td> 69 </tr> 70 <tr> 71</table> 72<br> 73<br> 74<table> 75 <caption><b>SP Bugs found by the Debugify</b></caption> 76 <tr> 77 <th>File</th> 78 <th>LLVM Pass Name</th> 79 <th>Function Name</th> 80 <th>Action</th> 81 </tr> 82<tr> 83 <td colspan='4'> No bugs found </td> 84 </tr> 85 </table> 86<br> 87<table> 88 <caption><b>Summary of SP Bugs</b></caption> 89 <tr> 90 <th>LLVM Pass Name</th> 91 <th>Number of bugs</th> 92 </tr> 93 <tr> 94<tr> 95 <td colspan='2'> No bugs found </td> 96 </tr> 97 </table> 98<br> 99<br> 100<table> 101 <caption><b>Variable Location Bugs found by the Debugify</b></caption> 102 <tr> 103 <th>File</th> 104 <th>LLVM Pass Name</th> 105 <th>Variable</th> 106 <th>Function</th> 107 <th>Action</th> 108 </tr> 109<tr> 110 <td colspan='4'> No bugs found </td> 111 </tr> 112 </table> 113<br> 114<table> 115 <caption><b>Summary of Variable Location Bugs</b></caption> 116 <tr> 117 <th>LLVM Pass Name</th> 118 <th>Number of bugs</th> 119 </tr> 120 <tr> 121<tr> 122 <td colspan='2'> No bugs found </td> 123 </tr> 124 </table> 125</body> 126 </html>