(bv)
| 133 | |
| 134 | |
| 135 | def solve(bv): |
| 136 | if len(bv.session_data.angr_find) == 0: |
| 137 | show_message_box( |
| 138 | "Angr Solve", "You have not specified a goal instruction.\n\n" |
| 139 | + "Please right click on the goal instruction and select \"Find Path to This Instruction\" to " + "continue.", |
| 140 | MessageBoxButtonSet.OKButtonSet, MessageBoxIcon.ErrorIcon |
| 141 | ) |
| 142 | return |
| 143 | |
| 144 | # Start a solver thread for the path associated with the view |
| 145 | s = Solver(bv.session_data.angr_find, bv.session_data.angr_avoid, bv) |
| 146 | s.start() |
| 147 | |
| 148 | |
| 149 | # Register commands for the user to interact with the plugin |
nothing calls this directly
no test coverage detected