56 		cil_log(CIL_ERR, "Name length greater than max name length of %d",   in __cil_verify_name()
63 			cil_log(CIL_ERR, "First character in %s is not a letter\n", name);  in __cil_verify_name()
69 			cil_log(CIL_ERR, "Invalid character \"%c\" in %s\n", name[i], name);  in __cil_verify_name()
76 	cil_log(CIL_ERR, "Invalid name\n");  in __cil_verify_name()
142 	cil_log(CIL_ERR, "Invalid syntax\n");  in __cil_verify_syntax()
169 			cil_log(CIL_ERR,"Invalid operator (%s) for set expression\n", (char*)current->data);  in cil_verify_expr_syntax()
175 …cil_log(CIL_ERR,"Invalid operator (%s) for boolean or tunable expression\n", (char*)current->data);  in cil_verify_expr_syntax()
183 			cil_log(CIL_ERR,"Operator (%s) only valid for catset expression\n", (char*)current->data);  in cil_verify_expr_syntax()
195 		cil_log(CIL_ERR,"Unexpected value (%s) for expression operator\n", (char*)current->data);  in cil_verify_expr_syntax()
214 …cil_log(CIL_ERR, "l1, l2, h1, and h2 cannot be used on the left side with a string or list on the …  in cil_verify_constraint_leaf_expr_syntax()
218 				cil_log(CIL_ERR, "u3, r3, and t3 can only be used with mlsvalidatetrans rules\n");  in cil_verify_constraint_leaf_expr_syntax()
225 				cil_log(CIL_ERR, "u2 on the right side must be used with eq or neq as the operator\n");  in cil_verify_constraint_leaf_expr_syntax()
228 				cil_log(CIL_ERR, "u2 on the right side must be used with u1 on the left\n");  in cil_verify_constraint_leaf_expr_syntax()
233 				cil_log(CIL_ERR, "r2 on the right side must be used with r1 on the left\n");  in cil_verify_constraint_leaf_expr_syntax()
238 				cil_log(CIL_ERR, "t2 on the right side must be used with eq or neq as the operator\n");  in cil_verify_constraint_leaf_expr_syntax()
241 				cil_log(CIL_ERR, "t2 on the right side must be used with t1 on the left\n");  in cil_verify_constraint_leaf_expr_syntax()
246 				cil_log(CIL_ERR, "l2 on the right side must be used with l1 or h1 on the left\n");  in cil_verify_constraint_leaf_expr_syntax()
251 				cil_log(CIL_ERR, "h2 on the right side must be used with l1, l2, or h1 on the left\n");  in cil_verify_constraint_leaf_expr_syntax()
256 				cil_log(CIL_ERR, "h1 on the right side must be used with l1 on the left\n");  in cil_verify_constraint_leaf_expr_syntax()
301 		cil_log(CIL_ERR, "Invalid operator (%s) for constraint expression\n", (char*)current->data);  in cil_verify_constraint_expr_syntax()
307 		cil_log(CIL_ERR, "Invalid constraint syntax\n");  in cil_verify_constraint_expr_syntax()
325 				cil_log(CIL_ERR,"Self-reference found for %s\n",datum->name);  in cil_verify_no_self_reference()
362 	cil_log(CIL_ERR,"Invalid Range syntax\n");  in __cil_verify_ranges()
379 …cil_log(CIL_ERR, "SID %s not in sidorder statement at line %d of %s\n", sid->datum.name, node->lin…  in __cil_verify_ordered_node_helper()
385 …cil_log(CIL_ERR, "Class %s not in classorder statement at line %d of %s\n", class->datum.name, nod…  in __cil_verify_ordered_node_helper()
391 …cil_log(CIL_ERR, "Category %s not in categoryorder statement at line %d of %s\n", cat->datum.name,…  in __cil_verify_ordered_node_helper()
397 …cil_log(CIL_ERR, "Sensitivity %s not in sensitivityorder statement at line %d of %s\n", sens->datu…  in __cil_verify_ordered_node_helper()
424 		cil_log(CIL_ERR, "At least one initial sid must be defined in the policy\n");  in __cil_verify_initsids()
432 …cil_log(CIL_ERR, "No context assigned to SID %s declared at line %d in %s\n",sid->datum.name, node…  in __cil_verify_initsids()
458 		cil_log(CIL_ERR, "Failed to find category %s in category list\n", cat->datum.name);  in __cil_verify_cat_in_cats()
475 		cil_log(CIL_ERR, "No categories can be used with sensitivity %s\n", sens->datum.name);  in __cil_verify_cats_associated_with_sens()
490 			cil_log(CIL_ERR, "Category %s cannot be used with sensitivity %s\n",   in __cil_verify_cats_associated_with_sens()
522 	cil_log(CIL_ERR, "Sensitivity %s does not dominate %s\n",   in __cil_verify_levelrange_sensitivity()
552 	cil_log(CIL_ERR, "Low level category set must be a subset of the high level category set\n");  in __cil_verify_levelrange_cats()
572 		cil_log(CIL_ERR, "Low level sensitivity and categories are not associated\n");  in __cil_verify_levelrange()
578 		cil_log(CIL_ERR, "High level sensitivity and categories are not associated\n");  in __cil_verify_levelrange()
600 	cil_log(CIL_ERR, "Invalid named range at line %d of %s\n", node->line, node->path);  in __cil_verify_named_levelrange()
610 		cil_log(CIL_ERR, "User %s does not have a default level\n", user->datum.name);  in __cil_verify_user()
613 		cil_log(CIL_ERR, "User %s does not have a level range\n", user->datum.name);  in __cil_verify_user()
623 				cil_log(CIL_ERR, "Circular bounds found for user %s\n", u1->datum.name);  in __cil_verify_user()
648 	cil_log(CIL_ERR, "Invalid user at line %d of %s\n", node->line, node->path);  in __cil_verify_user()
663 			cil_log(CIL_ERR, "Circular bounds found for role %s\n", r1->datum.name);  in __cil_verify_role()
679 	cil_log(CIL_ERR, "Invalid role at line %d of %s\n", node->line, node->path);  in __cil_verify_role()
694 			cil_log(CIL_ERR, "Circular bounds found for type %s\n", t1->datum.name);  in __cil_verify_type()
710 	cil_log(CIL_ERR, "Invalid type at line %d of %s\n", node->line, node->path);  in __cil_verify_type()
737 			cil_log(CIL_ERR, "Role %s is invalid for user %s\n",  in __cil_verify_context()
743 		cil_log(CIL_ERR, "No roles given to the user %s\n", ctx->user_str);  in __cil_verify_context()
750 			cil_log(CIL_ERR, "Type %s is invalid for role %s\n", ctx->type_str, ctx->role_str);  in __cil_verify_context()
755 		cil_log(CIL_ERR, "No types associated with role %s\n", ctx->role_str);  in __cil_verify_context()
775 				cil_log(CIL_ERR, "Range %s is invalid for user %s\n",   in __cil_verify_context()
786 				cil_log(CIL_ERR, "Range %s is invalid for user %s\n",   in __cil_verify_context()
796 	cil_log(CIL_ERR, "Invalid context\n");  in __cil_verify_context()
812 	cil_log(CIL_ERR, "Invalid named context at line %d of %s\n", node->line, node->path);  in __cil_verify_named_context()
851 			cil_log(CIL_ERR, "Duplicate rule defined on line %d of %s\n",   in __cil_verify_rule()
860 	cil_log(CIL_ERR, "Invalid rule at line %d of %s\n", node->line, node->path);  in __cil_verify_rule()
876 …cil_log(CIL_ERR, "Neverallow found in tunableif block (treated as a booleanif due to preserve-tuna…  in __cil_verify_booleanif_helper()
879 				cil_log(CIL_ERR, "Neverallow found in booleanif block at line %d or %s\n",  in __cil_verify_booleanif_helper()
941 …cil_log(CIL_ERR, "Invalid %s statement in tunableif (treated as a booleanif due to preserve-tunabl…  in __cil_verify_booleanif_helper()
944 			cil_log(CIL_ERR, "Invalid %s statement in booleanif at line %d of %s\n",  in __cil_verify_booleanif_helper()
973 …cil_log(CIL_ERR, "Invalid tunableif (treated as a booleanif due to preserve-tunables) at line %d o…  in __cil_verify_booleanif()
975 		cil_log(CIL_ERR, "Invalid booleanif at line %d of %s\n", node->line, node->path);  in __cil_verify_booleanif()
1006 	cil_log(CIL_ERR, "Invalid netifcon at line %d of %s\n", node->line, node->path);  in __cil_verify_netifcon()
1027 	cil_log(CIL_ERR, "Invalid genfscon at line %d of %s\n", node->line, node->path);  in __cil_verify_genfscon()
1046 			cil_log(CIL_ERR, "Invalid filecon at line %d of %s\n",   in __cil_verify_filecon()
1075 	cil_log(CIL_ERR, "Invalid nodecon at line %d of %s\n", node->line, node->path);  in __cil_verify_nodecon()
1096 	cil_log(CIL_ERR, "Invalid portcon at line %d of %s\n", node->line, node->path);  in __cil_verify_portcon()
1117 	cil_log(CIL_ERR, "Invalid pirqcon at line %d of %s\n", node->line, node->path);  in __cil_verify_pirqcon()
1138 	cil_log(CIL_ERR, "Invalid iomemcon at line %d of %s\n", node->line, node->path);  in __cil_verify_iomemcon()
1159 	cil_log(CIL_ERR, "Invalid ioportcon at line %d of %s\n", node->line, node->path);  in __cil_verify_ioportcon()
1180 	cil_log(CIL_ERR, "Invalid pcidevicecon at line %d of %s\n", node->line, node->path);  in __cil_verify_pcidevicecon()
1201 	cil_log(CIL_ERR, "Invalid devicetreecon at line %d of %s\n", node->line, node->path);  in __cil_verify_devicetreecon()
1222 	cil_log(CIL_ERR, "Invalid fsuse at line %d of %s\n", node->line, node->path);  in __cil_verify_fsuse()
1248 …cil_log(CIL_ERR, "Duplicate permissions between %s common and class declarations\n", class_perm->d…  in __cil_verify_class()
1258 	cil_log(CIL_ERR, "Invalid class at line %d of %s\n", node->line, node->path);  in __cil_verify_class()
1275 	cil_log(CIL_ERR, "Invalid policycap (%s) at line %d of %s\n",   in __cil_verify_policycap()
1339 				cil_log(CIL_ERR, "Policy can not have more than one handleunknown\n");  in __cil_verify_helper()
1348 				cil_log(CIL_ERR, "Policy can not have more than one mls\n");  in __cil_verify_helper()
1488 …cil_log(CIL_ERR, "Found circular class permissions involving the set %s at line %d of %s\n",cp->da…  in __cil_verify_classpermission()
1509 …cil_log(CIL_ERR, "Found circular class permissions involving the map class %s and permission %s at…  in __verify_map_perm_classperms()
1573 		cil_log(CIL_ERR, "Failed to verify no loops in class permissions\n");  in cil_verify_no_classperms_loop()