| <html> |
| <head> |
| <style> |
| table, th, td { |
| border: 1px solid black; |
| } |
| table.center { |
| margin-left: auto; |
| margin-right: auto; |
| } |
| </style> |
| </head> |
| <body> |
| <table> |
| <caption><b>Location Bugs found by the Debugify</b></caption> |
| <tr> |
| <th>File</th> |
| <th>LLVM Pass Name</th> |
| <th>LLVM IR Instruction</th> |
| <th>Function Name</th> |
| <th>Basic Block Name</th> |
| <th>Action</th> |
| </tr> |
| </tr> |
| <tr> |
| <td>test.ll</td> |
| <td>no-name</td> |
| <td>extractvalue</td> |
| <td>fn</td> |
| <td>no-name</td> |
| <td>not-generate</td> |
| </tr> |
| <tr> |
| <td>test.ll</td> |
| <td>no-name</td> |
| <td>insertvalue</td> |
| <td>fn</td> |
| <td>no-name</td> |
| <td>not-generate</td> |
| </tr> |
| <tr> |
| <td>test.ll</td> |
| <td>no-name</td> |
| <td>extractvalue</td> |
| <td>fn</td> |
| <td>no-name</td> |
| <td>not-generate</td> |
| </tr> |
| <tr> |
| <td>test.ll</td> |
| <td>no-name</td> |
| <td>insertvalue</td> |
| <td>fn1</td> |
| <td>no-name</td> |
| <td>not-generate</td> |
| </tr> |
| <tr> |
| <td>test.ll</td> |
| <td>no-name</td> |
| <td>insertvalue</td> |
| <td>fn1</td> |
| <td>no-name</td> |
| <td>not-generate</td> |
| </tr> |
| <tr> |
| <td>test.ll</td> |
| <td>no-name</td> |
| <td>insertvalue</td> |
| <td>fn</td> |
| <td>no-name</td> |
| <td>not-generate</td> |
| </tr> |
| <tr> |
| <td>test.ll</td> |
| <td>no-name</td> |
| <td>extractvalue</td> |
| <td>fn1</td> |
| <td>no-name</td> |
| <td>not-generate</td> |
| </tr> |
| <tr> |
| <td>test.ll</td> |
| <td>no-name</td> |
| <td>extractvalue</td> |
| <td>fn1</td> |
| <td>no-name</td> |
| <td>not-generate</td> |
| </tr> |
| <tr> |
| </table> |
| <br> |
| <table> |
| <caption><b>Summary of Location Bugs</b></caption> |
| <tr> |
| <th>LLVM Pass Name</th> |
| <th>Number of bugs</th> |
| </tr> |
| <tr> |
| <td>no-name</td> |
| <td>8</td> |
| </tr> |
| <tr> |
| </table> |
| <br> |
| <br> |
| <table> |
| <caption><b>SP Bugs found by the Debugify</b></caption> |
| <tr> |
| <th>File</th> |
| <th>LLVM Pass Name</th> |
| <th>Function Name</th> |
| <th>Action</th> |
| </tr> |
| <tr> |
| <td colspan='4'> No bugs found </td> |
| </tr> |
| </table> |
| <br> |
| <table> |
| <caption><b>Summary of SP Bugs</b></caption> |
| <tr> |
| <th>LLVM Pass Name</th> |
| <th>Number of bugs</th> |
| </tr> |
| <tr> |
| <tr> |
| <td colspan='2'> No bugs found </td> |
| </tr> |
| </table> |
| <br> |
| <br> |
| <table> |
| <caption><b>Variable Location Bugs found by the Debugify</b></caption> |
| <tr> |
| <th>File</th> |
| <th>LLVM Pass Name</th> |
| <th>Variable</th> |
| <th>Function</th> |
| <th>Action</th> |
| </tr> |
| <tr> |
| <td colspan='4'> No bugs found </td> |
| </tr> |
| </table> |
| <br> |
| <table> |
| <caption><b>Summary of Variable Location Bugs</b></caption> |
| <tr> |
| <th>LLVM Pass Name</th> |
| <th>Number of bugs</th> |
| </tr> |
| <tr> |
| <tr> |
| <td colspan='2'> No bugs found </td> |
| </tr> |
| </table> |
| </body> |
| </html> |
