profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/edmcman/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.

edmcman/experiment-scripts 17

Automatically run experiments, upload results to google docs, analyze them using R, and include the analysis in LaTeX.

edmcman/covize 4

Automatically gather coverage information for ubuntu packages

edmcman/eds-batteries-included 1

Batteries Included project

edmcman/ghidra-rtti-comparison 1

Quick comparison between Ghidra's new RTTI script and OOAnalyzer

edmcman/afl-cov 0

Produce code coverage results with gcov from afl-fuzz test cases

PR closed angr/angr

Constrain the now limited size of the write bug

Without this patch, the symbolic size passed to write is allowed to be enormous (0x100000000) because it's not actually constrained to match the behavior of the write.

+1 -0

10 comments

1 changed file

edmcman

pr closed time in a day

pull request commentangr/angr

Constrain the now limited size of the write

I am closing this because I fixed the behavior for my application via monkey patching. I still think it's a bug in the sense that the modeled behavior does not match what Linux will do for excessively large writes, but for most applications it probably doesn't matter.

edmcman

comment created time in a day

issue commentrogerhu/gdb-heap

Failed to run heap on Fedora:31

Yes, the dict implementation has changed. I patched things enough at https://github.com/edmcman/gdb-heap to avoid crashing, though I didn't fully iterate through the new data structures.

fridex

comment created time in a month

issue commentrogerhu/gdb-heap

There is no member named size

I worked around these here: https://github.com/edmcman/gdb-heap

My changes aren't complete, but they are enough to avoid crashing at least

aspin

comment created time in a month

push eventedmcman/gdb-heap

Edward J. Schwartz

commit sha 84303a6c57bce25777ad31d6c8af34dc12cf50e3

Changes required to not crash

view details

push time in a month

fork edmcman/gdb-heap

Heap Analyzer for Python

fork in a month

pull request commentangr/vex

Don't truncate 64-bit segment base in 32-bit addressing mode.

Same errors with vex master

edmcman

comment created time in a month

pull request commentangr/vex

Don't truncate 64-bit segment base in 32-bit addressing mode.

I don't think any of these are related to the change but I am not sure...

<details>

ERROR: test_decompiler.transplant_class.<locals>.C (test_decompiling_all_i386)

Traceback (most recent call last): File "/home/ed/Documents/angr-dev/angr/tests/test_decompiler.py", line 66, in test_decompiling_all_i386 dec = p.analyses.Decompiler(f, cfg=cfg.model) File "/home/ed/Documents/angr-dev/angr/angr/analyses/analysis.py", line 115, in call oself.init(*args, **kwargs) File "/home/ed/Documents/angr-dev/angr/angr/analyses/decompiler/decompiler.py", line 34, in init self._decompile() File "/home/ed/Documents/angr-dev/angr/angr/analyses/decompiler/decompiler.py", line 66, in _decompile **self.options_to_params(options_by_class['clinic']) File "/home/ed/Documents/angr-dev/angr/angr/analyses/analysis.py", line 115, in call oself.init(*args, **kwargs) File "/home/ed/Documents/angr-dev/angr/angr/analyses/decompiler/clinic.py", line 76, in init self._analyze() File "/home/ed/Documents/angr-dev/angr/angr/analyses/decompiler/clinic.py", line 185, in _analyze variable_kb = self._recover_and_link_variables(ail_graph, arg_list) File "/home/ed/Documents/angr-dev/angr/angr/utils/timing.py", line 28, in timed_func return func(*args, **kwargs) File "/home/ed/Documents/angr-dev/angr/angr/analyses/decompiler/clinic.py", line 553, in _recover_and_link_variables func_args=arg_list) File "/home/ed/Documents/angr-dev/angr/angr/analyses/analysis.py", line 115, in call oself.init(*args, **kwargs) File "/home/ed/Documents/angr-dev/angr/angr/analyses/variable_recovery/variable_recovery_fast.py", line 204, in init self._analyze() File "/home/ed/Documents/angr-dev/angr/angr/analyses/forward_analysis/forward_analysis.py", line 224, in _analyze self._analysis_core_graph() File "/home/ed/Documents/angr-dev/angr/angr/analyses/forward_analysis/forward_analysis.py", line 243, in _analysis_core_graph changed, output_state = self._run_on_node(n, job_state) File "/home/ed/Documents/angr-dev/angr/angr/analyses/variable_recovery/variable_recovery_fast.py", line 316, in _run_on_node self._process_block(state, block) File "/home/ed/Documents/angr-dev/angr/angr/analyses/variable_recovery/variable_recovery_fast.py", line 412, in _process_block processor.process(state, block=block, fail_fast=self._fail_fast) File "/home/ed/Documents/angr-dev/angr/angr/analyses/variable_recovery/engine_base.py", line 74, in process self._process(state, None, block=kwargs.pop('block', None)) File "/home/ed/Documents/angr-dev/angr/angr/engines/light/engine.py", line 691, in _process self._process_Stmt(whitelist=whitelist) File "/home/ed/Documents/angr-dev/angr/angr/engines/light/engine.py", line 708, in _process_Stmt self._handle_Stmt(stmt) File "/home/ed/Documents/angr-dev/angr/angr/engines/light/engine.py", line 754, in _handle_Stmt getattr(self, old_handler)(stmt) File "/home/ed/Documents/angr-dev/angr/angr/analyses/variable_recovery/engine_ail.py", line 76, in _ail_handle_Call richr = self._expr(arg) File "/home/ed/Documents/angr-dev/angr/angr/analyses/variable_recovery/engine_ail.py", line 148, in _expr r = super()._expr(expr) File "/home/ed/Documents/angr-dev/angr/angr/engines/light/engine.py", line 729, in _expr return h(expr) File "/home/ed/Documents/angr-dev/angr/angr/analyses/variable_recovery/engine_ail.py", line 166, in _ail_handle_Load return self._load(addr_r, size, expr=expr) File "/home/ed/Documents/angr-dev/angr/angr/analyses/variable_recovery/engine_base.py", line 457, in _load atom=expr, File "/home/ed/Documents/angr-dev/angr/angr/knowledge_plugins/variables/variable_manager.py", line 133, in read_from self._record_variable_access('read', variable, offset, location, overwrite=overwrite, atom=atom) File "/home/ed/Documents/angr-dev/angr/angr/knowledge_plugins/variables/variable_manager.py", line 154, in _record_variable_access self._atom_to_variable[(location.block_addr, location.stmt_idx)][atom].add(var_and_offset) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 550, in _hash_core return stable_hash(('Load', self.addr, self.size, self.endness)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) File "/home/ed/Documents/angr-dev/ailment/ailment/tagged_object.py", line 29, in hash self._hash = self._hash_core() File "/home/ed/Documents/angr-dev/ailment/ailment/expression.py", line 442, in _hash_core return stable_hash((self.op, tuple(self.operands), self.bits, self.signed)) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 33, in stable_hash cnt = _dump_tuple(t) File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 45, in _dump_tuple cnt += _DUMP_BY_TYPEtype_ File "/home/ed/Documents/angr-dev/ailment/ailment/utils.py", line 49, in _dump_tuple cnt += struct.pack("<Q", hash(item) & 0xffff_ffff_ffff_ffff) RecursionError: maximum recursion depth exceeded while calling a Python object

====================================================================== ERROR: test_db (nose2.loader.ModuleImportFailure)

ImportError: Failed to import test module: test_db Traceback (most recent call last): File "/home/ed/Documents/angr-dev/angr/angr/angrdb/init.py", line 3, in <module> import sqlalchemy ModuleNotFoundError: No module named 'sqlalchemy'

During handling of the above exception, another exception occurred:

Traceback (most recent call last): File "/home/ed/.virtualenvs/angr/lib/python3.6/site-packages/nose2/plugins/loader/discovery.py", line 201, in _find_tests_in_file module = util.module_from_name(module_name) File "/home/ed/.virtualenvs/angr/lib/python3.6/site-packages/nose2/util.py", line 77, in module_from_name import(name) File "/home/ed/Documents/angr-dev/angr/tests/test_db.py", line 6, in <module> from angr.angrdb import AngrDB File "/home/ed/Documents/angr-dev/angr/angr/angrdb/init.py", line 6, in <module> raise ImportError("AngrDB relies on SQLAlchemy. Please install SQLAlchemy first by running:\n" ImportError: AngrDB relies on SQLAlchemy. Please install SQLAlchemy first by running: pip install sqlalchemy

====================================================================== ERROR: test_kb_plugins_dwarf.transplant_class.<locals>.C (test_kb_plugins_dwarf)

Traceback (most recent call last): File "/home/ed/Documents/angr-dev/angr/tests/test_kb_plugins_dwarf.py", line 14, in test_kb_plugins_dwarf p.kb.variables.load_from_dwarf() File "/home/ed/Documents/angr-dev/angr/angr/knowledge_plugins/variables/variable_manager.py", line 671, in load_from_dwarf manager = self.get_function_manager(low_pc) File "/home/ed/Documents/angr-dev/angr/angr/knowledge_plugins/variables/variable_manager.py", line 610, in get_function_manager raise TypeError('Argument "func_addr" must be an int.') TypeError: Argument "func_addr" must be an int.

====================================================================== ERROR: test_java.transplant_class.<locals>.C (test_fauxware)

Traceback (most recent call last): File "/home/ed/Documents/angr-dev/angr/tests/test_java.py", line 28, in test_fauxware state = simgr.found[0] IndexError: list index out of range

====================================================================== FAIL: test_xrefs.transplant_class.<locals>.C (test_lwip_udpecho_bm)

Traceback (most recent call last): File "/home/ed/Documents/angr-dev/angr/tests/test_xrefs.py", line 27, in test_lwip_udpecho_bm XRef(ins_addr=0x23c9, dst=0x23d4, xref_type=XRefType.Read) AssertionError: <XRef offset: 0x23c9->9172> != <XRef read: 0x23c9->9172>

====================================================================== FAIL: test_xrefs.transplant_class.<locals>.C (test_lwip_udpecho_bm_the_better_way)

Traceback (most recent call last): File "/home/ed/Documents/angr-dev/angr/tests/test_xrefs.py", line 52, in test_lwip_udpecho_bm_the_better_way XRef(ins_addr=0x23c9, dst=0x23d4, xref_type=XRefType.Read) AssertionError: <XRef offset: 0x23c9->9172> != <XRef read: 0x23c9->9172>

====================================================================== FAIL: test_xrefs.transplant_class.<locals>.C (test_p2im_drone_with_inits)

Traceback (most recent call last): File "/home/ed/Documents/angr-dev/angr/tests/test_xrefs.py", line 73, in test_p2im_drone_with_inits nose.tools.assert_equal(len(h12c1_inst_xrefs), 5) AssertionError: 0 != 5

====================================================================== FAIL: test_constantpropagation.transplant_class.<locals>.C (test_lwip_udpecho_bm)

Traceback (most recent call last): File "/home/ed/Documents/angr-dev/angr/tests/test_constantpropagation.py", line 42, in test_lwip_udpecho_bm nose.tools.assert_greater(len(prop.replacements), 0) AssertionError: 0 not greater than 0

====================================================================== FAIL: test_tracer.transplant_class.<locals>.C (test_floating_point_memory_reads)

Traceback (most recent call last): File "/home/ed/Documents/angr-dev/angr/tests/test_tracer.py", line 207, in test_floating_point_memory_reads trace_cgc_with_pov_file(binary, "tracer_floating_point_memory_reads", pov_file, output) File "/home/ed/Documents/angr-dev/angr/tests/test_tracer.py", line 36, in trace_cgc_with_pov_file nose.tools.assert_true(stdout_dump.startswith(output_initial_bytes)) AssertionError: False is not true

====================================================================== FAIL: test_tracer.transplant_class.<locals>.C (test_rollback_on_symbolic_conditional_exit)

Traceback (most recent call last): File "/home/ed/Documents/angr-dev/angr/tests/test_tracer.py", line 198, in test_rollback_on_symbolic_conditional_exit trace_cgc_with_pov_file(binary, "tracer_rollback_on_symbolic_conditional_exit", pov_file, b'\n'.join(output_initial_bytes)) File "/home/ed/Documents/angr-dev/angr/tests/test_tracer.py", line 36, in trace_cgc_with_pov_file nose.tools.assert_true(stdout_dump.startswith(output_initial_bytes)) AssertionError: False is not true

====================================================================== FAIL: test_jumptables.transplant_class.<locals>.C (test_armel_lwip_tcpecho_bm)

Traceback (most recent call last): File "/home/ed/Documents/angr-dev/angr/tests/test_jumptables.py", line 204, in test_armel_lwip_tcpecho_bm compare(cfg.jump_tables, all_jumptables) File "/home/ed/Documents/angr-dev/angr/tests/test_jumptables.py", line 32, in compare assert j.block_addr in jump_tables, "Jump table @ block %#x is not found in CFG." % j.block_addr AssertionError: Jump table @ block 0x2e9f is not found in CFG.

====================================================================== FAIL: test_java.transplant_class.<locals>.C (test_cmd_line_args)

Traceback (most recent call last): File "/home/ed/Documents/angr-dev/angr/tests/test_java.py", line 73, in test_cmd_line_args assert len(simgr.deadended) == 2 AssertionError

====================================================================== FAIL: test_init_finder.transplant_class.<locals>.C (test_p2im_drone)

Traceback (most recent call last): File "/home/ed/Documents/angr-dev/angr/tests/test_init_finder.py", line 25, in test_p2im_drone nose.tools.assert_equal(state.solver.eval_one(overlay.load(0x20001500, 4, endness='Iend_LE')), 0x40005400) AssertionError: 0 != 1073763328


Ran 642 tests in 2355.230s

FAILED (failures=9, errors=4, skipped=1)

IRSB { t0:Ity_I64 t1:Ity_I64 t2:Ity_I64 t3:Ity_I64 t4:Ity_I64 t5:Ity_I64 t6:Ity_I64 t7:Ity_I64 t8:Ity_I64

00 | ------ IMark(0x4007f5, 5, 0) ------ 01 | PUT(rax) = 0x0000000000000000 02 | PUT(rip) = 0x00000000004007fa 03 | ------ IMark(0x4007fa, 1, 0) ------ 04 | t0 = GET:I64(rbp) 05 | PUT(rsp) = t0 06 | t1 = LDle:I64(t0) 07 | PUT(rbp) = t1 08 | t6 = Add64(t0,0x0000000000000008) 09 | PUT(rsp) = t6 10 | PUT(rip) = 0x00000000004007fb 11 | ------ IMark(0x4007fb, 1, 0) ------ 12 | t3 = LDle:I64(t6) 13 | t4 = Add64(t6,0x0000000000000008) 14 | PUT(rsp) = t4 15 | t7 = Sub64(t4,0x0000000000000080) 16 | ====== AbiHint(0xt7, 128, t3) ====== NEXT: PUT(rip) = t3; Ijk_Ret } None

Block 4007f5

00 | 0x4007f5 | rax<8> = 0x0<64> 01 | 0x4007fa | rbp<8> = Load(addr=rbp<8>, size=8, endness=Iend_LE) 02 | 0x4007fa | rip<8> = 0x4007fb<64> 03 | 0x4007fb | rsp<8> = ((rbp<8> + 0x8<64>) + 0x8<64>) 04 | 0x4007fb | return; int test_func() { BOT s_d0; // [bp-0xd0] BOT s_d8; // [bp-0xd8] BOT s_dc; // [bp-0xdc] BOT s_dc; // [bp-0xdc] BOT s_dc; // [sp-0xdc] BOT s_e0; // [bp-0xe0] BOT s_e0; // [bp-0xe0] BOT v9; // fs

s_dc = 0;
read(0x0, &s_d8, 0xc8);
for (s_e0 = 0; s_e0 <= 19; s_e0 = s_e0 + 1)
{
    if (s_d0 == 66)
    {
        s_dc = s_dc + 1;
    }
}
if (s_dc == 10)
{
    puts("There are 10 'B's in your input.");
    puts("Easter egg triggered!");
}
return *(v9:40) ^ *(v9:40);

}

int main() { BOT tmp_17; // tmp #17 BOT s_10; // [bp-0x10] BOT s_28; // [bp-0x28] BOT s_28; // [bp-0x28] BOT s_48; // [bp-0x48] BOT v4; // rax BOT v9; // rsi

s_48 = v9;
s_10 = 4196501;
if ((int)strcmp(*(v9:8), "stack") != 0)
{
    if ((int)strcmp(*(s_48:8), "got") != 0)
    {
        if ((int)strcmp(*(s_48:8), "heap") != 0)
        {
            printf("There is no leak if you don't provide a user input (%s)\n");
            return 0;
        }
        v4 = strlen(s_10);
        s_28 = malloc(v4);
        printf("Parial address of string: 0x%lx\n");
        free(s_28);
        return 0;
    }
    s_28 = 4195760;
    tmp_17 = s_28;
    printf("Partial GOT entry addr: 0x%lx\n");
    return 0;
}
printf("Partial stack ptr: 0x%p\n");
return 0;

}

int test_func() { BOT s_d0; // [bp-0xd0] BOT s_d8; // [bp-0xd8] BOT s_dc; // [bp-0xdc] BOT s_dc; // [bp-0xdc] BOT s_dc; // [sp-0xdc] BOT s_e0; // [bp-0xe0] BOT s_e0; // [bp-0xe0] BOT v9; // fs

s_dc = 0;
read(0x0, &s_d8, 0xc8);
for (s_e0 = 0; s_e0 <= 19; s_e0 = s_e0 + 1)
{
    if (s_d0 == 66)
    {
        s_dc = s_dc + 1;
    }
}
if (s_dc == 10)
{
    puts("There are 10 'B's in your input.");
    puts("Easter egg triggered!");
}
return *(v9:40) ^ *(v9:40);

}

int _while() { BOT s_14; // [bp-0x14] BOT s_14; // [bp-0x14] BOT v5; // fs

__isoc99_scanf("%d");
for (; s_14 <= 99; s_14 = s_14 + 1)
{
    puts("lol");
    continue;
}
return *(v5:40) ^ *(v5:40);

}

int _while_true_break() { BOT v0; // rax

while (true)
{
    v0 = printf("%d");
    if ((int)v0 == 0)
    {
        break;
    }
}
return v0;

}

Deprecation warning: Use self.model.get_all_nodes() instead of get_all_nodes Deprecation warning: Use self.model.get_predecessors() instead of get_predecessors Deprecation warning: Use self.model.get_successors_and_jumpkind instead of get_successors_and_jumpkind Deprecation warning: Use self.model.nodes() instead of nodes {'/dev/stdin': <BV8192 /dev/stdin_171925_8192>, '/dev/stdout': <BV8192 /dev/stdout_171926_8192>, '/dev/stderr': <BV8192 /dev/stderr_171927_8192>} {'/dev/stdin': <BV8192 /dev/stdin_171925_8192>, '/dev/stdout': <BV8192 /dev/stdout_171926_8192>, '/dev/stderr': <BV8192 /dev/stderr_171927_8192>} {'/dev/stdin': <BV8192 /dev/stdin_171925_8192>, '/dev/stdout': <BV8192 /dev/stdout_171926_8192>, '/dev/stderr': <BV8192 /dev/stderr_171927_8192>} {'/dev/stdin': <BV8192 /dev/stdin_171925_8192>, '/dev/stdout': <BV8192 /dev/stdout_171926_8192>, '/dev/stderr': <BV8192 /dev/stderr_171927_8192>} Deprecation warning: Use self.model.get_node() instead of get_node cannot run test_apk_loading since there is no Android SDK folder </details>

edmcman

comment created time in a month

pull request commentangr/vex

Don't truncate 64-bit segment base in 32-bit addressing mode.

Yep will do

On Tue, Aug 17, 2021, 6:57 AM Audrey Dutcher - @***. ***@***.***> wrote:

It seems we don't have CI set up for the vex repo. Can you run this against all the angr/angr tests to make sure nothing broke?

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/angr/vex/pull/42#issuecomment-900196319, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAHYKZNEYDXKHSJGBNYSI4DT5I6CJANCNFSM5CHWZHZA . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&utm_campaign=notification-email .

edmcman

comment created time in a month

create barnchedmcman/angr

branch : deleting_vault_branch

created branch time in a month

PR opened angr/angr

Properly dispatch operators to the correct claripy class
+1 -2

0 comment

1 changed file

pr created time in a month

create barnchedmcman/angr

branch : simobject_opfix

created branch time in a month

push eventedmcman/angr

Edward J. Schwartz

commit sha 7f474006e33cd06a83718fecdd95b70723f4be21

Properly dispatch operators to the correct claripy class

view details

push time in a month

push eventedmcman/angr

Edward J. Schwartz

commit sha cc06788333a686e96daa92c5002c446ee1642bce

Initial implementation of deletion in VaultPickler

view details

push time in a month

issue commentangr/vex

possible vex bug in handling segment offsets

This is what I get from https://github.com/edmcman/vex/tree/32bitaddrsegmentfix

In [1]: import angr                                                                                                                                                                                                                                                                                                                                   

In [2]: angr.load_shellcode(b'eg\x0f\xb6m\x00','amd64').factory.block(0).vex.pp()                                                                                                                                                                                                                                                                     
IRSB {
   t0:Ity_I64 t1:Ity_I64 t2:Ity_I64 t3:Ity_I64 t4:Ity_I32 t5:Ity_I64 t6:Ity_I64 t7:Ity_I64 t8:Ity_I32 t9:Ity_I8 t10:Ity_I64

   00 | ------ IMark(0x0, 6, 0) ------
   01 | t2 = GET:I64(gs)
   02 | t6 = GET:I64(rbp)
   03 | t4 = 64to32(t6)
   04 | t3 = 32Uto64(t4)
   05 | t1 = Add64(t3,t2)
   06 | t9 = LDle:I8(t1)
   07 | t8 = 8Uto32(t9)
   08 | t7 = 32Uto64(t8)
   09 | PUT(rbp) = t7
   NEXT: PUT(rip) = 0x0000000000000006; Ijk_Boring
}

Looks right to me, but I haven't had any coffee yet, so who knows.

hammerpig

comment created time in a month

PR opened angr/vex

Don't truncate 64-bit segment base in 32-bit addressing mode.

Fixes #41

+6 -5

0 comment

1 changed file

pr created time in a month

create barnchedmcman/vex

branch : 32bitaddrsegmentfix

created branch time in a month

fork edmcman/vex

A patched version of VEX to work with PyVEX.

fork in a month

issue commentangr/vex

possible vex bug in handling segment offsets

I think it is coming from here: https://sourceware.org/git/?p=valgrind.git;a=blame;f=VEX/priv/guest_amd64_toIR.c;h=c6296f3987d0a0f6e49cd3245461d3565e5c9d30;hb=HEAD#l2471

Not fixed in upstream libvex.

I think the fix is simply to move the two "address size override" lines after the fs and gs logic.

hammerpig

comment created time in a month

issue commentangr/angr

Is there a reason why VaultPickler does not memoize more objects?

Thanks! I am doing a lot of state spilling and would appreciate any insights.

edmcman

comment created time in a month

issue commentangr/vex

possible vex bug in handling segment offsets

3.3.7 in https://www.intel.com/content/dam/www/public/us/en/documents/manuals/64-ia-32-architectures-software-developer-vol-1-manual.pdf

In the flat address space of 64-bit mode, linear addresses are equal to effective addresses because the base address is zero. In the event that FS or GS segments are used with a non-zero base, this rule does not hold. In 64- bit mode, the effective address components are added and the effective address is truncated (See for example the instruction LEA) before adding the full 64-bit segment base. The base is never truncated, regardless of addressing mode in 64-bit mode.

hammerpig

comment created time in a month

PR opened angr/angr

Add an obvious optimization in VaultUnpickler

This can make a fairly substantial performance improvement.

+4 -1

0 comment

1 changed file

pr created time in a month

create barnchedmcman/angr

branch : vault_optimization

created branch time in a month

push eventedmcman/angr

Edward J. Schwartz

commit sha 61324da43233be9bf598d0b028348afdd230990b

Add an obvious optimization in VaultUnpickler

view details

push time in a month

push eventedmcman/angr

Edward J. Schwartz

commit sha 34f5f1e82059ae56f4e0881b3ab27da56c023fb8

Add an obvious optimization in VaultUnpickler

view details

push time in a month

issue openedangr/angr

Is there a reason why VaultPickler does not memoize more objects?

<!-- Disclaimer: The angr suite is maintained by a small team of volunteers. While we cannot guarantee any timeliness for fixes and enhancements, we will do our best. For more real-time help with angr, from us and the community, join our Slack. -->

<!--

Tips:

Before submitting, make sure that you:

  • Search the Issues page for a similar question.
  • Search the Documentation for an answer, as well as our library of examples
  • Are running the latest versions of angr and its components. angr is rapidly-evolving!
  • Ask your question on Slack instead, if it is brief.

-->


<!-- Ask your question here. -->

Why is memoizing (basically) turned off in VaultPickler? See here. I am working with states that start from an archr trace. So the states are pretty big, but they are all relatively small compared to the initial state coming from the archr trace. The way that VaultPickler is currently configured, there is basically no data deduplicated between the states. This wastes a lot of space, but more problematically, it is really, really slow.

I uncommented the linked line above to memoize objects from claripy, angr, archinfo and pyvex. This resulted in a huge speedup when pickling states. So far, I haven't run into any other issues. Thus the question: Why isn't this configured this way by default?

created time in a month

push eventedmcman/angr

Edward J. Schwartz

commit sha 8a1acfc26121de503092fce399b7d4f894bccbeb

Fix SimState pickling bug

view details

push time in a month

push eventedmcman/angr

Edward J. Schwartz

commit sha a463d4114e7ec8f016140d507f58f9403cbffce3

Fix SimState pickling bug

view details

push time in a month

pull request commentangr/angr

Fix SimState pickling bug

I am not sure if the pickled _active_plugins should be set to empty.

edmcman

comment created time in a month