incremental_search.py

• Linux path to script:
  • /usr/share/reven/examples/incremental_search.py
• Windows path to script:
  • amd64: C:\Program Files (x86)\Reven-PythonAPI-amd64\python-examples\incremental_search.py
  • x86: C:\Program Files (x86)\Reven-PythonAPI-x86\python-examples\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