(bv, addr)
| 111 | |
| 112 | |
| 113 | def find_instr(bv, addr): |
| 114 | # Highlight the instruction in green |
| 115 | blocks = bv.get_basic_blocks_at(addr) |
| 116 | for block in blocks: |
| 117 | block.set_auto_highlight(HighlightColor(HighlightStandardColor.GreenHighlightColor, alpha=128)) |
| 118 | block.function.set_auto_instr_highlight(addr, HighlightStandardColor.GreenHighlightColor) |
| 119 | |
| 120 | # Add the instruction to the list associated with the current view |
| 121 | bv.session_data.angr_find.add(addr) |
| 122 | |
| 123 | |
| 124 | def avoid_instr(bv, addr): |
nothing calls this directly
no test coverage detected