[angr] modifying path constraints in check function

Jasper van Woudenberg vanwoudenberg at na.riscure.com
Thu Apr 6 21:08:10 PDT 2017


Thanks again on the work on Angr. 

I'm trying to add constraints on-the-fly while a pg.explore(find=check) is running. I'm doing this from check(path) function by doing path.state.add_constraints(new_constraints). It seems things makes Angr grumpy, I'm getting a bunch of deadended paths rather soon after adding the new constraints. Note I have LAZY_SOLVES disabled. 

I'm trying to figure out whether I'm messing up, whether this isn't allowed by design, or whether it's a bug somewhere. Can you enlighten me?


More information about the angr mailing list