(bv, addr)
| 122 | |
| 123 | |
| 124 | def avoid_instr(bv, addr): |
| 125 | # Highlight the instruction in red |
| 126 | blocks = bv.get_basic_blocks_at(addr) |
| 127 | for block in blocks: |
| 128 | block.set_auto_highlight(HighlightColor(HighlightStandardColor.RedHighlightColor, alpha=128)) |
| 129 | block.function.set_auto_instr_highlight(addr, HighlightStandardColor.RedHighlightColor) |
| 130 | |
| 131 | # Add the instruction to the list associated with the current view |
| 132 | bv.session_data.angr_avoid.add(addr) |
| 133 | |
| 134 | |
| 135 | def solve(bv): |
nothing calls this directly
no test coverage detected