
# Performance tests on concrete code execution without invoking Unicorn engine

import os
import time
import logging

import angr


test_location = str(os.path.join(os.path.dirname(os.path.realpath(__file__)), '..', '..', 'binaries', 'tests'))


def test_tight_loop(arch):
    b = angr.Project(os.path.join(test_location, arch, "perf_tight_loops"), auto_load_libs=False)
    simgr = b.factory.simgr()

    # logging.getLogger('angr.sim_manager').setLevel(logging.INFO)

    start = time.time()
    simgr.explore()
    elapsed = time.time() - start

    print("Elapsed %f sec" % elapsed)
    print(simgr)


if __name__ == "__main__":
    test_tight_loop("x86_64")


# Performance tests on concrete code execution without invoking Unicorn engine

import os
import time
import logging

import angr


test_location = str(os.path.join(os.path.dirname(os.path.realpath(__file__)), '..', '..', 'binaries', 'tests'))


def test_tight_loop(arch):
    b = angr.Project(os.path.join(test_location, arch, "perf_tight_loops"), auto_load_libs=False)
    state = b.factory.full_init_state(plugins={'registers': angr.state_plugins.SimLightRegisters()},
                                      remove_options={angr.sim_options.COPY_STATES})
    simgr = b.factory.simgr(state)

    # logging.getLogger('angr.sim_manager').setLevel(logging.INFO)

    start = time.time()
    simgr.explore()
    elapsed = time.time() - start

    print("Elapsed %f sec" % elapsed)
    print(simgr)


if __name__ == "__main__":
    test_tight_loop("x86_64")

Enable SimLightRegisters and remove COPY_STATES for the performance test case.