| <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>wrstabs.c</td> |
| <td>Simplify the CFG</td> |
| <td>br</td> |
| <td>stab_function_type</td> |
| <td>if.end</td> |
| <td>drop</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>Simplify the CFG</td> |
| <td>1</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> |
| <tr> |
| <td>debug.c</td> |
| <td>Simplify the CFG</td> |
| <td>pf1</td> |
| <td>debug_class_type_samep</td> |
| <td>drop</td> |
| </tr> |
| <tr> |
| <td>debug.c</td> |
| <td>Simplify the CFG</td> |
| <td>pf2</td> |
| <td>debug_class_type_samep</td> |
| <td>drop</td> |
| </tr> |
| <tr> |
| <td>debug.c</td> |
| <td>Simplify the CFG</td> |
| <td>pv1</td> |
| <td>debug_class_type_samep</td> |
| <td>drop</td> |
| </tr> |
| <tr> |
| <td>debug.c</td> |
| <td>Simplify the CFG</td> |
| <td>pv2</td> |
| <td>debug_class_type_samep</td> |
| <td>drop</td> |
| </tr> |
| <tr> |
| </tr> |
| <tr> |
| <td>debug.c</td> |
| <td>Combine redundant instructions</td> |
| <td>n</td> |
| <td>debug_write_block</td> |
| <td>drop</td> |
| </tr> |
| <tr> |
| <td>debug.c</td> |
| <td>Combine redundant instructions</td> |
| <td>b</td> |
| <td>debug_write_block</td> |
| <td>drop</td> |
| </tr> |
| <tr> |
| </tr> |
| <tr> |
| <td>prdbg.c</td> |
| <td>Simplify the CFG</td> |
| <td>t</td> |
| <td>pr_tag_type</td> |
| <td>drop</td> |
| </tr> |
| <tr> |
| <td>prdbg.c</td> |
| <td>Simplify the CFG</td> |
| <td>tag</td> |
| <td>pr_tag_type</td> |
| <td>drop</td> |
| </tr> |
| <tr> |
| </tr> |
| <tr> |
| <td>objdump.c</td> |
| <td>Simplify the CFG</td> |
| <td>comma</td> |
| <td>dump_section_header</td> |
| <td>drop</td> |
| </tr> |
| <tr> |
| <td>objdump.c</td> |
| <td>Simplify the CFG</td> |
| <td>ls</td> |
| <td>dump_section_header</td> |
| <td>drop</td> |
| </tr> |
| <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> |
| <td>Combine redundant instructions</td> |
| <td>2</td> |
| </tr> |
| <tr> |
| <td>Simplify the CFG</td> |
| <td>9</td> |
| </tr> |
| <tr> |
| </table> |
| </body> |
| </html> |
