REVEN-Axion 2018v1.5.0
incremental_search.py

This shows how to use the built-in incremental search in python.

1 import reven
2 
3 project = reven.Project("localhost", 13370)
4 trace = project.traces()[0] # Execution run
5 count = trace.sequence_count
6 
7 # Create any search object
8 criterion = reven.AddressCriterion(0x827085ed)
9 
10 print "Start search"
11 
12 # By default, search starts at the beginning of the trace and stops at the end, by I can override that by specifying
13 # trace.point(XXX) as arguments. See the search_point function documentation
14 for point in trace.search_point([criterion]):
15  print 'Found result at %s' % point