angr 9.2.119__py3-none-manylinux2014_x86_64.whl → 9.2.121__py3-none-manylinux2014_x86_64.whl

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)

angr/protos/variables_pb2.py

@@ -1,126 +1,50 @@
 # Generated by the protocol buffer compiler.  DO NOT EDIT!
+# NO CHECKED-IN PROTOBUF GENCODE
 # source: protos/variables.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/variables.proto")
 # @@protoc_insertion_point(imports)
 
 _sym_db = _symbol_database.Default()
 
 
-
-
-DESCRIPTOR = _descriptor_pool.Default().AddSerializedFile(b'\n\x16protos/variables.proto\x12\x0b\x61ngr.protos\"\x90\x01\n\x0cVariableBase\x12\r\n\x05ident\x18\x01 \x01(\t\x12\x0c\n\x04name\x18\x02 \x01(\t\x12\x13\n\x06region\x18\x03 \x01(\x04H\x00\x88\x01\x01\x12\x15\n\x08\x63\x61tegory\x18\x04 \x01(\tH\x01\x88\x01\x01\x12\x0f\n\x07renamed\x18\x05 \x01(\x08\x12\x0e\n\x06is_phi\x18\x06 \x01(\x08\x42\t\n\x07_regionB\x0b\n\t_category\"L\n\x11TemporaryVariable\x12\'\n\x04\x62\x61se\x18\x01 \x01(\x0b\x32\x19.angr.protos.VariableBase\x12\x0e\n\x06tmp_id\x18\x02 \x01(\r\"V\n\x10RegisterVariable\x12\'\n\x04\x62\x61se\x18\x01 \x01(\x0b\x32\x19.angr.protos.VariableBase\x12\x0b\n\x03reg\x18\x02 \x01(\r\x12\x0c\n\x04size\x18\x03 \x01(\r\"U\n\x0eMemoryVariable\x12\'\n\x04\x62\x61se\x18\x01 \x01(\x0b\x32\x19.angr.protos.VariableBase\x12\x0c\n\x04\x61\x64\x64r\x18\x02 \x01(\x04\x12\x0c\n\x04size\x18\x03 \x01(\r\"u\n\rStackVariable\x12\'\n\x04\x62\x61se\x18\x01 \x01(\x0b\x32\x19.angr.protos.VariableBase\x12\x0c\n\x04\x61\x64\x64r\x18\x02 \x01(\x04\x12\x0c\n\x04size\x18\x03 \x01(\r\x12\x0f\n\x07sp_base\x18\x04 \x01(\x08\x12\x0e\n\x06offset\x18\x05 \x01(\x05\"\x9c\x02\n\x0eVariableAccess\x12\r\n\x05ident\x18\x01 \x01(\t\x12\x12\n\nblock_addr\x18\x02 \x01(\x04\x12\x10\n\x08stmt_idx\x18\x03 \x01(\x05\x12\x10\n\x08ins_addr\x18\x04 \x01(\x04\x12\x13\n\x06offset\x18\x05 \x01(\x03H\x00\x88\x01\x01\x12\x43\n\x0b\x61\x63\x63\x65ss_type\x18\x06 \x01(\x0e\x32..angr.protos.VariableAccess.VariableAccessSort\x12\x16\n\tatom_hash\x18\x07 \x01(\rH\x01\x88\x01\x01\"8\n\x12VariableAccessSort\x12\t\n\x05WRITE\x10\x00\x12\x08\n\x04READ\x10\x01\x12\r\n\tREFERENCE\x10\x02\x42\t\n\x07_offsetB\x0c\n\n_atom_hash\"/\n\x0cVariableType\x12\r\n\x05ident\x18\x01 \x01(\t\x12\x10\n\x08var_type\x18\x02 \x01(\t\";\n\x0bVar2Unified\x12\x11\n\tvar_ident\x18\x01 \x01(\t\x12\x19\n\x11unified_var_ident\x18\x02 \x01(\t\"/\n\x07Phi2Var\x12\x11\n\tphi_ident\x18\x01 \x01(\t\x12\x11\n\tvar_ident\x18\x02 \x01(\t\"\xe6\x04\n\x17VariableManagerInternal\x12\x30\n\x08tempvars\x18\x01 \x03(\x0b\x32\x1e.angr.protos.TemporaryVariable\x12.\n\x07regvars\x18\x02 \x03(\x0b\x32\x1d.angr.protos.RegisterVariable\x12,\n\x07memvars\x18\x03 \x03(\x0b\x32\x1b.angr.protos.MemoryVariable\x12-\n\tstackvars\x18\x04 \x03(\x0b\x32\x1a.angr.protos.StackVariable\x12-\n\x08\x61\x63\x63\x65sses\x18\x05 \x03(\x0b\x32\x1b.angr.protos.VariableAccess\x12\x38\n\x10unified_tempvars\x18\x06 \x03(\x0b\x32\x1e.angr.protos.TemporaryVariable\x12\x36\n\x0funified_regvars\x18\x07 \x03(\x0b\x32\x1d.angr.protos.RegisterVariable\x12\x34\n\x0funified_memvars\x18\x08 \x03(\x0b\x32\x1b.angr.protos.MemoryVariable\x12\x35\n\x11unified_stackvars\x18\t \x03(\x0b\x32\x1a.angr.protos.StackVariable\x12-\n\x0bvar2unified\x18\n \x03(\x0b\x32\x18.angr.protos.Var2Unified\x12(\n\x05types\x18\x0b \x03(\x0b\x32\x19.angr.protos.VariableType\x12%\n\x07phi2var\x18\x0c \x03(\x0b\x32\x14.angr.protos.Phi2Varb\x06proto3')
-
-
-
-_VARIABLEBASE = DESCRIPTOR.message_types_by_name['VariableBase']
-_TEMPORARYVARIABLE = DESCRIPTOR.message_types_by_name['TemporaryVariable']
-_REGISTERVARIABLE = DESCRIPTOR.message_types_by_name['RegisterVariable']
-_MEMORYVARIABLE = DESCRIPTOR.message_types_by_name['MemoryVariable']
-_STACKVARIABLE = DESCRIPTOR.message_types_by_name['StackVariable']
-_VARIABLEACCESS = DESCRIPTOR.message_types_by_name['VariableAccess']
-_VARIABLETYPE = DESCRIPTOR.message_types_by_name['VariableType']
-_VAR2UNIFIED = DESCRIPTOR.message_types_by_name['Var2Unified']
-_PHI2VAR = DESCRIPTOR.message_types_by_name['Phi2Var']
-_VARIABLEMANAGERINTERNAL = DESCRIPTOR.message_types_by_name['VariableManagerInternal']
-_VARIABLEACCESS_VARIABLEACCESSSORT = _VARIABLEACCESS.enum_types_by_name['VariableAccessSort']
-VariableBase = _reflection.GeneratedProtocolMessageType('VariableBase', (_message.Message,), {
-  'DESCRIPTOR' : _VARIABLEBASE,
-  '__module__' : 'protos.variables_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.VariableBase)
-  })
-_sym_db.RegisterMessage(VariableBase)
-
-TemporaryVariable = _reflection.GeneratedProtocolMessageType('TemporaryVariable', (_message.Message,), {
-  'DESCRIPTOR' : _TEMPORARYVARIABLE,
-  '__module__' : 'protos.variables_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.TemporaryVariable)
-  })
-_sym_db.RegisterMessage(TemporaryVariable)
-
-RegisterVariable = _reflection.GeneratedProtocolMessageType('RegisterVariable', (_message.Message,), {
-  'DESCRIPTOR' : _REGISTERVARIABLE,
-  '__module__' : 'protos.variables_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.RegisterVariable)
-  })
-_sym_db.RegisterMessage(RegisterVariable)
-
-MemoryVariable = _reflection.GeneratedProtocolMessageType('MemoryVariable', (_message.Message,), {
-  'DESCRIPTOR' : _MEMORYVARIABLE,
-  '__module__' : 'protos.variables_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.MemoryVariable)
-  })
-_sym_db.RegisterMessage(MemoryVariable)
-
-StackVariable = _reflection.GeneratedProtocolMessageType('StackVariable', (_message.Message,), {
-  'DESCRIPTOR' : _STACKVARIABLE,
-  '__module__' : 'protos.variables_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.StackVariable)
-  })
-_sym_db.RegisterMessage(StackVariable)
-
-VariableAccess = _reflection.GeneratedProtocolMessageType('VariableAccess', (_message.Message,), {
-  'DESCRIPTOR' : _VARIABLEACCESS,
-  '__module__' : 'protos.variables_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.VariableAccess)
-  })
-_sym_db.RegisterMessage(VariableAccess)
-
-VariableType = _reflection.GeneratedProtocolMessageType('VariableType', (_message.Message,), {
-  'DESCRIPTOR' : _VARIABLETYPE,
-  '__module__' : 'protos.variables_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.VariableType)
-  })
-_sym_db.RegisterMessage(VariableType)
-
-Var2Unified = _reflection.GeneratedProtocolMessageType('Var2Unified', (_message.Message,), {
-  'DESCRIPTOR' : _VAR2UNIFIED,
-  '__module__' : 'protos.variables_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.Var2Unified)
-  })
-_sym_db.RegisterMessage(Var2Unified)
-
-Phi2Var = _reflection.GeneratedProtocolMessageType('Phi2Var', (_message.Message,), {
-  'DESCRIPTOR' : _PHI2VAR,
-  '__module__' : 'protos.variables_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.Phi2Var)
-  })
-_sym_db.RegisterMessage(Phi2Var)
-
-VariableManagerInternal = _reflection.GeneratedProtocolMessageType('VariableManagerInternal', (_message.Message,), {
-  'DESCRIPTOR' : _VARIABLEMANAGERINTERNAL,
-  '__module__' : 'protos.variables_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.VariableManagerInternal)
-  })
-_sym_db.RegisterMessage(VariableManagerInternal)
-
-if _descriptor._USE_C_DESCRIPTORS == False:
-
-  DESCRIPTOR._options = None
-  _VARIABLEBASE._serialized_start=40
-  _VARIABLEBASE._serialized_end=184
-  _TEMPORARYVARIABLE._serialized_start=186
-  _TEMPORARYVARIABLE._serialized_end=262
-  _REGISTERVARIABLE._serialized_start=264
-  _REGISTERVARIABLE._serialized_end=350
-  _MEMORYVARIABLE._serialized_start=352
-  _MEMORYVARIABLE._serialized_end=437
-  _STACKVARIABLE._serialized_start=439
-  _STACKVARIABLE._serialized_end=556
-  _VARIABLEACCESS._serialized_start=559
-  _VARIABLEACCESS._serialized_end=843
-  _VARIABLEACCESS_VARIABLEACCESSSORT._serialized_start=762
-  _VARIABLEACCESS_VARIABLEACCESSSORT._serialized_end=818
-  _VARIABLETYPE._serialized_start=845
-  _VARIABLETYPE._serialized_end=892
-  _VAR2UNIFIED._serialized_start=894
-  _VAR2UNIFIED._serialized_end=953
-  _PHI2VAR._serialized_start=955
-  _PHI2VAR._serialized_end=1002
-  _VARIABLEMANAGERINTERNAL._serialized_start=1005
-  _VARIABLEMANAGERINTERNAL._serialized_end=1619
+DESCRIPTOR = _descriptor_pool.Default().AddSerializedFile(
+    b'\n\x16protos/variables.proto\x12\x0b\x61ngr.protos"\x90\x01\n\x0cVariableBase\x12\r\n\x05ident\x18\x01 \x01(\t\x12\x0c\n\x04name\x18\x02 \x01(\t\x12\x13\n\x06region\x18\x03 \x01(\x04H\x00\x88\x01\x01\x12\x15\n\x08\x63\x61tegory\x18\x04 \x01(\tH\x01\x88\x01\x01\x12\x0f\n\x07renamed\x18\x05 \x01(\x08\x12\x0e\n\x06is_phi\x18\x06 \x01(\x08\x42\t\n\x07_regionB\x0b\n\t_category"L\n\x11TemporaryVariable\x12\'\n\x04\x62\x61se\x18\x01 \x01(\x0b\x32\x19.angr.protos.VariableBase\x12\x0e\n\x06tmp_id\x18\x02 \x01(\r"V\n\x10RegisterVariable\x12\'\n\x04\x62\x61se\x18\x01 \x01(\x0b\x32\x19.angr.protos.VariableBase\x12\x0b\n\x03reg\x18\x02 \x01(\r\x12\x0c\n\x04size\x18\x03 \x01(\r"U\n\x0eMemoryVariable\x12\'\n\x04\x62\x61se\x18\x01 \x01(\x0b\x32\x19.angr.protos.VariableBase\x12\x0c\n\x04\x61\x64\x64r\x18\x02 \x01(\x04\x12\x0c\n\x04size\x18\x03 \x01(\r"u\n\rStackVariable\x12\'\n\x04\x62\x61se\x18\x01 \x01(\x0b\x32\x19.angr.protos.VariableBase\x12\x0c\n\x04\x61\x64\x64r\x18\x02 \x01(\x04\x12\x0c\n\x04size\x18\x03 \x01(\r\x12\x0f\n\x07sp_base\x18\x04 \x01(\x08\x12\x0e\n\x06offset\x18\x05 \x01(\x05"\x9c\x02\n\x0eVariableAccess\x12\r\n\x05ident\x18\x01 \x01(\t\x12\x12\n\nblock_addr\x18\x02 \x01(\x04\x12\x10\n\x08stmt_idx\x18\x03 \x01(\x05\x12\x10\n\x08ins_addr\x18\x04 \x01(\x04\x12\x13\n\x06offset\x18\x05 \x01(\x03H\x00\x88\x01\x01\x12\x43\n\x0b\x61\x63\x63\x65ss_type\x18\x06 \x01(\x0e\x32..angr.protos.VariableAccess.VariableAccessSort\x12\x16\n\tatom_hash\x18\x07 \x01(\rH\x01\x88\x01\x01"8\n\x12VariableAccessSort\x12\t\n\x05WRITE\x10\x00\x12\x08\n\x04READ\x10\x01\x12\r\n\tREFERENCE\x10\x02\x42\t\n\x07_offsetB\x0c\n\n_atom_hash"/\n\x0cVariableType\x12\r\n\x05ident\x18\x01 \x01(\t\x12\x10\n\x08var_type\x18\x02 \x01(\t";\n\x0bVar2Unified\x12\x11\n\tvar_ident\x18\x01 \x01(\t\x12\x19\n\x11unified_var_ident\x18\x02 \x01(\t"/\n\x07Phi2Var\x12\x11\n\tphi_ident\x18\x01 \x01(\t\x12\x11\n\tvar_ident\x18\x02 \x01(\t"\xe6\x04\n\x17VariableManagerInternal\x12\x30\n\x08tempvars\x18\x01 \x03(\x0b\x32\x1e.angr.protos.TemporaryVariable\x12.\n\x07regvars\x18\x02 \x03(\x0b\x32\x1d.angr.protos.RegisterVariable\x12,\n\x07memvars\x18\x03 \x03(\x0b\x32\x1b.angr.protos.MemoryVariable\x12-\n\tstackvars\x18\x04 \x03(\x0b\x32\x1a.angr.protos.StackVariable\x12-\n\x08\x61\x63\x63\x65sses\x18\x05 \x03(\x0b\x32\x1b.angr.protos.VariableAccess\x12\x38\n\x10unified_tempvars\x18\x06 \x03(\x0b\x32\x1e.angr.protos.TemporaryVariable\x12\x36\n\x0funified_regvars\x18\x07 \x03(\x0b\x32\x1d.angr.protos.RegisterVariable\x12\x34\n\x0funified_memvars\x18\x08 \x03(\x0b\x32\x1b.angr.protos.MemoryVariable\x12\x35\n\x11unified_stackvars\x18\t \x03(\x0b\x32\x1a.angr.protos.StackVariable\x12-\n\x0bvar2unified\x18\n \x03(\x0b\x32\x18.angr.protos.Var2Unified\x12(\n\x05types\x18\x0b \x03(\x0b\x32\x19.angr.protos.VariableType\x12%\n\x07phi2var\x18\x0c \x03(\x0b\x32\x14.angr.protos.Phi2Varb\x06proto3'
+)
+
+_globals = globals()
+_builder.BuildMessageAndEnumDescriptors(DESCRIPTOR, _globals)
+_builder.BuildTopDescriptorsAndMessages(DESCRIPTOR, "protos.variables_pb2", _globals)
+if not _descriptor._USE_C_DESCRIPTORS:
+    DESCRIPTOR._loaded_options = None
+    _globals["_VARIABLEBASE"]._serialized_start = 40
+    _globals["_VARIABLEBASE"]._serialized_end = 184
+    _globals["_TEMPORARYVARIABLE"]._serialized_start = 186
+    _globals["_TEMPORARYVARIABLE"]._serialized_end = 262
+    _globals["_REGISTERVARIABLE"]._serialized_start = 264
+    _globals["_REGISTERVARIABLE"]._serialized_end = 350
+    _globals["_MEMORYVARIABLE"]._serialized_start = 352
+    _globals["_MEMORYVARIABLE"]._serialized_end = 437
+    _globals["_STACKVARIABLE"]._serialized_start = 439
+    _globals["_STACKVARIABLE"]._serialized_end = 556
+    _globals["_VARIABLEACCESS"]._serialized_start = 559
+    _globals["_VARIABLEACCESS"]._serialized_end = 843
+    _globals["_VARIABLEACCESS_VARIABLEACCESSSORT"]._serialized_start = 762
+    _globals["_VARIABLEACCESS_VARIABLEACCESSSORT"]._serialized_end = 818
+    _globals["_VARIABLETYPE"]._serialized_start = 845
+    _globals["_VARIABLETYPE"]._serialized_end = 892
+    _globals["_VAR2UNIFIED"]._serialized_start = 894
+    _globals["_VAR2UNIFIED"]._serialized_end = 953
+    _globals["_PHI2VAR"]._serialized_start = 955
+    _globals["_PHI2VAR"]._serialized_end = 1002
+    _globals["_VARIABLEMANAGERINTERNAL"]._serialized_start = 1005
+    _globals["_VARIABLEMANAGERINTERNAL"]._serialized_end = 1619
 # @@protoc_insertion_point(module_scope)

angr/protos/xrefs_pb2.py

@@ -1,11 +1,16 @@
 # Generated by the protocol buffer compiler.  DO NOT EDIT!
+# NO CHECKED-IN PROTOBUF GENCODE
 # source: protos/xrefs.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/xrefs.proto")
 # @@protoc_insertion_point(imports)
 
 _sym_db = _symbol_database.Default()
@@ -14,21 +19,15 @@ _sym_db = _symbol_database.Default()
 from . import primitives_pb2 as protos_dot_primitives__pb2
 
 
-DESCRIPTOR = _descriptor_pool.Default().AddSerializedFile(b'\n\x12protos/xrefs.proto\x12\x0b\x61ngr.protos\x1a\x17protos/primitives.proto\"2\n\x05XRefs\x12)\n\x05xrefs\x18\x01 \x03(\x0b\x32\x1a.angr.protos.CodeReferenceb\x06proto3')
-
-
-
-_XREFS = DESCRIPTOR.message_types_by_name['XRefs']
-XRefs = _reflection.GeneratedProtocolMessageType('XRefs', (_message.Message,), {
-  'DESCRIPTOR' : _XREFS,
-  '__module__' : 'protos.xrefs_pb2'
-  # @@protoc_insertion_point(class_scope:angr.protos.XRefs)
-  })
-_sym_db.RegisterMessage(XRefs)
-
-if _descriptor._USE_C_DESCRIPTORS == False:
+DESCRIPTOR = _descriptor_pool.Default().AddSerializedFile(
+    b'\n\x12protos/xrefs.proto\x12\x0b\x61ngr.protos\x1a\x17protos/primitives.proto"2\n\x05XRefs\x12)\n\x05xrefs\x18\x01 \x03(\x0b\x32\x1a.angr.protos.CodeReferenceb\x06proto3'
+)
 
-  DESCRIPTOR._options = None
-  _XREFS._serialized_start=60
-  _XREFS._serialized_end=110
+_globals = globals()
+_builder.BuildMessageAndEnumDescriptors(DESCRIPTOR, _globals)
+_builder.BuildTopDescriptorsAndMessages(DESCRIPTOR, "protos.xrefs_pb2", _globals)
+if not _descriptor._USE_C_DESCRIPTORS:
+    DESCRIPTOR._loaded_options = None
+    _globals["_XREFS"]._serialized_start = 60
+    _globals["_XREFS"]._serialized_end = 110
 # @@protoc_insertion_point(module_scope)

angr/sim_options.py

@@ -232,10 +232,6 @@ KEEP_IP_SYMBOLIC = "KEEP_IP_SYMBOLIC"
 # Do not try to concretize a symbolic IP. With this option, all states with symbolic IPs will be seen as unconstrained.
 NO_IP_CONCRETIZATION = "NO_IP_CONCRETIZATION"
 
-# Do not union values from different locations when reading from the memory for a reduced loss in precision
-# It is only applied to SimAbstractMemory
-KEEP_MEMORY_READS_DISCRETE = "KEEP_MEMORY_READS_DISCRETE"
-
 # Raise a SimSegfaultError on illegal memory accesses
 STRICT_PAGE_ACCESS = "STRICT_PAGE_ACCESS"
 

angr/sim_state.py

@@ -485,92 +485,18 @@ class SimState(PluginHub):
         """
         return self.solver.simplify(*args)
 
-    def add_constraints(self, *args, **kwargs):
+    def add_constraints(self, *constraints):
         """
         Add some constraints to the state.
 
         You may pass in any number of symbolic booleans as variadic positional arguments.
         """
-        if len(args) > 0 and isinstance(args[0], (list, tuple)):
-            raise Exception("Tuple or list passed to add_constraints!")
-
-        if o.TRACK_CONSTRAINTS in self.options and len(args) > 0:
-            constraints = [self.simplify(a) for a in args] if o.SIMPLIFY_CONSTRAINTS in self.options else args
-
-            self._inspect("constraints", BP_BEFORE, added_constraints=constraints)
-            constraints = self._inspect_getattr("added_constraints", constraints)
-            added = self.solver.add(*constraints)
-            self._inspect("constraints", BP_AFTER)
-
-            # add actions for the added constraints
-            if o.TRACK_CONSTRAINT_ACTIONS in self.options:
-                for c in added:
-                    sac = SimActionConstraint(self, c)
-                    self.history.add_action(sac)
-        else:
-            # preserve the old action logic for when we don't track constraints (why?)
-            if "action" in kwargs and kwargs["action"] and o.TRACK_CONSTRAINT_ACTIONS in self.options and len(args) > 0:
-                for arg in args:
-                    if self.solver.symbolic(arg):
-                        sac = SimActionConstraint(self, arg)
-                        self.history.add_action(sac)
-
-        if o.ABSTRACT_SOLVER in self.options and len(args) > 0:
-            for arg in args:
-                if self.solver.is_false(arg):
-                    self._satisfiable = False
-                    return
-
-                if self.solver.is_true(arg):
-                    continue
-
-                # It's neither True or False. Let's try to apply the condition
-
-                # We take the argument, extract a list of constrained SIs out of it (if we could, of course), and
-                # then replace each original SI the intersection of original SI and the constrained one.
-
-                _, converted = claripy.constraint_to_si(arg)
-
-                for original_expr, constrained_si in converted:
-                    if not original_expr.variables:
-                        l.error(
-                            "Incorrect original_expression to replace in add_constraints(). "
-                            "This is due to defects in VSA logics inside claripy. Please report "
-                            "to Fish and he will fix it if he's free."
-                        )
-                        continue
-
-                    new_expr = constrained_si
-                    self.registers.replace_all(original_expr, new_expr)
-                    self.memory.replace_all(original_expr, new_expr)
-                    # tmps
-                    temps = self.scratch.temps
-                    for idx in range(len(temps)):  # pylint:disable=consider-using-enumerate
-                        t = temps[idx]
-                        if t is None:
-                            continue
-                        if t.variables.intersection(original_expr.variables):
-                            # replace
-                            temps[idx] = t.replace(original_expr, new_expr)
-
-                    l.debug("SimState.add_constraints: Applied to final state.")
-        elif o.SYMBOLIC not in self.options and len(args) > 0:
-            for arg in args:
-                if self.solver.is_false(arg):
-                    self._satisfiable = False
-                    return
+        return self.solver.add(*constraints)
 
     def satisfiable(self, **kwargs):
         """
         Whether the state's constraints are satisfiable
         """
-        if o.ABSTRACT_SOLVER in self.options or o.SYMBOLIC not in self.options:
-            extra_constraints = kwargs.pop("extra_constraints", ())
-            for e in extra_constraints:
-                if self.solver.is_false(e):
-                    return False
-
-            return self._satisfiable
         return self.solver.satisfiable(**kwargs)
 
     def downsize(self):
@@ -975,5 +901,3 @@ default_state_plugin_preset = PluginPreset()
 SimState.register_preset("default", default_state_plugin_preset)
 
 from .state_plugins.history import SimStateHistory
-from .state_plugins.inspect import BP_AFTER, BP_BEFORE
-from .state_plugins.sim_action import SimActionConstraint