Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

surveyors.Explorer and path_groups behave differently

See original GitHub issue

(This might be a better issue for simuvex, I’m not sure).

As far as I understand it, surveyors.Explorer and path_groups should behave the same, at least for simple challenges. For defcamp r200 binary, they don’t.

This code works with Explorer:

#!/usr/bin/env python2

from angr import *

logging.getLogger('angr.path_group').setLevel(logging.DEBUG)
logging.getLogger('angr.surveyors.explorer').setLevel(logging.DEBUG)

p = Project('./r200', load_options={'auto_load_libs': False})
state = p.factory.blank_state(addr=0x4008fa)#, remove_options={simuvex.s_options.LAZY_SOLVES})

e = p.surveyors.Explorer(find=(0x400936,), avoid=(0x400947,), enable_veritesting=True)
e.run()
f = e.found[0]

print f.state.se.any_str(f.state.posix.files[0].all_bytes())

This code gives an error with path_group:

#!/usr/bin/env python2

from angr import *

logging.getLogger('angr.path_group').setLevel(logging.DEBUG)
logging.getLogger('angr.surveyors.explorer').setLevel(logging.DEBUG)

p = Project('./r200', load_options={'auto_load_libs': False})
state = p.factory.blank_state(addr=0x4008fa)#, remove_options={simuvex.s_options.LAZY_SOLVES})

pg = p.factory.path_group(state, veritesting=True)
pg.explore(find=(0x400936,), avoid=(0x400947,))
f = pg.found[0]

print f.state.se.any_str(f.state.posix.files[0].all_bytes())

Here’s the output:

DEBUG   | 2016-05-27 22:40:31,488 | angr.path_group | Round 0: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:31,691 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,691 | angr.path_group | ... path <Path with 0 runs (at 0x4008fa)> didn't match!
DEBUG   | 2016-05-27 22:40:31,692 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:31,692 | angr.path_group | Round 0: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:31,703 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,704 | angr.path_group | ... path <Path with 1 runs (at 0x400600)> matched!
DEBUG   | 2016-05-27 22:40:31,704 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,704 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,704 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,705 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,705 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,705 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,705 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,705 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,705 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,705 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,705 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,706 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,706 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,706 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,706 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,706 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,707 | angr.path_group | ... path <Path with 1 runs (at 0x400600)> matched!
DEBUG   | 2016-05-27 22:40:31,707 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,707 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,707 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,708 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,708 | angr.path_group | ... path <Path with 1 runs (at 0x400600)> didn't match!
DEBUG   | 2016-05-27 22:40:31,708 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:31,708 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,709 | angr.path_group | ... path <Path with 1 runs (at 0x400600)> didn't match!
DEBUG   | 2016-05-27 22:40:31,709 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:31,709 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,709 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,710 | angr.path_group | Round 1: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:31,717 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,717 | angr.path_group | ... path <Path with 1 runs (at 0x400600)> didn't match!
DEBUG   | 2016-05-27 22:40:31,718 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:31,718 | angr.path_group | Round 0: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:31,720 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,721 | angr.path_group | ... path <Path with 2 runs (at 0x1000040)> matched!
DEBUG   | 2016-05-27 22:40:31,721 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,721 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,721 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,722 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,722 | angr.path_group | ... path <Path with 2 runs (at 0x1000040)> matched!
DEBUG   | 2016-05-27 22:40:31,722 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,722 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,722 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,723 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,723 | angr.path_group | ... path <Path with 2 runs (at 0x1000040)> didn't match!
DEBUG   | 2016-05-27 22:40:31,723 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:31,724 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,724 | angr.path_group | ... path <Path with 2 runs (at 0x1000040)> didn't match!
DEBUG   | 2016-05-27 22:40:31,724 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:31,724 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,724 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,725 | angr.path_group | Round 2: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:31,739 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,739 | angr.path_group | ... path <Path with 2 runs (at 0x1000040)> didn't match!
DEBUG   | 2016-05-27 22:40:31,740 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:31,740 | angr.path_group | Round 0: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:31,755 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,755 | angr.path_group | ... path <Path with 3 runs (at 0x400909)> matched!
DEBUG   | 2016-05-27 22:40:31,756 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,756 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,756 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,756 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,756 | angr.path_group | ... path <Path with 3 runs (at 0x400909)> matched!
DEBUG   | 2016-05-27 22:40:31,757 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,757 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,757 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,758 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,758 | angr.path_group | ... path <Path with 3 runs (at 0x400909)> didn't match!
DEBUG   | 2016-05-27 22:40:31,758 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:31,759 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,759 | angr.path_group | ... path <Path with 3 runs (at 0x400909)> didn't match!
DEBUG   | 2016-05-27 22:40:31,759 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:31,759 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,760 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,760 | angr.path_group | Round 3: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:31,918 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,919 | angr.path_group | ... path <Path with 3 runs (at 0x400909)> didn't match!
DEBUG   | 2016-05-27 22:40:31,919 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:31,919 | angr.path_group | Round 0: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:31,928 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,929 | angr.path_group | ... path <Path with 4 runs (at 0x400620)> matched!
DEBUG   | 2016-05-27 22:40:31,929 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,929 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,929 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,929 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,929 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,930 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,930 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,930 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,930 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,930 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,930 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,930 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,930 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,931 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,931 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,931 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,931 | angr.path_group | ... path <Path with 4 runs (at 0x400620)> matched!
DEBUG   | 2016-05-27 22:40:31,931 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,932 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,932 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,932 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,932 | angr.path_group | ... path <Path with 4 runs (at 0x400620)> didn't match!
DEBUG   | 2016-05-27 22:40:31,933 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:31,933 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,933 | angr.path_group | ... path <Path with 4 runs (at 0x400620)> didn't match!
DEBUG   | 2016-05-27 22:40:31,933 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:31,933 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,933 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,934 | angr.path_group | Round 4: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:31,940 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,940 | angr.path_group | ... path <Path with 4 runs (at 0x400620)> didn't match!
DEBUG   | 2016-05-27 22:40:31,940 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:31,941 | angr.path_group | Round 0: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:31,943 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,944 | angr.path_group | ... path <Path with 5 runs (at 0x1000050)> matched!
DEBUG   | 2016-05-27 22:40:31,944 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,944 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,944 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,945 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,945 | angr.path_group | ... path <Path with 5 runs (at 0x1000050)> matched!
DEBUG   | 2016-05-27 22:40:31,945 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,945 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,946 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,946 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,946 | angr.path_group | ... path <Path with 5 runs (at 0x1000050)> didn't match!
DEBUG   | 2016-05-27 22:40:31,947 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:31,947 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,947 | angr.path_group | ... path <Path with 5 runs (at 0x1000050)> didn't match!
DEBUG   | 2016-05-27 22:40:31,948 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:31,948 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:31,948 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:31,948 | angr.path_group | Round 5: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:31,957 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:31,957 | angr.path_group | ... path <Path with 5 runs (at 0x1000050)> didn't match!
DEBUG   | 2016-05-27 22:40:31,958 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:31,959 | angr.path_group | Round 0: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:36,574 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:36,575 | angr.path_group | ... path <Path with 6 runs (at 0x400921)> matched!
DEBUG   | 2016-05-27 22:40:36,575 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:36,576 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:36,576 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:36,576 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:36,576 | angr.path_group | ... path <Path with 6 runs (at 0x400921)> matched!
DEBUG   | 2016-05-27 22:40:36,576 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:36,577 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:36,577 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:36,578 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:36,579 | angr.path_group | ... path <Path with 6 runs (at 0x400921)> didn't match!
DEBUG   | 2016-05-27 22:40:36,579 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:36,579 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:36,580 | angr.path_group | ... path <Path with 6 runs (at 0x400921)> didn't match!
DEBUG   | 2016-05-27 22:40:36,580 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:36,580 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:36,580 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:36,580 | angr.path_group | Round 6: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:36,722 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:36,723 | angr.path_group | ... path <Path with 6 runs (at 0x400921)> didn't match!
DEBUG   | 2016-05-27 22:40:36,723 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:36,723 | angr.path_group | Round 0: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:36,742 | angr.path_group | Filtering 2 paths
DEBUG   | 2016-05-27 22:40:36,743 | angr.path_group | ... path <Path with 7 runs (at 0x400958)> didn't match!
DEBUG   | 2016-05-27 22:40:36,743 | angr.path_group | ... path <Path with 7 runs (at 0x400926)> didn't match!
DEBUG   | 2016-05-27 22:40:36,744 | angr.path_group | ... returning 0 matches and 2 non-matches
DEBUG   | 2016-05-27 22:40:36,744 | angr.path_group | Filtering 2 paths
DEBUG   | 2016-05-27 22:40:36,744 | angr.path_group | ... path <Path with 7 runs (at 0x400958)> didn't match!
DEBUG   | 2016-05-27 22:40:36,744 | angr.path_group | ... path <Path with 7 runs (at 0x400926)> didn't match!
DEBUG   | 2016-05-27 22:40:36,745 | angr.path_group | ... returning 0 matches and 2 non-matches
DEBUG   | 2016-05-27 22:40:36,745 | angr.path_group | Filtering 2 paths
DEBUG   | 2016-05-27 22:40:36,745 | angr.path_group | ... path <Path with 7 runs (at 0x400958)> didn't match!
DEBUG   | 2016-05-27 22:40:36,746 | angr.path_group | ... path <Path with 7 runs (at 0x400926)> didn't match!
DEBUG   | 2016-05-27 22:40:36,746 | angr.path_group | ... returning 0 matches and 2 non-matches
DEBUG   | 2016-05-27 22:40:36,746 | angr.path_group | Filtering 2 paths
DEBUG   | 2016-05-27 22:40:36,746 | angr.path_group | ... path <Path with 7 runs (at 0x400958)> didn't match!
DEBUG   | 2016-05-27 22:40:36,747 | angr.path_group | ... path <Path with 7 runs (at 0x400926)> didn't match!
DEBUG   | 2016-05-27 22:40:36,747 | angr.path_group | ... returning 0 matches and 2 non-matches
DEBUG   | 2016-05-27 22:40:36,747 | angr.path_group | Filtering 2 paths
DEBUG   | 2016-05-27 22:40:36,748 | angr.path_group | ... path <Path with 7 runs (at 0x400958)> didn't match!
DEBUG   | 2016-05-27 22:40:36,748 | angr.path_group | ... path <Path with 7 runs (at 0x400926)> didn't match!
DEBUG   | 2016-05-27 22:40:36,749 | angr.path_group | ... returning 0 matches and 2 non-matches
DEBUG   | 2016-05-27 22:40:36,749 | angr.path_group | Round 0: stepping <PathGroup with 2 active>
DEBUG   | 2016-05-27 22:40:36,759 | angr.path_group | Filtering 2 paths
DEBUG   | 2016-05-27 22:40:36,759 | angr.path_group | ... path <Path with 8 runs (at 0x40095d)> didn't match!
DEBUG   | 2016-05-27 22:40:36,760 | angr.path_group | ... path <Path with 8 runs (at 0x40074d)> matched!
DEBUG   | 2016-05-27 22:40:36,760 | angr.path_group | ... returning 1 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:36,760 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:36,760 | angr.path_group | ... path <Path with 8 runs (at 0x40095d)> didn't match!
DEBUG   | 2016-05-27 22:40:36,761 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:36,761 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:36,761 | angr.path_group | ... path <Path with 8 runs (at 0x40095d)> didn't match!
DEBUG   | 2016-05-27 22:40:36,762 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:36,762 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:36,762 | angr.path_group | ... path <Path with 8 runs (at 0x40095d)> matched!
DEBUG   | 2016-05-27 22:40:36,763 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:36,763 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:36,763 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:36,763 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:36,763 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:36,763 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:36,764 | angr.path_group | ... path <Path with 8 runs (at 0x40095d)> matched!
DEBUG   | 2016-05-27 22:40:36,764 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:36,776 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:36,777 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:36,777 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:36,777 | angr.path_group | ... path <Path with 8 runs (at 0x40095d)> didn't match!
DEBUG   | 2016-05-27 22:40:36,778 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:36,778 | angr.path_group | Round 0: stepping <PathGroup with 1 deviated, 1 active>
DEBUG   | 2016-05-27 22:40:36,809 | angr.path_group | Filtering 2 paths
DEBUG   | 2016-05-27 22:40:36,810 | angr.path_group | ... path <Path with 9 runs (at 0x400971)> didn't match!
DEBUG   | 2016-05-27 22:40:36,811 | angr.path_group | ... path <Path with 9 runs (at 0x40096c)> didn't match!
DEBUG   | 2016-05-27 22:40:36,811 | angr.path_group | ... returning 0 matches and 2 non-matches
DEBUG   | 2016-05-27 22:40:36,811 | angr.path_group | Filtering 2 paths
DEBUG   | 2016-05-27 22:40:36,811 | angr.path_group | ... path <Path with 9 runs (at 0x400971)> didn't match!
DEBUG   | 2016-05-27 22:40:36,812 | angr.path_group | ... path <Path with 9 runs (at 0x40096c)> didn't match!
DEBUG   | 2016-05-27 22:40:36,812 | angr.path_group | ... returning 0 matches and 2 non-matches
DEBUG   | 2016-05-27 22:40:36,813 | angr.path_group | Filtering 2 paths
DEBUG   | 2016-05-27 22:40:36,814 | angr.path_group | ... path <Path with 9 runs (at 0x400971)> didn't match!
DEBUG   | 2016-05-27 22:40:36,814 | angr.path_group | ... path <Path with 9 runs (at 0x40096c)> didn't match!
DEBUG   | 2016-05-27 22:40:36,815 | angr.path_group | ... returning 0 matches and 2 non-matches
DEBUG   | 2016-05-27 22:40:36,815 | angr.path_group | Filtering 2 paths
DEBUG   | 2016-05-27 22:40:36,816 | angr.path_group | ... path <Path with 9 runs (at 0x400971)> didn't match!
DEBUG   | 2016-05-27 22:40:36,818 | angr.path_group | ... path <Path with 9 runs (at 0x40096c)> didn't match!
DEBUG   | 2016-05-27 22:40:36,820 | angr.path_group | ... returning 0 matches and 2 non-matches
DEBUG   | 2016-05-27 22:40:36,820 | angr.path_group | Filtering 2 paths
DEBUG   | 2016-05-27 22:40:36,821 | angr.path_group | ... path <Path with 9 runs (at 0x400971)> didn't match!
DEBUG   | 2016-05-27 22:40:36,822 | angr.path_group | ... path <Path with 9 runs (at 0x40096c)> didn't match!
DEBUG   | 2016-05-27 22:40:36,822 | angr.path_group | ... returning 0 matches and 2 non-matches
DEBUG   | 2016-05-27 22:40:36,823 | angr.path_group | Round 0: stepping <PathGroup with 1 deviated, 2 active>
WARNING | 2016-05-27 22:40:43,309 | simuvex.s_run | Exit state has over 257 possible solutions. Likely unconstrained; skipping. <BV64 mem_17_53_64>
DEBUG   | 2016-05-27 22:40:43,319 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,320 | angr.path_group | ... path <Path with 10 runs (at 0x4005f0)> matched!
DEBUG   | 2016-05-27 22:40:43,320 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,320 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,321 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,321 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,321 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,321 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,321 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,322 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,322 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,322 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,322 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,322 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,322 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,322 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,323 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,323 | angr.path_group | Filtering 2 paths
DEBUG   | 2016-05-27 22:40:43,323 | angr.path_group | ... path <Path with 8 runs (at 0x40074d)> matched!
DEBUG   | 2016-05-27 22:40:43,324 | angr.path_group | ... path <Path with 10 runs (at 0x4005f0)> matched!
DEBUG   | 2016-05-27 22:40:43,324 | angr.path_group | ... returning 2 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,324 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,324 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,332 | angr.path_group | Filtering 2 paths
DEBUG   | 2016-05-27 22:40:43,333 | angr.path_group | ... path <Path with 8 runs (at 0x40074d)> didn't match!
DEBUG   | 2016-05-27 22:40:43,334 | angr.path_group | ... path <Path with 10 runs (at 0x4005f0)> didn't match!
DEBUG   | 2016-05-27 22:40:43,334 | angr.path_group | ... returning 0 matches and 2 non-matches
DEBUG   | 2016-05-27 22:40:43,334 | angr.path_group | Filtering 2 paths
DEBUG   | 2016-05-27 22:40:43,335 | angr.path_group | ... path <Path with 8 runs (at 0x40074d)> didn't match!
DEBUG   | 2016-05-27 22:40:43,335 | angr.path_group | ... path <Path with 10 runs (at 0x4005f0)> didn't match!
DEBUG   | 2016-05-27 22:40:43,335 | angr.path_group | ... returning 0 matches and 2 non-matches
DEBUG   | 2016-05-27 22:40:43,335 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,336 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,336 | angr.path_group | Round 7: stepping <PathGroup with 2 active>
DEBUG   | 2016-05-27 22:40:43,356 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,357 | angr.path_group | ... path <Path with 8 runs (at 0x40074d)> didn't match!
DEBUG   | 2016-05-27 22:40:43,358 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,358 | angr.path_group | Round 0: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:43,372 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,373 | angr.path_group | ... path <Path with 9 runs (at 0x40080d)> matched!
DEBUG   | 2016-05-27 22:40:43,373 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,373 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,374 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,374 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,374 | angr.path_group | ... path <Path with 9 runs (at 0x40080d)> matched!
DEBUG   | 2016-05-27 22:40:43,375 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,375 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,375 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,383 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,384 | angr.path_group | ... path <Path with 10 runs (at 0x4005f0)> didn't match!
DEBUG   | 2016-05-27 22:40:43,384 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,384 | angr.path_group | Round 0: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:43,387 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,387 | angr.path_group | ... path <Path with 11 runs (at 0x1000020)> matched!
DEBUG   | 2016-05-27 22:40:43,387 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,388 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,388 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,388 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,388 | angr.path_group | ... path <Path with 11 runs (at 0x1000020)> matched!
DEBUG   | 2016-05-27 22:40:43,389 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,389 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,389 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,389 | angr.path_group | Filtering 2 paths
DEBUG   | 2016-05-27 22:40:43,390 | angr.path_group | ... path <Path with 9 runs (at 0x40080d)> didn't match!
DEBUG   | 2016-05-27 22:40:43,390 | angr.path_group | ... path <Path with 11 runs (at 0x1000020)> didn't match!
DEBUG   | 2016-05-27 22:40:43,390 | angr.path_group | ... returning 0 matches and 2 non-matches
DEBUG   | 2016-05-27 22:40:43,391 | angr.path_group | Filtering 2 paths
DEBUG   | 2016-05-27 22:40:43,391 | angr.path_group | ... path <Path with 9 runs (at 0x40080d)> didn't match!
DEBUG   | 2016-05-27 22:40:43,392 | angr.path_group | ... path <Path with 11 runs (at 0x1000020)> didn't match!
DEBUG   | 2016-05-27 22:40:43,392 | angr.path_group | ... returning 0 matches and 2 non-matches
DEBUG   | 2016-05-27 22:40:43,392 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,393 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,393 | angr.path_group | Round 8: stepping <PathGroup with 2 active>
DEBUG   | 2016-05-27 22:40:43,802 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,802 | angr.path_group | ... path <Path with 9 runs (at 0x40080d)> didn't match!
DEBUG   | 2016-05-27 22:40:43,803 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,803 | angr.path_group | Round 0: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:43,810 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,811 | angr.path_group | ... path <Path with 10 runs (at 0x4007af)> didn't match!
DEBUG   | 2016-05-27 22:40:43,811 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,812 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,812 | angr.path_group | ... path <Path with 10 runs (at 0x4007af)> didn't match!
DEBUG   | 2016-05-27 22:40:43,812 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,813 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,813 | angr.path_group | ... path <Path with 10 runs (at 0x4007af)> didn't match!
DEBUG   | 2016-05-27 22:40:43,813 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,813 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,814 | angr.path_group | ... path <Path with 10 runs (at 0x4007af)> didn't match!
DEBUG   | 2016-05-27 22:40:43,814 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,814 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,815 | angr.path_group | ... path <Path with 10 runs (at 0x4007af)> didn't match!
DEBUG   | 2016-05-27 22:40:43,815 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,815 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,816 | angr.path_group | ... path <Path with 10 runs (at 0x4007af)> didn't match!
DEBUG   | 2016-05-27 22:40:43,816 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,816 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,817 | angr.path_group | ... path <Path with 10 runs (at 0x4007af)> didn't match!
DEBUG   | 2016-05-27 22:40:43,817 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,817 | angr.path_group | Round 0: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:43,823 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,824 | angr.path_group | ... path <Path with 11 runs (at 0x4007f6)> didn't match!
DEBUG   | 2016-05-27 22:40:43,824 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,824 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,824 | angr.path_group | ... path <Path with 11 runs (at 0x4007f6)> didn't match!
DEBUG   | 2016-05-27 22:40:43,825 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,825 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,826 | angr.path_group | ... path <Path with 11 runs (at 0x4007f6)> didn't match!
DEBUG   | 2016-05-27 22:40:43,826 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,826 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,827 | angr.path_group | ... path <Path with 11 runs (at 0x4007f6)> didn't match!
DEBUG   | 2016-05-27 22:40:43,828 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,828 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,829 | angr.path_group | ... path <Path with 11 runs (at 0x4007f6)> didn't match!
DEBUG   | 2016-05-27 22:40:43,830 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,830 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,830 | angr.path_group | ... path <Path with 11 runs (at 0x4007f6)> didn't match!
DEBUG   | 2016-05-27 22:40:43,831 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,831 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,831 | angr.path_group | ... path <Path with 11 runs (at 0x4007f6)> didn't match!
DEBUG   | 2016-05-27 22:40:43,831 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,832 | angr.path_group | Round 0: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:43,838 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,839 | angr.path_group | ... path <Path with 12 runs (at 0x4007fd)> didn't match!
DEBUG   | 2016-05-27 22:40:43,839 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,839 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,839 | angr.path_group | ... path <Path with 12 runs (at 0x4007fd)> didn't match!
DEBUG   | 2016-05-27 22:40:43,840 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,840 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,840 | angr.path_group | ... path <Path with 12 runs (at 0x4007fd)> matched!
DEBUG   | 2016-05-27 22:40:43,841 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,841 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,841 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,841 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,841 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,842 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,842 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,842 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,842 | angr.path_group | ... path <Path with 12 runs (at 0x4007fd)> matched!
DEBUG   | 2016-05-27 22:40:43,843 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,897 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,898 | angr.path_group | ... path <Path with 12 runs (at 0x4007fd)> matched!
DEBUG   | 2016-05-27 22:40:43,898 | angr.path_group | ... returning 1 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,899 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,899 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,899 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,900 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,900 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,900 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,900 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,900 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,901 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,901 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,901 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,901 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,902 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,902 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,902 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,903 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,909 | angr.path_group | Filtering 1 paths
DEBUG   | 2016-05-27 22:40:43,910 | angr.path_group | ... path <Path with 11 runs (at 0x1000020)> didn't match!
DEBUG   | 2016-05-27 22:40:43,911 | angr.path_group | ... returning 0 matches and 1 non-matches
DEBUG   | 2016-05-27 22:40:43,911 | angr.path_group | Round 0: stepping <PathGroup with 1 active>
DEBUG   | 2016-05-27 22:40:43,913 | angr.path_group | Out of paths in stash active
DEBUG   | 2016-05-27 22:40:43,913 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,913 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,913 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,914 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,914 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,914 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,914 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,914 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,915 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,915 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,915 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,915 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,916 | angr.path_group | Filtering 0 paths
DEBUG   | 2016-05-27 22:40:43,916 | angr.path_group | ... returning 0 matches and 0 non-matches
DEBUG   | 2016-05-27 22:40:43,916 | angr.path_group | Out of paths in stash active
Traceback (most recent call last):
  File "./solve.py", line 40, in <module>
    f = pg.found[0]
IndexError: list index out of range

Note the warning: WARNING | 2016-05-27 22:40:43,309 | simuvex.s_run | Exit state has over 257 possible solutions. Likely unconstrained; skipping. <BV64 mem_17_53_64>

Issue Analytics

State:
Created 7 years ago
Comments:6 (6 by maintainers)

Top GitHub Comments

1reaction

ltfishcommented, May 27, 2016

This PR will fix your issue: https://github.com/angr/angr/pull/122

I’ll merge it to master in after I write a test case for it.

0reactions

ltfishcommented, May 29, 2016

When I use entry_state, the return address should be constrained

Since you start execution from 0x4008fa, PathGroup.explore() as well as Explorer will execute until the end of that function if all addresses specified in find are not found. The return address should not be constrained, since when you start execution at the beginning of that function, return address on the stack is unconstrained.

path_group should finish in about the same amount of time as the Explorer

I totally agree! And I don’t understand why Explorer does not run into the anti-debugging function. I’ll have to wait until I have some time and debug it.

Top Results From Across the Web

Angr Documentation

A Surveyor is the engine that drives symbolic execution: it tracks what paths are active, identifies which paths to step forward and which...

2022 Professional Land Surveyors' Act

Professional Land Surveyors' Act. 8701. Professional land surveyor. “Professional land surveyor” refers to one who practices or offers to practice land.

Board of Professional Engineers and Professional Land ...

Welcome to the Montana Board of Professional Engineers and Professional Land Surveyors · Licensing Scams Notice · Applying online for a PE or...

OCCUPATIONS CODE CHAPTER 1071. LAND SURVEYORS

SHORT TITLE. This chapter may be cited as the Professional Land Surveying Practices Act. Added by Acts 2001, 77th Leg., ch. 1421, Sec....

Vermont Land Survey Library v.1.0

What is different relative to past practices? Before the passing of Act 38 in 2019 that creates the requirement for surveys of line...