simuvex icon indicating copy to clipboard operation
simuvex copied to clipboard

strtok_r SimProcedure is broken

Open ltfish opened this issue 8 years ago • 0 comments
trafficstars

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.

ltfish avatar Feb 23 '17 07:02 ltfish