Traceback (most recent call last):


 "driver.py", line 32, in <module>

main()


 "driver.py", line 28, in main

ret = symbex_explore(proj, source, sink)


 "driver.py", line 10, in symbex_explore

simgr.run()


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/sim_manager.py", line 260, in run

self.step(stash=stash, **kwargs)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/misc/hookset.py", line 75, in __call__

result = current_hook(self.func.__self__, *args, **kwargs)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/exploration_techniques/explorer.py", line 96, in step

return simgr.step(stash=stash, extra_stop_points=base_extra_stop_points | self._extra_stop_points, **kwargs)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/misc/hookset.py", line 80, in __call__

return self.func(*args, **kwargs)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/sim_manager.py", line 344, in step

successors = self.step_state(state, successor_func=successor_func, **run_args)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/sim_manager.py", line 382, in step_state

successors = self.successors(state, successor_func=successor_func, **run_args)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/sim_manager.py", line 421, in successors

return self._project.factory.successors(state, **run_args)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/factory.py", line 54, in successors

return self.default_engine.process(*args, **kwargs)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/engines/vex/light/slicing.py", line 19, in process

return super().process(*args, **kwargs)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/engines/engine.py", line 143, in process

self.process_successors(self.successors, **kwargs)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/engines/failure.py", line 21, in process_successors

return super().process_successors(successors, **kwargs)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/engines/syscall.py", line 18, in process_successors

return super().process_successors(successors, **kwargs)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/engines/hook.py", line 61, in process_successors

return self.process_procedure(state, successors, procedure, **kwargs)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/engines/procedure.py", line 37, in process_procedure

inst = procedure.execute(state, successors, ret_to=ret_to)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/sim_procedure.py", line 240, in execute

inst.ret(r)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/sim_procedure.py", line 390, in ret

arg_types=[False]*self.num_args if self.cc.args is None else None)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/calling_conventions.py", line 664, in teardown_callsite

self.set_return_val(state, return_val)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/calling_conventions.py", line 728, in set_return_val

loc.set_value(state, betterval, endness='Iend_BE', stack_base=stack_base)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/calling_conventions.py", line 126, in set_value

self.check_value(value)


 "/home/red1/projects/angr-venv/lib/python3.7/site-packages/angr/calling_conventions.py", line 78, in check_value

raise TypeError("%s doesn't fit in an argument of size %d" % (value, self.size))
TypeError: <BV64 Reverse(GetTickCount64_result_10_64)> doesn't fit in an argument of size 4


Traceback (most recent call last):


 "/Users/grecco/anaconda3/envs/pint-doctest/lib/python3.7/doctest.py", line 1337, in __run

compileflags, 1), test.globs)


 "<doctest default[2]>", line 1, in <module>

"%s" % accel


 "/Users/grecco/Documents/code/pint/pint/quantity.py", line 286, in __str__

return self.format_babel()


 "/Users/grecco/Documents/code/pint/pint/quantity.py", line 431, in format_babel

obj.units.format_babel(spec, **kwspec),


 "/Users/grecco/Documents/code/pint/pint/unit.py", line 112, in format_babel

return "%s" % (units.format_babel(spec, **kwspec))


 "/Users/grecco/Documents/code/pint/pint/util.py", line 452, in format_babel

return format_unit(self, spec, **kwspec)


 "/Users/grecco/Documents/code/pint/pint/formatting.py", line 284, in format_unit

return formatter(unit.items(), **fmt)


 "/Users/grecco/Documents/code/pint/pint/formatting.py", line 237, in formatter

neg_ret = _join(division_fmt, neg_terms)


 "/Users/grecco/Documents/code/pint/pint/formatting.py", line 41, in _join

if not __JOIN_REG_EXP.search(fmt):

TypeError: expected string or bytes-like object
