57 		cil_log(CIL_ERR, "Name is NULL\n");  in __cil_verify_name()
63 		cil_log(CIL_ERR, "Name length greater than max name length of %d",   in __cil_verify_name()
70 			cil_log(CIL_ERR, "First character in %s is not a letter\n", name);  in __cil_verify_name()
76 			cil_log(CIL_ERR, "Invalid character \"%c\" in %s\n", name[i], name);  in __cil_verify_name()
83 	cil_log(CIL_ERR, "Invalid name\n");  in __cil_verify_name()
149 	cil_log(CIL_ERR, "Invalid syntax\n");  in __cil_verify_syntax()
176 			cil_log(CIL_ERR,"Invalid operator (%s) for set expression\n", (char*)current->data);  in cil_verify_expr_syntax()
182 …cil_log(CIL_ERR,"Invalid operator (%s) for boolean or tunable expression\n", (char*)current->data);  in cil_verify_expr_syntax()
190 …cil_log(CIL_ERR,"Operator (%s) only valid for catset and permissionx expression\n", (char*)current…  in cil_verify_expr_syntax()
202 		cil_log(CIL_ERR,"Unexpected value (%s) for expression operator\n", (char*)current->data);  in cil_verify_expr_syntax()
221 …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()
225 				cil_log(CIL_ERR, "u3, r3, and t3 can only be used with mlsvalidatetrans rules\n");  in cil_verify_constraint_leaf_expr_syntax()
232 				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()
235 				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()
240 				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()
245 				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()
248 				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()
253 				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()
258 				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()
263 				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()
308 		cil_log(CIL_ERR, "Invalid operator (%s) for constraint expression\n", (char*)current->data);  in cil_verify_constraint_expr_syntax()
314 		cil_log(CIL_ERR, "Invalid constraint syntax\n");  in cil_verify_constraint_expr_syntax()
332 				cil_log(CIL_ERR,"Self-reference found for %s\n",datum->name);  in cil_verify_no_self_reference()
369 	cil_log(CIL_ERR,"Invalid Range syntax\n");  in __cil_verify_ranges()
386 				cil_tree_log(node, CIL_ERR, "SID %s not in sidorder statement", sid->datum.name);  in __cil_verify_ordered_node_helper()
392 				cil_tree_log(node, CIL_ERR, "Class %s not in classorder statement", class->datum.name);  in __cil_verify_ordered_node_helper()
398 				cil_tree_log(node, CIL_ERR, "Category %s not in categoryorder statement", cat->datum.name);  in __cil_verify_ordered_node_helper()
404 …	cil_tree_log(node, CIL_ERR, "Sensitivity %s not in sensitivityorder statement", sens->datum.name);  in __cil_verify_ordered_node_helper()
431 		cil_log(CIL_ERR, "At least one initial sid must be defined in the policy\n");  in __cil_verify_initsids()
439 			cil_tree_log(node, CIL_ERR, "No context assigned to SID %s declared",sid->datum.name);  in __cil_verify_initsids()
465 		cil_log(CIL_ERR, "Failed to find category %s in category list\n", cat->datum.name);  in __cil_verify_cat_in_cats()
482 		cil_log(CIL_ERR, "No categories can be used with sensitivity %s\n", sens->datum.name);  in __cil_verify_cats_associated_with_sens()
497 			cil_log(CIL_ERR, "Category %s cannot be used with sensitivity %s\n",   in __cil_verify_cats_associated_with_sens()
529 	cil_log(CIL_ERR, "Sensitivity %s does not dominate %s\n",   in __cil_verify_levelrange_sensitivity()
559 	cil_log(CIL_ERR, "Low level category set must be a subset of the high level category set\n");  in __cil_verify_levelrange_cats()
579 		cil_log(CIL_ERR, "Low level sensitivity and categories are not associated\n");  in __cil_verify_levelrange()
585 		cil_log(CIL_ERR, "High level sensitivity and categories are not associated\n");  in __cil_verify_levelrange()
607 	cil_tree_log(node, CIL_ERR, "Invalid named range");  in __cil_verify_named_levelrange()
617 		cil_log(CIL_ERR, "User %s does not have a default level\n", user->datum.name);  in __cil_verify_user_pre_eval()
620 		cil_log(CIL_ERR, "User %s does not have a level range\n", user->datum.name);  in __cil_verify_user_pre_eval()
630 				cil_log(CIL_ERR, "Circular bounds found for user %s\n", u1->datum.name);  in __cil_verify_user_pre_eval()
647 	cil_tree_log(node, CIL_ERR, "Invalid user");  in __cil_verify_user_pre_eval()
666 	cil_tree_log(node, CIL_ERR, "Invalid user");  in __cil_verify_user_post_eval()
681 			cil_log(CIL_ERR, "Circular bounds found for role %s\n", r1->datum.name);  in __cil_verify_role()
697 	cil_tree_log(node, CIL_ERR, "Invalid role");  in __cil_verify_role()
712 			cil_log(CIL_ERR, "Circular bounds found for type %s\n", t1->datum.name);  in __cil_verify_type()
728 	cil_tree_log(node, CIL_ERR, "Invalid type");  in __cil_verify_type()
748 			cil_log(CIL_ERR, "Role %s is invalid for user %s\n", ctx->role_str, ctx->user_str);  in __cil_verify_context()
753 		cil_log(CIL_ERR, "No roles given to the user %s\n", ctx->user_str);  in __cil_verify_context()
760 			cil_log(CIL_ERR, "Type %s is invalid for role %s\n", ctx->type_str, ctx->role_str);  in __cil_verify_context()
765 		cil_log(CIL_ERR, "No types associated with role %s\n", ctx->role_str);  in __cil_verify_context()
785 				cil_log(CIL_ERR, "Range %s is invalid for user %s\n",   in __cil_verify_context()
796 				cil_log(CIL_ERR, "Range %s is invalid for user %s\n",   in __cil_verify_context()
806 	cil_log(CIL_ERR, "Invalid context\n");  in __cil_verify_context()
822 	cil_tree_log(node, CIL_ERR, "Invalid named context");  in __cil_verify_named_context()
861 			cil_tree_log(node, CIL_ERR, "Duplicate rule defined");  in __cil_verify_rule()
869 	cil_tree_log(node, CIL_ERR, "Invalid rule");  in __cil_verify_rule()
885 …cil_tree_log(node, CIL_ERR, "Neverallow found in tunableif block (treated as a booleanif due to pr…  in __cil_verify_booleanif_helper()
887 				cil_tree_log(node, CIL_ERR, "Neverallow found in booleanif block");  in __cil_verify_booleanif_helper()
948 …cil_tree_log(node, CIL_ERR, "Invalid %s statement in tunableif (treated as a booleanif due to pres…  in __cil_verify_booleanif_helper()
950 			cil_tree_log(node, CIL_ERR, "Invalid %s statement in booleanif", flavor);  in __cil_verify_booleanif_helper()
978 …cil_tree_log(node, CIL_ERR, "Invalid tunableif (treated as a booleanif due to preserve-tunables)");  in __cil_verify_booleanif()
980 		cil_tree_log(node, CIL_ERR, "Invalid booleanif");  in __cil_verify_booleanif()
1011 	cil_tree_log(node, CIL_ERR, "Invalid netifcon");  in __cil_verify_netifcon()
1031 	cil_tree_log(node, CIL_ERR, "Invalid ibendportcon");  in __cil_verify_ibendportcon()
1052 	cil_tree_log(node, CIL_ERR, "Invalid genfscon");  in __cil_verify_genfscon()
1071 			cil_tree_log(node, CIL_ERR, "Invalid filecon");  in __cil_verify_filecon()
1099 	cil_tree_log(node, CIL_ERR, "Invalid nodecon");  in __cil_verify_nodecon()
1119 	cil_tree_log(node, CIL_ERR, "Invalid ibpkeycon");  in __cil_verify_ibpkeycon()
1140 	cil_tree_log(node, CIL_ERR, "Invalid portcon");  in __cil_verify_portcon()
1161 	cil_tree_log(node, CIL_ERR, "Invalid pirqcon");  in __cil_verify_pirqcon()
1182 	cil_tree_log(node, CIL_ERR, "Invalid iomemcon");  in __cil_verify_iomemcon()
1203 	cil_tree_log(node, CIL_ERR, "Invalid ioportcon");  in __cil_verify_ioportcon()
1224 	cil_tree_log(node, CIL_ERR, "Invalid pcidevicecon");  in __cil_verify_pcidevicecon()
1245 	cil_tree_log(node, CIL_ERR, "Invalid devicetreecon");  in __cil_verify_devicetreecon()
1266 	cil_tree_log(node, CIL_ERR, "Invalid fsuse");  in __cil_verify_fsuse()
1284 			cil_tree_log(node, CIL_ERR, "Invalid permissionx kind (%d)", permx->kind);  in __cil_verify_permissionx()
1300 …cil_tree_log(node, CIL_ERR, "Invalid permissionx: %s is not a permission of class %s", kind_str, c…  in __cil_verify_permissionx()
1345 …cil_log(CIL_ERR, "Duplicate permissions between %s common and class declarations\n", class_perm->d…  in __cil_verify_class()
1355 	cil_tree_log(node, CIL_ERR, "Invalid class");  in __cil_verify_class()
1372 	cil_tree_log(node, CIL_ERR, "Invalid policycap (%s)", (const char*)polcap->datum.name);  in __cil_verify_policycap()
1435 				cil_log(CIL_ERR, "Policy can not have more than one handleunknown\n");  in __cil_verify_helper()
1444 				cil_log(CIL_ERR, "Policy can not have more than one mls\n");  in __cil_verify_helper()
1595 …cil_tree_log(node, CIL_ERR, "Classpermission %s does not have a classpermissionset", cp->datum.nam…  in __cil_verify_classpermission()
1602 …cil_tree_log(node, CIL_ERR, "Found circular class permissions involving the set %s",cp->datum.name…  in __cil_verify_classpermission()
1625 …cil_tree_log(map_args->node, CIL_ERR, "Map class %s does not have a classmapping for %s", map_args…  in __verify_map_perm_classperms()
1632 …cil_tree_log(map_args->node, CIL_ERR, "Found circular class permissions involving the map class %s…  in __verify_map_perm_classperms()