incremental_search.py

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

import reven

project = reven.Project("localhost", 13370)
trace = project.traces()[0] # Execution run
count = trace.sequence_count

# Create any search object
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
# trace.point(XXX) as arguments. See the search_point function documentation
for point in trace.search_point([criterion]):
    print 'Found result at %s' % point