This repository has been archived by the owner on May 18, 2022. It is now read-only.

strtok_r SimProcedure is broken #92

Open

ltfish opened this issue Feb 23, 2017 · 0 comments

Labels

bad-simprocedure help wanted

Member

ltfish commented Feb 23, 2017 •

edited

Loading

Line 46:

self.state.memory.store(where.ret_expr, write_content, size=write_length, strategy=["symbolic_nonzero", "any"], limit=str_strlen.max_null_index+1)

strategy and limit no longer exist. This needs fix.

The text was updated successfully, but these errors were encountered:

ltfish added bad-simprocedure help wanted labels

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.