de_vm/angr_tools.py at main · zhuzhu-Top/de_vm · GitHub

8000 de_vm/angr_tools.py at main · zhuzhu-Top/de_vm · GitHub

Repository navigation

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

def collect_action_info(found_state,start_address):

addrs = []

index = 0

addr2action = {

}

for action in found_state.history.actions:

real_addr = action.ins_addr - start_address

if index != 0 and addrs[index - 1] == real_addr:

addr2action[real_addr].append(action)

continue

addrs.append(real_addr)

addr2action[real_addr] = []

addr2action[real_addr].append(action)

index += 1

return addrs,addr2action

0