angr 9.2.120__py3-none-win_amd64.whl → 9.2.122__py3-none-win_amd64.whl

angr/engines/vex/heavy/actions.py

@@ -1,10 +1,11 @@
 from __future__ import annotations
-import pyvex
 
-from .heavy import HeavyVEXMixin
+import pyvex
 
-from angr.state_plugins.sim_action import SimActionObject, SimActionData, SimActionExit, SimActionOperation
 from angr import sim_options as o
+from angr.state_plugins.sim_action import SimActionData, SimActionExit, SimActionObject, SimActionOperation
+
+from .heavy import HeavyVEXMixin
 
 
 class TrackActionsMixin(HeavyVEXMixin):
@@ -15,12 +16,6 @@ class TrackActionsMixin(HeavyVEXMixin):
 
     __tls = ("__tmp_deps",)
 
-    def _is_true(self, v):
-        return super()._is_true(v[0])
-
-    def _is_false(self, v):
-        return super()._is_false(v[0])
-
     def _optimize_guarded_addr(self, addr, guard):
         addr, addr_deps = addr
         guard, _ = guard
@@ -97,8 +92,8 @@ class TrackActionsMixin(HeavyVEXMixin):
             a = self.__tmp_deps.get(tmp, frozenset())
         return result, a
 
-    def _perform_vex_expr_Get(self, offset_bundle, ty, **kwargs):
-        offset, offset_deps = offset_bundle
+    def _perform_vex_expr_Get(self, offset, ty, **kwargs):
+        offset, offset_deps = offset
         result = super()._perform_vex_expr_Get(offset, ty, **kwargs)
 
         if o.TRACK_REGISTER_ACTIONS in self.state.options:
@@ -117,15 +112,15 @@ class TrackActionsMixin(HeavyVEXMixin):
             a = frozenset()
         return result, a
 
-    def _perform_vex_expr_Load(self, addr_bundle, ty, end, condition=None, **kwargs):
-        addr, addr_deps = addr_bundle
+    def _perform_vex_expr_Load(self, addr, ty, endness, condition=None, **kwargs):
+        addr, addr_deps = addr
 
         if condition is not None:
             condition, condition_deps = condition
         else:
             condition_deps = None
 
-        result = super()._perform_vex_expr_Load(addr, ty, end, condition=condition, **kwargs)
+        result = super()._perform_vex_expr_Load(addr, ty, endness, condition=condition, **kwargs)
 
         if o.TRACK_MEMORY_ACTIONS in self.state.options:
             addr_ao = SimActionObject(addr, deps=addr_deps, state=self.state)
@@ -162,9 +157,9 @@ class TrackActionsMixin(HeavyVEXMixin):
             self.__tmp_deps[tmp] = data_deps
         super()._perform_vex_stmt_WrTmp(tmp, data, deps=data_deps)
 
-    def _perform_vex_stmt_Put(self, offset_bundle, data_bundle, **kwargs):
-        offset, offset_deps = offset_bundle
-        data, data_deps = data_bundle
+    def _perform_vex_stmt_Put(self, offset, data, **kwargs):
+        offset, _ = offset
+        data, data_deps = data
         # track the put
         if o.TRACK_REGISTER_ACTIONS in self.state.options:
             data_ao = SimActionObject(data, deps=data_deps, state=self.state)
@@ -178,9 +173,9 @@ class TrackActionsMixin(HeavyVEXMixin):
 
         super()._perform_vex_stmt_Put(offset, data, action=a, **kwargs)
 
-    def _perform_vex_stmt_Store(self, addr_bundle, data_bundle, end, condition=None, **kwargs):
-        addr, addr_deps = addr_bundle
-        data, data_deps = data_bundle
+    def _perform_vex_stmt_Store(self, addr, data, endness, condition=None, **kwargs):
+        addr, addr_deps = addr
+        data, data_deps = data
 
         if condition is not None:
             condition, condition_deps = condition
@@ -210,11 +205,11 @@ class TrackActionsMixin(HeavyVEXMixin):
         else:
             a = None
 
-        super()._perform_vex_stmt_Store(addr, data, end, action=a, condition=condition, **kwargs)
+        super()._perform_vex_stmt_Store(addr, data, endness, action=a, condition=condition, **kwargs)
 
-    def _perform_vex_stmt_Exit(self, guard_bundle, target_bundle, jumpkind):
-        guard, guard_deps = guard_bundle
-        target, target_deps = target_bundle
+    def _perform_vex_stmt_Exit(self, guard, expr, jumpkind):
+        guard, guard_deps = guard
+        target, target_deps = expr
 
         if o.TRACK_JMP_ACTIONS in self.state.options:
             guard_ao = SimActionObject(guard, deps=guard_deps, state=self.state)

angr/engines/vex/heavy/heavy.py

@@ -251,7 +251,13 @@ class HeavyVEXMixin(SuccessorsMixin, ClaripyDataMixin, SimStateStorageMixin, VEX
 
         # Raise an exception if we're suddenly in self-modifying code
         if (self.project is None or self.project.selfmodifying_code) and self.state.scratch.dirty_addrs:
-            for subaddr in range(stmt.len):
+            instruction_len = stmt.len
+            if instruction_len == 0:
+                # We don't know how long this instruction is.
+                # Conservatively assume it is the maximum instruction
+                # length for the purpose of dirty checks.
+                instruction_len = self.project.arch.max_inst_bytes
+            for subaddr in range(instruction_len):
                 if subaddr + stmt.addr in self.state.scratch.dirty_addrs:
                     raise errors.SimReliftException(self.state)
 

angr/engines/vex/lifter.py

@@ -93,6 +93,7 @@ class VEXLifter(SimEngineBase):
         collect_data_refs=False,
         cross_insn_opt=None,
         load_from_ro_regions=False,
+        const_prop=False,
     ):
         """
         Lift an IRSB.
@@ -170,7 +171,7 @@ class VEXLifter(SimEngineBase):
         have_patches = self.project and self.project.kb.patches.items()
 
         # FIXME: cache ignores provided state
-        use_cache = self._use_cache and not (skip_stmts or collect_data_refs or have_patches)
+        use_cache = self._use_cache and not (skip_stmts or collect_data_refs or have_patches or const_prop)
 
         # phase 2: thumb normalization
         thumb = int(thumb)
@@ -261,6 +262,7 @@ class VEXLifter(SimEngineBase):
                     collect_data_refs=collect_data_refs,
                     load_from_ro_regions=load_from_ro_regions,
                     cross_insn_opt=cross_insn_opt,
+                    const_prop=const_prop,
                 )
 
                 if subphase == 0 and irsb.statements is not None:

angr/engines/vex/light/light.py

@@ -394,7 +394,7 @@ class VEXMixin(SimEngineBase):
         # guarded address). This way we get rid of the redundant load that should have existed in the first place.
 
         ty, cvt_op = cvt_properties[cvt]
-        if self._is_false(guard):
+        if self.state.solver.is_true(guard[0] == 0):
             self._perform_vex_stmt_LoadG_wrtmp(dst, alt)
             return
         load_result = self._perform_vex_stmt_LoadG_load(
@@ -436,7 +436,7 @@ class VEXMixin(SimEngineBase):
 
     def _perform_vex_stmt_StoreG(self, addr, data, guard, ty, endness, **kwargs):
         # perform the same optimization as in _perform_vex_stmt_LoadG
-        if self._is_false(guard):
+        if self.state.solver.is_true(guard[0] == 0):
             return
         self._perform_vex_stmt_StoreG_store(
             addr, data, endness, condition=self._perform_vex_stmt_StoreG_guard_condition(guard), **kwargs

angr/factory.py

@@ -289,6 +289,7 @@ class AngrObjectFactory:
         collect_data_refs=False,
         cross_insn_opt=True,
         load_from_ro_regions=False,
+        const_prop=False,
         initial_regs=None,
         skip_stmts=False,
     ) -> Block: ...
@@ -312,6 +313,8 @@ class AngrObjectFactory:
         insn_text=None,  # backward compatibility
         strict_block_end=None,
         collect_data_refs=False,
+        load_from_ro_regions=False,
+        const_prop=False,
         cross_insn_opt=True,
         skip_stmts=False,
     ) -> SootBlock: ...
@@ -335,6 +338,7 @@ class AngrObjectFactory:
         collect_data_refs=False,
         cross_insn_opt=True,
         load_from_ro_regions=False,
+        const_prop=False,
         initial_regs=None,
         skip_stmts=False,
     ):
@@ -372,6 +376,7 @@ class AngrObjectFactory:
             collect_data_refs=collect_data_refs,
             cross_insn_opt=cross_insn_opt,
             load_from_ro_regions=load_from_ro_regions,
+            const_prop=const_prop,
             initial_regs=initial_regs,
             skip_stmts=skip_stmts,
         )

angr/knowledge_plugins/cfg/memory_data.py

@@ -31,6 +31,7 @@ _SORT_TO_IDX = {
     MemoryDataSort.GOTPLTEntry: cfg_pb2.MemoryData.GOTPLTEntry,
     MemoryDataSort.ELFHeader: cfg_pb2.MemoryData.ELFHeader,
     MemoryDataSort.FloatingPoint: cfg_pb2.MemoryData.FloatingPoint,
+    MemoryDataSort.Alignment: cfg_pb2.MemoryData.Alignment,
 }
 
 _IDX_TO_SORT = {v: k for k, v in _SORT_TO_IDX.items()}

angr/protos/cfg_pb2.py

@@ -1,10 +1,16 @@
 # Generated by the protocol buffer compiler.  DO NOT EDIT!
+# NO CHECKED-IN PROTOBUF GENCODE
 # source: protos/cfg.proto
+# Protobuf Python Version: 5.28.2
 """Generated protocol buffer code."""
-from google.protobuf.internal import builder as _builder
+
 from google.protobuf import descriptor as _descriptor
 from google.protobuf import descriptor_pool as _descriptor_pool
+from google.protobuf import runtime_version as _runtime_version
 from google.protobuf import symbol_database as _symbol_database
+from google.protobuf.internal import builder as _builder
+
+_runtime_version.ValidateProtobufRuntimeVersion(_runtime_version.Domain.PUBLIC, 5, 28, 2, "", "protos/cfg.proto")
 # @@protoc_insertion_point(imports)
 
 _sym_db = _symbol_database.Default()
@@ -13,19 +19,21 @@ _sym_db = _symbol_database.Default()
 from . import primitives_pb2 as protos_dot_primitives__pb2
 
 
-DESCRIPTOR = _descriptor_pool.Default().AddSerializedFile(b'\n\x10protos/cfg.proto\x12\x0b\x61ngr.protos\x1a\x17protos/primitives.proto\"]\n\x07\x43\x46GNode\x12\n\n\x02\x65\x61\x18\x01 \x01(\x04\x12\x0c\n\x04size\x18\x02 \x01(\r\x12\x10\n\x08\x62lock_id\x18\x03 \x03(\x03\x12\x11\n\treturning\x18\x04 \x01(\x08\x12\x13\n\x0binstr_addrs\x18\x05 \x03(\x04\"\x9d\x01\n\x03\x43\x46G\x12\r\n\x05ident\x18\x01 \x01(\t\x12#\n\x05nodes\x18\x02 \x03(\x0b\x32\x14.angr.protos.CFGNode\x12 \n\x05\x65\x64ges\x18\x03 \x03(\x0b\x32\x11.angr.protos.Edge\x12,\n\x0bmemory_data\x18\x04 \x03(\x0b\x32\x17.angr.protos.MemoryData\x12\x12\n\nnormalized\x18\x05 \x01(\x08\"\xec\x02\n\nMemoryData\x12\n\n\x02\x65\x61\x18\x01 \x01(\x04\x12\x11\n\x04size\x18\x02 \x01(\rH\x00\x88\x01\x01\x12\x34\n\x04type\x18\x03 \x01(\x0e\x32&.angr.protos.MemoryData.MemoryDataType\x12\x1b\n\x0ereference_size\x18\x04 \x01(\rH\x01\x88\x01\x01\"\xcf\x01\n\x0eMemoryDataType\x12\x13\n\x0fUnknownDataType\x10\x00\x12\x0f\n\x0bUnspecified\x10\x01\x12\x0b\n\x07Integer\x10\x02\x12\x10\n\x0cPointerArray\x10\x03\x12\n\n\x06String\x10\x04\x12\x11\n\rUnicodeString\x10\x05\x12\x13\n\x0fSegmentBoundary\x10\x06\x12\x11\n\rCodeReference\x10\x07\x12\x0f\n\x0bGOTPLTEntry\x10\x08\x12\r\n\tELFHeader\x10\t\x12\x11\n\rFloatingPoint\x10\nB\x07\n\x05_sizeB\x11\n\x0f_reference_sizeb\x06proto3')
-
-_builder.BuildMessageAndEnumDescriptors(DESCRIPTOR, globals())
-_builder.BuildTopDescriptorsAndMessages(DESCRIPTOR, 'protos.cfg_pb2', globals())
-if _descriptor._USE_C_DESCRIPTORS == False:
+DESCRIPTOR = _descriptor_pool.Default().AddSerializedFile(
+    b'\n\x10protos/cfg.proto\x12\x0b\x61ngr.protos\x1a\x17protos/primitives.proto"]\n\x07\x43\x46GNode\x12\n\n\x02\x65\x61\x18\x01 \x01(\x04\x12\x0c\n\x04size\x18\x02 \x01(\r\x12\x10\n\x08\x62lock_id\x18\x03 \x03(\x03\x12\x11\n\treturning\x18\x04 \x01(\x08\x12\x13\n\x0binstr_addrs\x18\x05 \x03(\x04"\x9d\x01\n\x03\x43\x46G\x12\r\n\x05ident\x18\x01 \x01(\t\x12#\n\x05nodes\x18\x02 \x03(\x0b\x32\x14.angr.protos.CFGNode\x12 \n\x05\x65\x64ges\x18\x03 \x03(\x0b\x32\x11.angr.protos.Edge\x12,\n\x0bmemory_data\x18\x04 \x03(\x0b\x32\x17.angr.protos.MemoryData\x12\x12\n\nnormalized\x18\x05 \x01(\x08"\xfb\x02\n\nMemoryData\x12\n\n\x02\x65\x61\x18\x01 \x01(\x04\x12\x11\n\x04size\x18\x02 \x01(\rH\x00\x88\x01\x01\x12\x34\n\x04type\x18\x03 \x01(\x0e\x32&.angr.protos.MemoryData.MemoryDataType\x12\x1b\n\x0ereference_size\x18\x04 \x01(\rH\x01\x88\x01\x01"\xde\x01\n\x0eMemoryDataType\x12\x13\n\x0fUnknownDataType\x10\x00\x12\x0f\n\x0bUnspecified\x10\x01\x12\x0b\n\x07Integer\x10\x02\x12\x10\n\x0cPointerArray\x10\x03\x12\n\n\x06String\x10\x04\x12\x11\n\rUnicodeString\x10\x05\x12\x13\n\x0fSegmentBoundary\x10\x06\x12\x11\n\rCodeReference\x10\x07\x12\x0f\n\x0bGOTPLTEntry\x10\x08\x12\r\n\tELFHeader\x10\t\x12\x11\n\rFloatingPoint\x10\n\x12\r\n\tAlignment\x10\x0b\x42\x07\n\x05_sizeB\x11\n\x0f_reference_sizeb\x06proto3'
+)
 
-  DESCRIPTOR._options = None
-  _CFGNODE._serialized_start=58
-  _CFGNODE._serialized_end=151
-  _CFG._serialized_start=154
-  _CFG._serialized_end=311
-  _MEMORYDATA._serialized_start=314
-  _MEMORYDATA._serialized_end=678
-  _MEMORYDATA_MEMORYDATATYPE._serialized_start=443
-  _MEMORYDATA_MEMORYDATATYPE._serialized_end=650
+_globals = globals()
+_builder.BuildMessageAndEnumDescriptors(DESCRIPTOR, _globals)
+_builder.BuildTopDescriptorsAndMessages(DESCRIPTOR, "protos.cfg_pb2", _globals)
+if not _descriptor._USE_C_DESCRIPTORS:
+    DESCRIPTOR._loaded_options = None
+    _globals["_CFGNODE"]._serialized_start = 58
+    _globals["_CFGNODE"]._serialized_end = 151
+    _globals["_CFG"]._serialized_start = 154
+    _globals["_CFG"]._serialized_end = 311
+    _globals["_MEMORYDATA"]._serialized_start = 314
+    _globals["_MEMORYDATA"]._serialized_end = 693
+    _globals["_MEMORYDATA_MEMORYDATATYPE"]._serialized_start = 443
+    _globals["_MEMORYDATA_MEMORYDATATYPE"]._serialized_end = 665
 # @@protoc_insertion_point(module_scope)

angr/protos/function_pb2.py

@@ -1,11 +1,16 @@
 # Generated by the protocol buffer compiler.  DO NOT EDIT!
+# NO CHECKED-IN PROTOBUF GENCODE
 # source: protos/function.proto
+# Protobuf Python Version: 5.28.2
 """Generated protocol buffer code."""
+
 from google.protobuf import descriptor as _descriptor
 from google.protobuf import descriptor_pool as _descriptor_pool
-from google.protobuf import message as _message
-from google.protobuf import reflection as _reflection
+from google.protobuf import runtime_version as _runtime_version
 from google.protobuf import symbol_database as _symbol_database
+from google.protobuf.internal import builder as _builder
+
+_runtime_version.ValidateProtobufRuntimeVersion(_runtime_version.Domain.PUBLIC, 5, 28, 2, "", "protos/function.proto")
 # @@protoc_insertion_point(imports)
 
 _sym_db = _symbol_database.Default()
@@ -14,24 +19,17 @@ _sym_db = _symbol_database.Default()
 from . import primitives_pb2 as protos_dot_primitives__pb2
 
 
-DESCRIPTOR = _descriptor_pool.Default().AddSerializedFile(b'\n\x15protos/function.proto\x12\x0b\x61ngr.protos\x1a\x17protos/primitives.proto\"\x99\x03\n\x08\x46unction\x12\n\n\x02\x65\x61\x18\x01 \x01(\x04\x12\x15\n\ris_entrypoint\x18\x03 \x01(\x08\x12\"\n\x06\x62locks\x18\x02 \x03(\x0b\x32\x12.angr.protos.Block\x12\x0c\n\x04name\x18\x04 \x01(\t\x12\x0e\n\x06is_plt\x18\x07 \x01(\x08\x12\x12\n\nis_syscall\x18\x08 \x01(\x08\x12\x17\n\x0fis_simprocedure\x18\t \x01(\x08\x12\x11\n\treturning\x18\n \x01(\x08\x12\x13\n\x0b\x62inary_name\x18\x0b \x01(\t\x12&\n\x05graph\x18\x0c \x01(\x0b\x32\x17.angr.protos.BlockGraph\x12\x1a\n\x12\x65xternal_functions\x18\r \x03(\x04\x12\x11\n\talignment\x18\x0e \x01(\x08\x12\x12\n\nnormalized\x18\x0f \x01(\x08\x12;\n\x0cmatched_from\x18\x10 \x01(\x0e\x32%.angr.protos.Function.SignatureSource\"+\n\x0fSignatureSource\x12\r\n\tUNMATCHED\x10\x00\x12\t\n\x05\x46LIRT\x10\x01\x62\x06proto3')
-
-
-
-_FUNCTION = DESCRIPTOR.message_types_by_name['Function']
-_FUNCTION_SIGNATURESOURCE = _FUNCTION.enum_types_by_name['SignatureSource']
-Function = _reflection.GeneratedProtocolMessageType('Function', (_message.Message,), {
-  'DESCRIPTOR' : _FUNCTION,
-  '__module__' : 'protos.function_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.Function)
-  })
-_sym_db.RegisterMessage(Function)
-
-if _descriptor._USE_C_DESCRIPTORS == False:
+DESCRIPTOR = _descriptor_pool.Default().AddSerializedFile(
+    b'\n\x15protos/function.proto\x12\x0b\x61ngr.protos\x1a\x17protos/primitives.proto"\x99\x03\n\x08\x46unction\x12\n\n\x02\x65\x61\x18\x01 \x01(\x04\x12\x15\n\ris_entrypoint\x18\x03 \x01(\x08\x12"\n\x06\x62locks\x18\x02 \x03(\x0b\x32\x12.angr.protos.Block\x12\x0c\n\x04name\x18\x04 \x01(\t\x12\x0e\n\x06is_plt\x18\x07 \x01(\x08\x12\x12\n\nis_syscall\x18\x08 \x01(\x08\x12\x17\n\x0fis_simprocedure\x18\t \x01(\x08\x12\x11\n\treturning\x18\n \x01(\x08\x12\x13\n\x0b\x62inary_name\x18\x0b \x01(\t\x12&\n\x05graph\x18\x0c \x01(\x0b\x32\x17.angr.protos.BlockGraph\x12\x1a\n\x12\x65xternal_functions\x18\r \x03(\x04\x12\x11\n\talignment\x18\x0e \x01(\x08\x12\x12\n\nnormalized\x18\x0f \x01(\x08\x12;\n\x0cmatched_from\x18\x10 \x01(\x0e\x32%.angr.protos.Function.SignatureSource"+\n\x0fSignatureSource\x12\r\n\tUNMATCHED\x10\x00\x12\t\n\x05\x46LIRT\x10\x01\x62\x06proto3'
+)
 
-  DESCRIPTOR._options = None
-  _FUNCTION._serialized_start=64
-  _FUNCTION._serialized_end=473
-  _FUNCTION_SIGNATURESOURCE._serialized_start=430
-  _FUNCTION_SIGNATURESOURCE._serialized_end=473
+_globals = globals()
+_builder.BuildMessageAndEnumDescriptors(DESCRIPTOR, _globals)
+_builder.BuildTopDescriptorsAndMessages(DESCRIPTOR, "protos.function_pb2", _globals)
+if not _descriptor._USE_C_DESCRIPTORS:
+    DESCRIPTOR._loaded_options = None
+    _globals["_FUNCTION"]._serialized_start = 64
+    _globals["_FUNCTION"]._serialized_end = 473
+    _globals["_FUNCTION_SIGNATURESOURCE"]._serialized_start = 430
+    _globals["_FUNCTION_SIGNATURESOURCE"]._serialized_end = 473
 # @@protoc_insertion_point(module_scope)

angr/protos/primitives_pb2.py

@@ -1,124 +1,58 @@
 # Generated by the protocol buffer compiler.  DO NOT EDIT!
+# NO CHECKED-IN PROTOBUF GENCODE
 # source: protos/primitives.proto
+# Protobuf Python Version: 5.28.2
 """Generated protocol buffer code."""
+
 from google.protobuf import descriptor as _descriptor
 from google.protobuf import descriptor_pool as _descriptor_pool
-from google.protobuf import message as _message
-from google.protobuf import reflection as _reflection
+from google.protobuf import runtime_version as _runtime_version
 from google.protobuf import symbol_database as _symbol_database
+from google.protobuf.internal import builder as _builder
+
+_runtime_version.ValidateProtobufRuntimeVersion(_runtime_version.Domain.PUBLIC, 5, 28, 2, "", "protos/primitives.proto")
 # @@protoc_insertion_point(imports)
 
 _sym_db = _symbol_database.Default()
 
 
-
-
-DESCRIPTOR = _descriptor_pool.Default().AddSerializedFile(b'\n\x17protos/primitives.proto\x12\x0b\x61ngr.protos\"\x87\x05\n\rCodeReference\x12:\n\x0btarget_type\x18\x01 \x01(\x0e\x32%.angr.protos.CodeReference.TargetType\x12<\n\x0coperand_type\x18\x02 \x01(\x0e\x32&.angr.protos.CodeReference.OperandType\x12\x35\n\x08location\x18\x03 \x01(\x0e\x32#.angr.protos.CodeReference.Location\x12\n\n\x02\x65\x61\x18\x04 \x01(\x04\x12\x0c\n\x04mask\x18\x05 \x01(\x04\x12\x0c\n\x04name\x18\x06 \x01(\t\x12\x0f\n\x07\x64\x61ta_ea\x18\x07 \x01(\x04\x12\x10\n\x08\x62lock_ea\x18\x08 \x01(\x04\x12\x10\n\x08stmt_idx\x18\t \x01(\x05\x12\x13\n\x0boperand_idx\x18\n \x01(\x05\x12:\n\x08ref_type\x18\x0b \x01(\x0e\x32(.angr.protos.CodeReference.ReferenceType\"=\n\nTargetType\x12\x0e\n\nCodeTarget\x10\x00\x12\x0e\n\nDataTarget\x10\x01\x12\x0f\n\x0bStackTarget\x10\x02\"~\n\x0bOperandType\x12\x14\n\x10ImmediateOperand\x10\x00\x12\x11\n\rMemoryOperand\x10\x01\x12\x1d\n\x19MemoryDisplacementOperand\x10\x02\x12\x16\n\x12\x43ontrolFlowOperand\x10\x03\x12\x0f\n\x0bOffsetTable\x10\x04\"&\n\x08Location\x12\x0c\n\x08Internal\x10\x00\x12\x0c\n\x08\x45xternal\x10\x01\"0\n\rReferenceType\x12\n\n\x06offset\x10\x00\x12\x08\n\x04read\x10\x01\x12\t\n\x05write\x10\x02\"k\n\x0bInstruction\x12\n\n\x02\x65\x61\x18\x01 \x01(\x04\x12\r\n\x05\x62ytes\x18\x02 \x01(\x0c\x12)\n\x05xrefs\x18\x03 \x01(\x0b\x32\x1a.angr.protos.CodeReference\x12\x16\n\x0elocal_noreturn\x18\x04 \x01(\x08\"`\n\x05\x42lock\x12\n\n\x02\x65\x61\x18\x01 \x01(\x04\x12.\n\x0cinstructions\x18\x02 \x01(\x0b\x32\x18.angr.protos.Instruction\x12\x0c\n\x04size\x18\x04 \x01(\r\x12\r\n\x05\x62ytes\x18\x05 \x01(\x0c\"\x95\x02\n\x10\x45xternalFunction\x12\x0c\n\x04name\x18\x01 \x01(\t\x12\n\n\x02\x65\x61\x18\x02 \x01(\x04\x12;\n\x02\x63\x63\x18\x03 \x01(\x0e\x32/.angr.protos.ExternalFunction.CallingConvention\x12\x12\n\nhas_return\x18\x04 \x01(\x08\x12\x11\n\tno_return\x18\x05 \x01(\x08\x12\x16\n\x0e\x61rgument_count\x18\x06 \x01(\x05\x12\x0f\n\x07is_weak\x18\x07 \x01(\x08\x12\x11\n\tprototype\x18\x08 \x01(\t\"G\n\x11\x43\x61llingConvention\x12\x11\n\rCallerCleanup\x10\x00\x12\x11\n\rCalleeCleanup\x10\x01\x12\x0c\n\x08\x46\x61stCall\x10\x02\"d\n\x10\x45xternalVariable\x12\x0c\n\x04name\x18\x01 \x01(\t\x12\n\n\x02\x65\x61\x18\x02 \x01(\x04\x12\x0c\n\x04size\x18\x03 \x01(\r\x12\x0f\n\x07is_weak\x18\x04 \x01(\x08\x12\x17\n\x0fis_thread_local\x18\x05 \x01(\x08\"\xe5\x03\n\x04\x45\x64ge\x12\x0e\n\x06src_ea\x18\x01 \x01(\x04\x12\x0e\n\x06\x64st_ea\x18\x02 \x01(\x04\x12,\n\x08jumpkind\x18\x03 \x01(\x0e\x32\x1a.angr.protos.Edge.JumpKind\x12\x12\n\nis_outside\x18\x04 \x01(\x08\x12\x10\n\x08ins_addr\x18\x05 \x01(\x04\x12\x10\n\x08stmt_idx\x18\x06 \x01(\x03\x12)\n\x04\x64\x61ta\x18\x07 \x03(\x0b\x32\x1b.angr.protos.Edge.DataEntry\x1a+\n\tDataEntry\x12\x0b\n\x03key\x18\x01 \x01(\t\x12\r\n\x05value\x18\x02 \x01(\x0c:\x02\x38\x01\"\xfe\x01\n\x08JumpKind\x12\x13\n\x0fUnknownJumpkind\x10\x00\x12\n\n\x06\x42oring\x10\x01\x12\x08\n\x04\x43\x61ll\x10\x02\x12\n\n\x06Return\x10\x03\x12\x0e\n\nFakeReturn\x10\x04\x12\x0b\n\x07Syscall\x10\x05\x12\x0f\n\x0bSys_syscall\x10\x06\x12\x0e\n\nSys_int128\x10\x07\x12\x0c\n\x08NoDecode\x10\x08\x12\n\n\x06\x45mWarn\x10\t\x12\x11\n\rSigFPE_IntDiv\x10\n\x12\x0b\n\x07SigTRAP\x10\x0b\x12\x0b\n\x07SigSEGV\x10\x0c\x12\x0b\n\x07MapFail\x10\r\x12\x0b\n\x07NoRedir\x10\x0e\x12\r\n\tClientReq\x10\x0f\x12\r\n\tException\x10\x10\".\n\nBlockGraph\x12 \n\x05\x65\x64ges\x18\x01 \x03(\x0b\x32\x11.angr.protos.Edgeb\x06proto3')
-
-
-
-_CODEREFERENCE = DESCRIPTOR.message_types_by_name['CodeReference']
-_INSTRUCTION = DESCRIPTOR.message_types_by_name['Instruction']
-_BLOCK = DESCRIPTOR.message_types_by_name['Block']
-_EXTERNALFUNCTION = DESCRIPTOR.message_types_by_name['ExternalFunction']
-_EXTERNALVARIABLE = DESCRIPTOR.message_types_by_name['ExternalVariable']
-_EDGE = DESCRIPTOR.message_types_by_name['Edge']
-_EDGE_DATAENTRY = _EDGE.nested_types_by_name['DataEntry']
-_BLOCKGRAPH = DESCRIPTOR.message_types_by_name['BlockGraph']
-_CODEREFERENCE_TARGETTYPE = _CODEREFERENCE.enum_types_by_name['TargetType']
-_CODEREFERENCE_OPERANDTYPE = _CODEREFERENCE.enum_types_by_name['OperandType']
-_CODEREFERENCE_LOCATION = _CODEREFERENCE.enum_types_by_name['Location']
-_CODEREFERENCE_REFERENCETYPE = _CODEREFERENCE.enum_types_by_name['ReferenceType']
-_EXTERNALFUNCTION_CALLINGCONVENTION = _EXTERNALFUNCTION.enum_types_by_name['CallingConvention']
-_EDGE_JUMPKIND = _EDGE.enum_types_by_name['JumpKind']
-CodeReference = _reflection.GeneratedProtocolMessageType('CodeReference', (_message.Message,), {
-  'DESCRIPTOR' : _CODEREFERENCE,
-  '__module__' : 'protos.primitives_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.CodeReference)
-  })
-_sym_db.RegisterMessage(CodeReference)
-
-Instruction = _reflection.GeneratedProtocolMessageType('Instruction', (_message.Message,), {
-  'DESCRIPTOR' : _INSTRUCTION,
-  '__module__' : 'protos.primitives_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.Instruction)
-  })
-_sym_db.RegisterMessage(Instruction)
-
-Block = _reflection.GeneratedProtocolMessageType('Block', (_message.Message,), {
-  'DESCRIPTOR' : _BLOCK,
-  '__module__' : 'protos.primitives_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.Block)
-  })
-_sym_db.RegisterMessage(Block)
-
-ExternalFunction = _reflection.GeneratedProtocolMessageType('ExternalFunction', (_message.Message,), {
-  'DESCRIPTOR' : _EXTERNALFUNCTION,
-  '__module__' : 'protos.primitives_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.ExternalFunction)
-  })
-_sym_db.RegisterMessage(ExternalFunction)
-
-ExternalVariable = _reflection.GeneratedProtocolMessageType('ExternalVariable', (_message.Message,), {
-  'DESCRIPTOR' : _EXTERNALVARIABLE,
-  '__module__' : 'protos.primitives_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.ExternalVariable)
-  })
-_sym_db.RegisterMessage(ExternalVariable)
-
-Edge = _reflection.GeneratedProtocolMessageType('Edge', (_message.Message,), {
-
-  'DataEntry' : _reflection.GeneratedProtocolMessageType('DataEntry', (_message.Message,), {
-    'DESCRIPTOR' : _EDGE_DATAENTRY,
-    '__module__' : 'protos.primitives_pb2'
-    # @@protoc_insertion_point(class_scope:angr.protos.Edge.DataEntry)
-    })
-  ,
-  'DESCRIPTOR' : _EDGE,
-  '__module__' : 'protos.primitives_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.Edge)
-  })
-_sym_db.RegisterMessage(Edge)
-_sym_db.RegisterMessage(Edge.DataEntry)
-
-BlockGraph = _reflection.GeneratedProtocolMessageType('BlockGraph', (_message.Message,), {
-  'DESCRIPTOR' : _BLOCKGRAPH,
-  '__module__' : 'protos.primitives_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.BlockGraph)
-  })
-_sym_db.RegisterMessage(BlockGraph)
-
-if _descriptor._USE_C_DESCRIPTORS == False:
-
-  DESCRIPTOR._options = None
-  _EDGE_DATAENTRY._options = None
-  _EDGE_DATAENTRY._serialized_options = b'8\001'
-  _CODEREFERENCE._serialized_start=41
-  _CODEREFERENCE._serialized_end=688
-  _CODEREFERENCE_TARGETTYPE._serialized_start=409
-  _CODEREFERENCE_TARGETTYPE._serialized_end=470
-  _CODEREFERENCE_OPERANDTYPE._serialized_start=472
-  _CODEREFERENCE_OPERANDTYPE._serialized_end=598
-  _CODEREFERENCE_LOCATION._serialized_start=600
-  _CODEREFERENCE_LOCATION._serialized_end=638
-  _CODEREFERENCE_REFERENCETYPE._serialized_start=640
-  _CODEREFERENCE_REFERENCETYPE._serialized_end=688
-  _INSTRUCTION._serialized_start=690
-  _INSTRUCTION._serialized_end=797
-  _BLOCK._serialized_start=799
-  _BLOCK._serialized_end=895
-  _EXTERNALFUNCTION._serialized_start=898
-  _EXTERNALFUNCTION._serialized_end=1175
-  _EXTERNALFUNCTION_CALLINGCONVENTION._serialized_start=1104
-  _EXTERNALFUNCTION_CALLINGCONVENTION._serialized_end=1175
-  _EXTERNALVARIABLE._serialized_start=1177
-  _EXTERNALVARIABLE._serialized_end=1277
-  _EDGE._serialized_start=1280
-  _EDGE._serialized_end=1765
-  _EDGE_DATAENTRY._serialized_start=1465
-  _EDGE_DATAENTRY._serialized_end=1508
-  _EDGE_JUMPKIND._serialized_start=1511
-  _EDGE_JUMPKIND._serialized_end=1765
-  _BLOCKGRAPH._serialized_start=1767
-  _BLOCKGRAPH._serialized_end=1813
+DESCRIPTOR = _descriptor_pool.Default().AddSerializedFile(
+    b'\n\x17protos/primitives.proto\x12\x0b\x61ngr.protos"\x87\x05\n\rCodeReference\x12:\n\x0btarget_type\x18\x01 \x01(\x0e\x32%.angr.protos.CodeReference.TargetType\x12<\n\x0coperand_type\x18\x02 \x01(\x0e\x32&.angr.protos.CodeReference.OperandType\x12\x35\n\x08location\x18\x03 \x01(\x0e\x32#.angr.protos.CodeReference.Location\x12\n\n\x02\x65\x61\x18\x04 \x01(\x04\x12\x0c\n\x04mask\x18\x05 \x01(\x04\x12\x0c\n\x04name\x18\x06 \x01(\t\x12\x0f\n\x07\x64\x61ta_ea\x18\x07 \x01(\x04\x12\x10\n\x08\x62lock_ea\x18\x08 \x01(\x04\x12\x10\n\x08stmt_idx\x18\t \x01(\x05\x12\x13\n\x0boperand_idx\x18\n \x01(\x05\x12:\n\x08ref_type\x18\x0b \x01(\x0e\x32(.angr.protos.CodeReference.ReferenceType"=\n\nTargetType\x12\x0e\n\nCodeTarget\x10\x00\x12\x0e\n\nDataTarget\x10\x01\x12\x0f\n\x0bStackTarget\x10\x02"~\n\x0bOperandType\x12\x14\n\x10ImmediateOperand\x10\x00\x12\x11\n\rMemoryOperand\x10\x01\x12\x1d\n\x19MemoryDisplacementOperand\x10\x02\x12\x16\n\x12\x43ontrolFlowOperand\x10\x03\x12\x0f\n\x0bOffsetTable\x10\x04"&\n\x08Location\x12\x0c\n\x08Internal\x10\x00\x12\x0c\n\x08\x45xternal\x10\x01"0\n\rReferenceType\x12\n\n\x06offset\x10\x00\x12\x08\n\x04read\x10\x01\x12\t\n\x05write\x10\x02"k\n\x0bInstruction\x12\n\n\x02\x65\x61\x18\x01 \x01(\x04\x12\r\n\x05\x62ytes\x18\x02 \x01(\x0c\x12)\n\x05xrefs\x18\x03 \x01(\x0b\x32\x1a.angr.protos.CodeReference\x12\x16\n\x0elocal_noreturn\x18\x04 \x01(\x08"`\n\x05\x42lock\x12\n\n\x02\x65\x61\x18\x01 \x01(\x04\x12.\n\x0cinstructions\x18\x02 \x01(\x0b\x32\x18.angr.protos.Instruction\x12\x0c\n\x04size\x18\x04 \x01(\r\x12\r\n\x05\x62ytes\x18\x05 \x01(\x0c"\x95\x02\n\x10\x45xternalFunction\x12\x0c\n\x04name\x18\x01 \x01(\t\x12\n\n\x02\x65\x61\x18\x02 \x01(\x04\x12;\n\x02\x63\x63\x18\x03 \x01(\x0e\x32/.angr.protos.ExternalFunction.CallingConvention\x12\x12\n\nhas_return\x18\x04 \x01(\x08\x12\x11\n\tno_return\x18\x05 \x01(\x08\x12\x16\n\x0e\x61rgument_count\x18\x06 \x01(\x05\x12\x0f\n\x07is_weak\x18\x07 \x01(\x08\x12\x11\n\tprototype\x18\x08 \x01(\t"G\n\x11\x43\x61llingConvention\x12\x11\n\rCallerCleanup\x10\x00\x12\x11\n\rCalleeCleanup\x10\x01\x12\x0c\n\x08\x46\x61stCall\x10\x02"d\n\x10\x45xternalVariable\x12\x0c\n\x04name\x18\x01 \x01(\t\x12\n\n\x02\x65\x61\x18\x02 \x01(\x04\x12\x0c\n\x04size\x18\x03 \x01(\r\x12\x0f\n\x07is_weak\x18\x04 \x01(\x08\x12\x17\n\x0fis_thread_local\x18\x05 \x01(\x08"\xe5\x03\n\x04\x45\x64ge\x12\x0e\n\x06src_ea\x18\x01 \x01(\x04\x12\x0e\n\x06\x64st_ea\x18\x02 \x01(\x04\x12,\n\x08jumpkind\x18\x03 \x01(\x0e\x32\x1a.angr.protos.Edge.JumpKind\x12\x12\n\nis_outside\x18\x04 \x01(\x08\x12\x10\n\x08ins_addr\x18\x05 \x01(\x04\x12\x10\n\x08stmt_idx\x18\x06 \x01(\x03\x12)\n\x04\x64\x61ta\x18\x07 \x03(\x0b\x32\x1b.angr.protos.Edge.DataEntry\x1a+\n\tDataEntry\x12\x0b\n\x03key\x18\x01 \x01(\t\x12\r\n\x05value\x18\x02 \x01(\x0c:\x02\x38\x01"\xfe\x01\n\x08JumpKind\x12\x13\n\x0fUnknownJumpkind\x10\x00\x12\n\n\x06\x42oring\x10\x01\x12\x08\n\x04\x43\x61ll\x10\x02\x12\n\n\x06Return\x10\x03\x12\x0e\n\nFakeReturn\x10\x04\x12\x0b\n\x07Syscall\x10\x05\x12\x0f\n\x0bSys_syscall\x10\x06\x12\x0e\n\nSys_int128\x10\x07\x12\x0c\n\x08NoDecode\x10\x08\x12\n\n\x06\x45mWarn\x10\t\x12\x11\n\rSigFPE_IntDiv\x10\n\x12\x0b\n\x07SigTRAP\x10\x0b\x12\x0b\n\x07SigSEGV\x10\x0c\x12\x0b\n\x07MapFail\x10\r\x12\x0b\n\x07NoRedir\x10\x0e\x12\r\n\tClientReq\x10\x0f\x12\r\n\tException\x10\x10".\n\nBlockGraph\x12 \n\x05\x65\x64ges\x18\x01 \x03(\x0b\x32\x11.angr.protos.Edgeb\x06proto3'
+)
+
+_globals = globals()
+_builder.BuildMessageAndEnumDescriptors(DESCRIPTOR, _globals)
+_builder.BuildTopDescriptorsAndMessages(DESCRIPTOR, "protos.primitives_pb2", _globals)
+if not _descriptor._USE_C_DESCRIPTORS:
+    DESCRIPTOR._loaded_options = None
+    _globals["_EDGE_DATAENTRY"]._loaded_options = None
+    _globals["_EDGE_DATAENTRY"]._serialized_options = b"8\001"
+    _globals["_CODEREFERENCE"]._serialized_start = 41
+    _globals["_CODEREFERENCE"]._serialized_end = 688
+    _globals["_CODEREFERENCE_TARGETTYPE"]._serialized_start = 409
+    _globals["_CODEREFERENCE_TARGETTYPE"]._serialized_end = 470
+    _globals["_CODEREFERENCE_OPERANDTYPE"]._serialized_start = 472
+    _globals["_CODEREFERENCE_OPERANDTYPE"]._serialized_end = 598
+    _globals["_CODEREFERENCE_LOCATION"]._serialized_start = 600
+    _globals["_CODEREFERENCE_LOCATION"]._serialized_end = 638
+    _globals["_CODEREFERENCE_REFERENCETYPE"]._serialized_start = 640
+    _globals["_CODEREFERENCE_REFERENCETYPE"]._serialized_end = 688
+    _globals["_INSTRUCTION"]._serialized_start = 690
+    _globals["_INSTRUCTION"]._serialized_end = 797
+    _globals["_BLOCK"]._serialized_start = 799
+    _globals["_BLOCK"]._serialized_end = 895
+    _globals["_EXTERNALFUNCTION"]._serialized_start = 898
+    _globals["_EXTERNALFUNCTION"]._serialized_end = 1175
+    _globals["_EXTERNALFUNCTION_CALLINGCONVENTION"]._serialized_start = 1104
+    _globals["_EXTERNALFUNCTION_CALLINGCONVENTION"]._serialized_end = 1175
+    _globals["_EXTERNALVARIABLE"]._serialized_start = 1177
+    _globals["_EXTERNALVARIABLE"]._serialized_end = 1277
+    _globals["_EDGE"]._serialized_start = 1280
+    _globals["_EDGE"]._serialized_end = 1765
+    _globals["_EDGE_DATAENTRY"]._serialized_start = 1465
+    _globals["_EDGE_DATAENTRY"]._serialized_end = 1508
+    _globals["_EDGE_JUMPKIND"]._serialized_start = 1511
+    _globals["_EDGE_JUMPKIND"]._serialized_end = 1765
+    _globals["_BLOCKGRAPH"]._serialized_start = 1767
+    _globals["_BLOCKGRAPH"]._serialized_end = 1813
 # @@protoc_insertion_point(module_scope)