incremental_search.py

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

import reven

rvn = reven.Project("localhost", 13370)
main_trace = rvn.traces()[0]
count = main_trace.sequence_count

# Create any search object
search_criterion = reven.AddressCriterion(0x827085ed)

print "Start search"

# By default, search starts at the beginning of the trace and stops at the end, by I can override that by specifying
# main_trace.point(XXX) as arguments. See the search_point function documentation
for result in main_trace.search_point([search_criterion]):
    print 'Found result at %s' % result