25 #include "dbus-internals.h"
26 #include "dbus-marshal-validate.h"
27 #include "dbus-marshal-recursive.h"
28 #include "dbus-marshal-basic.h"
29 #include "dbus-signature.h"
30 #include "dbus-string.h"
55 const unsigned char *p;
56 const unsigned char *end;
67 element_count_stack =
NULL;
82 result = DBUS_INVALID_SIGNATURE_TOO_LONG;
118 result = DBUS_INVALID_EXCEEDED_MAXIMUM_ARRAY_RECURSION;
128 result = DBUS_INVALID_EXCEEDED_MAXIMUM_STRUCT_RECURSION;
142 if (struct_depth == 0)
144 result = DBUS_INVALID_STRUCT_ENDED_BUT_NOT_STARTED;
150 result = DBUS_INVALID_STRUCT_HAS_NO_FIELDS;
162 result = DBUS_INVALID_DICT_ENTRY_NOT_INSIDE_ARRAY;
166 dict_entry_depth += 1;
170 result = DBUS_INVALID_EXCEEDED_MAXIMUM_DICT_ENTRY_RECURSION;
184 if (dict_entry_depth == 0)
186 result = DBUS_INVALID_DICT_ENTRY_ENDED_BUT_NOT_STARTED;
190 dict_entry_depth -= 1;
195 if (element_count != 2)
197 if (element_count == 0)
198 result = DBUS_INVALID_DICT_ENTRY_HAS_NO_FIELDS;
199 else if (element_count == 1)
200 result = DBUS_INVALID_DICT_ENTRY_HAS_ONLY_ONE_FIELD;
202 result = DBUS_INVALID_DICT_ENTRY_HAS_TOO_MANY_FIELDS;
211 result = DBUS_INVALID_UNKNOWN_TYPECODE;
241 result = DBUS_INVALID_MISSING_ARRAY_ELEMENT_TYPE;
255 result = DBUS_INVALID_DICT_KEY_MUST_BE_BASIC_TYPE;
267 result = DBUS_INVALID_MISSING_ARRAY_ELEMENT_TYPE;
271 if (struct_depth > 0)
273 result = DBUS_INVALID_STRUCT_STARTED_BUT_NOT_ENDED;
277 if (dict_entry_depth > 0)
279 result = DBUS_INVALID_DICT_ENTRY_STARTED_BUT_NOT_ENDED;
302 const unsigned char *p,
303 const unsigned char *end,
304 const unsigned char **new_p)
315 return DBUS_INVALID_NESTED_TOO_DEEPLY;
320 const unsigned char *a;
324 _dbus_verbose (
" validating value of type %s type reader %p type_pos %d p %p end %p %d remain\n",
331 return DBUS_INVALID_NOT_ENOUGH_DATA;
333 switch (current_type)
349 a = _DBUS_ALIGN_ADDRESS (p, alignment);
351 return DBUS_INVALID_NOT_ENOUGH_DATA;
355 return DBUS_INVALID_ALIGNMENT_PADDING_NOT_NUL;
363 if (!(v == 0 || v == 1))
364 return DBUS_INVALID_BOOLEAN_NOT_ZERO_OR_ONE;
376 a = _DBUS_ALIGN_ADDRESS (p, 4);
378 return DBUS_INVALID_NOT_ENOUGH_DATA;
382 return DBUS_INVALID_ALIGNMENT_PADDING_NOT_NUL;
398 return DBUS_INVALID_UNKNOWN_TYPECODE;
403 a = _DBUS_ALIGN_ADDRESS (p, alignment);
407 return DBUS_INVALID_NOT_ENOUGH_DATA;
412 return DBUS_INVALID_ALIGNMENT_PADDING_NOT_NUL;
417 if (claimed_len > (
unsigned long) (end - p))
418 return DBUS_INVALID_LENGTH_OUT_OF_BOUNDS;
426 return DBUS_INVALID_BAD_PATH;
436 return DBUS_INVALID_BAD_UTF8_IN_STRING;
444 const unsigned char *array_end;
448 return DBUS_INVALID_ARRAY_LENGTH_EXCEEDS_MAXIMUM;
456 array_end = p + claimed_len;
473 while (p < array_end)
477 if (!(v == 0 || v == 1))
478 return DBUS_INVALID_BOOLEAN_NOT_ZERO_OR_ONE;
492 while (p < array_end)
494 validity = validate_body_helper (&sub, byte_order,
FALSE,
503 return DBUS_INVALID_ARRAY_LENGTH_INCORRECT;
510 return DBUS_INVALID_NOT_ENOUGH_DATA;
513 return DBUS_INVALID_STRING_MISSING_NUL;
529 if (claimed_len + 1 > (
unsigned long) (end - p))
530 return DBUS_INVALID_SIGNATURE_LENGTH_OUT_OF_BOUNDS;
544 return DBUS_INVALID_SIGNATURE_MISSING_NUL;
548 _dbus_verbose (
"p = %p end = %p claimed_len %u\n", p, end, claimed_len);
565 int contained_alignment;
573 if (claimed_len + 1 > (
unsigned long) (end - p))
574 return DBUS_INVALID_VARIANT_SIGNATURE_LENGTH_OUT_OF_BOUNDS;
584 return DBUS_INVALID_VARIANT_SIGNATURE_BAD;
590 return DBUS_INVALID_VARIANT_SIGNATURE_MISSING_NUL;
595 return DBUS_INVALID_VARIANT_SIGNATURE_EMPTY;
599 a = _DBUS_ALIGN_ADDRESS (p, contained_alignment);
601 return DBUS_INVALID_NOT_ENOUGH_DATA;
605 return DBUS_INVALID_ALIGNMENT_PADDING_NOT_NUL;
613 validity = validate_body_helper (&sub, byte_order,
FALSE,
620 return DBUS_INVALID_VARIANT_SIGNATURE_SPECIFIES_MULTIPLE_VALUES;
632 a = _DBUS_ALIGN_ADDRESS (p, 8);
634 return DBUS_INVALID_NOT_ENOUGH_DATA;
638 return DBUS_INVALID_ALIGNMENT_PADDING_NOT_NUL;
644 validity = validate_body_helper (&sub, byte_order,
TRUE,
658 _dbus_verbose (
" validated value of type %s type reader %p type_pos %d p %p end %p %d remain\n",
665 _dbus_verbose (
"not enough data!!! p = %p end = %p end-p = %d\n",
666 p, end, (
int) (end - p));
667 return DBUS_INVALID_NOT_ENOUGH_DATA;
670 if (walk_reader_to_end)
704 int expected_signature_start,
706 int *bytes_remaining,
712 const unsigned char *p;
713 const unsigned char *end;
720 _dbus_verbose (
"validating body from pos %d len %d sig '%s'\n",
722 expected_signature_start,
726 expected_signature, expected_signature_start);
731 validity = validate_body_helper (&reader, byte_order,
TRUE, 0, p, end, &p);
737 *bytes_remaining = end - p;
753 #define VALID_INITIAL_NAME_CHARACTER(c) \
754 ( ((c) >= 'A' && (c) <= 'Z') || \
755 ((c) >= 'a' && (c) <= 'z') || \
762 #define VALID_NAME_CHARACTER(c) \
763 ( ((c) >= '0' && (c) <= '9') || \
764 ((c) >= 'A' && (c) <= 'Z') || \
765 ((c) >= 'a' && (c) <= 'z') || \
789 const unsigned char *s;
790 const unsigned char *end;
791 const unsigned char *last_slash;
815 if ((s - last_slash) < 2)
829 if ((end - last_slash) < 2 &&
842 case DBUS_INVALID_FOR_UNKNOWN_REASON:
return "Unknown reason";
843 case DBUS_VALID_BUT_INCOMPLETE:
return "Valid but incomplete";
844 case DBUS_VALIDITY_UNKNOWN:
return "Validity unknown";
846 case DBUS_INVALID_UNKNOWN_TYPECODE:
return "Unknown typecode";
847 case DBUS_INVALID_MISSING_ARRAY_ELEMENT_TYPE:
return "Missing array element type";
848 case DBUS_INVALID_SIGNATURE_TOO_LONG:
return "Signature is too long";
849 case DBUS_INVALID_EXCEEDED_MAXIMUM_ARRAY_RECURSION:
return "Exceeded maximum array recursion";
850 case DBUS_INVALID_EXCEEDED_MAXIMUM_STRUCT_RECURSION:
return "Exceeded maximum struct recursion";
851 case DBUS_INVALID_STRUCT_ENDED_BUT_NOT_STARTED:
return "Struct ended but not started";
852 case DBUS_INVALID_STRUCT_STARTED_BUT_NOT_ENDED:
return "Struct started but not ended";
853 case DBUS_INVALID_STRUCT_HAS_NO_FIELDS:
return "Struct has no fields";
854 case DBUS_INVALID_ALIGNMENT_PADDING_NOT_NUL:
return "Alignment padding not null";
855 case DBUS_INVALID_BOOLEAN_NOT_ZERO_OR_ONE:
return "Boolean is not zero or one";
856 case DBUS_INVALID_NOT_ENOUGH_DATA:
return "Not enough data";
858 case DBUS_INVALID_BAD_BYTE_ORDER:
return "Bad byte order";
859 case DBUS_INVALID_BAD_PROTOCOL_VERSION:
return "Bad protocol version";
860 case DBUS_INVALID_BAD_MESSAGE_TYPE:
return "Bad message type";
861 case DBUS_INVALID_BAD_SERIAL:
return "Bad serial";
862 case DBUS_INVALID_INSANE_FIELDS_ARRAY_LENGTH:
return "Insane fields array length";
863 case DBUS_INVALID_INSANE_BODY_LENGTH:
return "Insane body length";
864 case DBUS_INVALID_MESSAGE_TOO_LONG:
return "Message too long";
865 case DBUS_INVALID_HEADER_FIELD_CODE:
return "Header field code";
866 case DBUS_INVALID_HEADER_FIELD_HAS_WRONG_TYPE:
return "Header field has wrong type";
867 case DBUS_INVALID_USES_LOCAL_INTERFACE:
return "Uses local interface";
868 case DBUS_INVALID_USES_LOCAL_PATH:
return "Uses local path";
869 case DBUS_INVALID_HEADER_FIELD_APPEARS_TWICE:
return "Header field appears twice";
870 case DBUS_INVALID_BAD_DESTINATION:
return "Bad destination";
871 case DBUS_INVALID_BAD_INTERFACE:
return "Bad interface";
872 case DBUS_INVALID_BAD_MEMBER:
return "Bad member";
873 case DBUS_INVALID_BAD_ERROR_NAME:
return "Bad error name";
874 case DBUS_INVALID_BAD_SENDER:
return "Bad sender";
875 case DBUS_INVALID_MISSING_PATH:
return "Missing path";
876 case DBUS_INVALID_MISSING_INTERFACE:
return "Missing interface";
877 case DBUS_INVALID_MISSING_MEMBER:
return "Missing member";
878 case DBUS_INVALID_MISSING_ERROR_NAME:
return "Missing error name";
879 case DBUS_INVALID_MISSING_REPLY_SERIAL:
return "Missing reply serial";
880 case DBUS_INVALID_LENGTH_OUT_OF_BOUNDS:
return "Length out of bounds";
881 case DBUS_INVALID_ARRAY_LENGTH_EXCEEDS_MAXIMUM:
return "Array length exceeds maximum";
882 case DBUS_INVALID_BAD_PATH:
return "Bad path";
883 case DBUS_INVALID_SIGNATURE_LENGTH_OUT_OF_BOUNDS:
return "Signature length out of bounds";
884 case DBUS_INVALID_BAD_UTF8_IN_STRING:
return "Bad utf8 in string";
885 case DBUS_INVALID_ARRAY_LENGTH_INCORRECT:
return "Array length incorrect";
886 case DBUS_INVALID_VARIANT_SIGNATURE_LENGTH_OUT_OF_BOUNDS:
return "Variant signature length out of bounds";
887 case DBUS_INVALID_VARIANT_SIGNATURE_BAD:
return "Variant signature bad";
888 case DBUS_INVALID_VARIANT_SIGNATURE_EMPTY:
return "Variant signature empty";
889 case DBUS_INVALID_VARIANT_SIGNATURE_SPECIFIES_MULTIPLE_VALUES:
return "Variant signature specifies multiple values";
890 case DBUS_INVALID_VARIANT_SIGNATURE_MISSING_NUL:
return "Variant signature missing nul";
891 case DBUS_INVALID_STRING_MISSING_NUL:
return "String missing nul";
892 case DBUS_INVALID_SIGNATURE_MISSING_NUL:
return "Signature missing nul";
893 case DBUS_INVALID_EXCEEDED_MAXIMUM_DICT_ENTRY_RECURSION:
return "Exceeded maximum dict entry recursion";
894 case DBUS_INVALID_DICT_ENTRY_ENDED_BUT_NOT_STARTED:
return "Dict entry ended but not started";
895 case DBUS_INVALID_DICT_ENTRY_STARTED_BUT_NOT_ENDED:
return "Dict entry started but not ended";
896 case DBUS_INVALID_DICT_ENTRY_HAS_NO_FIELDS:
return "Dict entry has no fields";
897 case DBUS_INVALID_DICT_ENTRY_HAS_ONLY_ONE_FIELD:
return "Dict entry has only one field";
898 case DBUS_INVALID_DICT_ENTRY_HAS_TOO_MANY_FIELDS:
return "Dict entry has too many fields";
899 case DBUS_INVALID_DICT_ENTRY_NOT_INSIDE_ARRAY:
return "Dict entry not inside array";
900 case DBUS_INVALID_DICT_KEY_MUST_BE_BASIC_TYPE:
return "Dict key must be basic type";
901 case DBUS_INVALID_NESTED_TOO_DEEPLY:
return "Variants cannot be used to create a hugely recursive tree of values";
925 const unsigned char *s;
926 const unsigned char *end;
927 const unsigned char *iface;
928 const unsigned char *last_dot;
951 if (_DBUS_UNLIKELY (*s ==
'.'))
962 if (_DBUS_UNLIKELY ((s + 1) == end))
977 if (_DBUS_UNLIKELY (last_dot ==
NULL))
1001 const unsigned char *s;
1002 const unsigned char *end;
1003 const unsigned char *member;
1070 #define VALID_INITIAL_BUS_NAME_CHARACTER(c) \
1071 ( ((c) >= 'A' && (c) <= 'Z') || \
1072 ((c) >= 'a' && (c) <= 'z') || \
1073 ((c) == '_') || ((c) == '-'))
1079 #define VALID_BUS_NAME_CHARACTER(c) \
1080 ( ((c) >= '0' && (c) <= '9') || \
1081 ((c) >= 'A' && (c) <= 'Z') || \
1082 ((c) >= 'a' && (c) <= 'z') || \
1083 ((c) == '_') || ((c) == '-'))
1103 const unsigned char *s;
1104 const unsigned char *end;
1105 const unsigned char *iface;
1106 const unsigned char *last_dot;
1137 if (_DBUS_UNLIKELY ((s + 1) == end))
1153 else if (_DBUS_UNLIKELY (*s ==
'.'))
1164 if (_DBUS_UNLIKELY ((s + 1) == end))
1179 if (_DBUS_UNLIKELY (last_dot ==
NULL))