/* A Bison parser, made by GNU Bison 3.0.2. */ /* Bison implementation for Yacc-like parsers in C Copyright (C) 1984, 1989-1990, 2000-2013 Free Software Foundation, Inc. This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see . */ /* As a special exception, you may create a larger work that contains part or all of the Bison parser skeleton and distribute that work under terms of your choice, so long as that work isn't itself a parser generator using the skeleton or a modified version thereof as a parser skeleton. Alternatively, if you modify or redistribute the parser skeleton itself, you may (at your option) remove this special exception, which will cause the skeleton and the resulting Bison output files to be licensed under the GNU General Public License without this special exception. This special exception was added by the Free Software Foundation in version 2.2 of Bison. */ /* C LALR(1) parser skeleton written by Richard Stallman, by simplifying the original so-called "semantic" parser. */ /* All symbols defined below should begin with yy or YY, to avoid infringing on user name space. This should be done even for local variables, as they might otherwise be expanded by user macros. There are some unavoidable exceptions within include files to define necessary library symbols; they are noted "INFRINGES ON USER NAME SPACE" below. */ /* Identify Bison output. */ #define YYBISON 1 /* Bison version. */ #define YYBISON_VERSION "3.0.2" /* Skeleton name. */ #define YYSKELETON_NAME "yacc.c" /* Pure parsers. */ #define YYPURE 0 /* Push parsers. */ #define YYPUSH 0 /* Pull parsers. */ #define YYPULL 1 /* Copy the first part of user declarations. */ #line 1 "policy_lang.y" /* yacc.c:339 */ #include #include #include #include #include #include #include #include "common.h" #include "policy_lang.h" typedef struct { uint64_t value; int bits; /* zero if this is a flexint */ } sized_integer_t; typedef struct { int k; /* one if leaf, otherwise threshold */ char* attr; /* attribute string if leaf, otherwise null */ GPtrArray* children; /* pointers to bswabe_policy_t's, len == 0 for leaves */ } cpabe_policy_t; cpabe_policy_t* final_policy = 0; int yylex(); void yyerror( const char* s ); sized_integer_t* expint( uint64_t value, uint64_t bits ); sized_integer_t* flexint( uint64_t value ); cpabe_policy_t* leaf_policy( char* attr ); cpabe_policy_t* kof2_policy( int k, cpabe_policy_t* l, cpabe_policy_t* r ); cpabe_policy_t* kof_policy( int k, GPtrArray* list ); cpabe_policy_t* eq_policy( sized_integer_t* n, char* attr ); cpabe_policy_t* lt_policy( sized_integer_t* n, char* attr ); cpabe_policy_t* gt_policy( sized_integer_t* n, char* attr ); cpabe_policy_t* le_policy( sized_integer_t* n, char* attr ); cpabe_policy_t* ge_policy( sized_integer_t* n, char* attr ); #line 109 "policy_lang.c" /* yacc.c:339 */ # ifndef YY_NULLPTR # if defined __cplusplus && 201103L <= __cplusplus # define YY_NULLPTR nullptr # else # define YY_NULLPTR 0 # endif # endif /* Enabling verbose error messages. */ #ifdef YYERROR_VERBOSE # undef YYERROR_VERBOSE # define YYERROR_VERBOSE 1 #else # define YYERROR_VERBOSE 0 #endif /* Debug traces. */ #ifndef YYDEBUG # define YYDEBUG 0 #endif #if YYDEBUG extern int yydebug; #endif /* Token type. */ #ifndef YYTOKENTYPE # define YYTOKENTYPE enum yytokentype { TAG = 258, INTLIT = 259, OR = 260, AND = 261, OF = 262, LEQ = 263, GEQ = 264 }; #endif /* Value type. */ #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED typedef union YYSTYPE YYSTYPE; union YYSTYPE { #line 45 "policy_lang.y" /* yacc.c:355 */ char* str; uint64_t nat; sized_integer_t* sint; cpabe_policy_t* tree; GPtrArray* list; #line 164 "policy_lang.c" /* yacc.c:355 */ }; # define YYSTYPE_IS_TRIVIAL 1 # define YYSTYPE_IS_DECLARED 1 #endif extern YYSTYPE yylval; int yyparse (void); /* Copy the second part of user declarations. */ #line 179 "policy_lang.c" /* yacc.c:358 */ #ifdef short # undef short #endif #ifdef YYTYPE_UINT8 typedef YYTYPE_UINT8 yytype_uint8; #else typedef unsigned char yytype_uint8; #endif #ifdef YYTYPE_INT8 typedef YYTYPE_INT8 yytype_int8; #else typedef signed char yytype_int8; #endif #ifdef YYTYPE_UINT16 typedef YYTYPE_UINT16 yytype_uint16; #else typedef unsigned short int yytype_uint16; #endif #ifdef YYTYPE_INT16 typedef YYTYPE_INT16 yytype_int16; #else typedef short int yytype_int16; #endif #ifndef YYSIZE_T # ifdef __SIZE_TYPE__ # define YYSIZE_T __SIZE_TYPE__ # elif defined size_t # define YYSIZE_T size_t # elif ! defined YYSIZE_T # include /* INFRINGES ON USER NAME SPACE */ # define YYSIZE_T size_t # else # define YYSIZE_T unsigned int # endif #endif #define YYSIZE_MAXIMUM ((YYSIZE_T) -1) #ifndef YY_ # if defined YYENABLE_NLS && YYENABLE_NLS # if ENABLE_NLS # include /* INFRINGES ON USER NAME SPACE */ # define YY_(Msgid) dgettext ("bison-runtime", Msgid) # endif # endif # ifndef YY_ # define YY_(Msgid) Msgid # endif #endif #ifndef YY_ATTRIBUTE # if (defined __GNUC__ \ && (2 < __GNUC__ || (__GNUC__ == 2 && 96 <= __GNUC_MINOR__))) \ || defined __SUNPRO_C && 0x5110 <= __SUNPRO_C # define YY_ATTRIBUTE(Spec) __attribute__(Spec) # else # define YY_ATTRIBUTE(Spec) /* empty */ # endif #endif #ifndef YY_ATTRIBUTE_PURE # define YY_ATTRIBUTE_PURE YY_ATTRIBUTE ((__pure__)) #endif #ifndef YY_ATTRIBUTE_UNUSED # define YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__)) #endif #if !defined _Noreturn \ && (!defined __STDC_VERSION__ || __STDC_VERSION__ < 201112) # if defined _MSC_VER && 1200 <= _MSC_VER # define _Noreturn __declspec (noreturn) # else # define _Noreturn YY_ATTRIBUTE ((__noreturn__)) # endif #endif /* Suppress unused-variable warnings by "using" E. */ #if ! defined lint || defined __GNUC__ # define YYUSE(E) ((void) (E)) #else # define YYUSE(E) /* empty */ #endif #if defined __GNUC__ && 407 <= __GNUC__ * 100 + __GNUC_MINOR__ /* Suppress an incorrect diagnostic about yylval being uninitialized. */ # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \ _Pragma ("GCC diagnostic push") \ _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"")\ _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"") # define YY_IGNORE_MAYBE_UNINITIALIZED_END \ _Pragma ("GCC diagnostic pop") #else # define YY_INITIAL_VALUE(Value) Value #endif #ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN # define YY_IGNORE_MAYBE_UNINITIALIZED_END #endif #ifndef YY_INITIAL_VALUE # define YY_INITIAL_VALUE(Value) /* Nothing. */ #endif #if ! defined yyoverflow || YYERROR_VERBOSE /* The parser invokes alloca or malloc; define the necessary symbols. */ # ifdef YYSTACK_USE_ALLOCA # if YYSTACK_USE_ALLOCA # ifdef __GNUC__ # define YYSTACK_ALLOC __builtin_alloca # elif defined __BUILTIN_VA_ARG_INCR # include /* INFRINGES ON USER NAME SPACE */ # elif defined _AIX # define YYSTACK_ALLOC __alloca # elif defined _MSC_VER # include /* INFRINGES ON USER NAME SPACE */ # define alloca _alloca # else # define YYSTACK_ALLOC alloca # if ! defined _ALLOCA_H && ! defined EXIT_SUCCESS # include /* INFRINGES ON USER NAME SPACE */ /* Use EXIT_SUCCESS as a witness for stdlib.h. */ # ifndef EXIT_SUCCESS # define EXIT_SUCCESS 0 # endif # endif # endif # endif # endif # ifdef YYSTACK_ALLOC /* Pacify GCC's 'empty if-body' warning. */ # define YYSTACK_FREE(Ptr) do { /* empty */; } while (0) # ifndef YYSTACK_ALLOC_MAXIMUM /* The OS might guarantee only one guard page at the bottom of the stack, and a page size can be as small as 4096 bytes. So we cannot safely invoke alloca (N) if N exceeds 4096. Use a slightly smaller number to allow for a few compiler-allocated temporary stack slots. */ # define YYSTACK_ALLOC_MAXIMUM 4032 /* reasonable circa 2006 */ # endif # else # define YYSTACK_ALLOC YYMALLOC # define YYSTACK_FREE YYFREE # ifndef YYSTACK_ALLOC_MAXIMUM # define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM # endif # if (defined __cplusplus && ! defined EXIT_SUCCESS \ && ! ((defined YYMALLOC || defined malloc) \ && (defined YYFREE || defined free))) # include /* INFRINGES ON USER NAME SPACE */ # ifndef EXIT_SUCCESS # define EXIT_SUCCESS 0 # endif # endif # ifndef YYMALLOC # define YYMALLOC malloc # if ! defined malloc && ! defined EXIT_SUCCESS void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */ # endif # endif # ifndef YYFREE # define YYFREE free # if ! defined free && ! defined EXIT_SUCCESS void free (void *); /* INFRINGES ON USER NAME SPACE */ # endif # endif # endif #endif /* ! defined yyoverflow || YYERROR_VERBOSE */ #if (! defined yyoverflow \ && (! defined __cplusplus \ || (defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL))) /* A type that is properly aligned for any stack member. */ union yyalloc { yytype_int16 yyss_alloc; YYSTYPE yyvs_alloc; }; /* The size of the maximum gap between one aligned stack and the next. */ # define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1) /* The size of an array large to enough to hold all stacks, each with N elements. */ # define YYSTACK_BYTES(N) \ ((N) * (sizeof (yytype_int16) + sizeof (YYSTYPE)) \ + YYSTACK_GAP_MAXIMUM) # define YYCOPY_NEEDED 1 /* Relocate STACK from its old location to the new one. The local variables YYSIZE and YYSTACKSIZE give the old and new number of elements in the stack, and YYPTR gives the new location of the stack. Advance YYPTR to a properly aligned location for the next stack. */ # define YYSTACK_RELOCATE(Stack_alloc, Stack) \ do \ { \ YYSIZE_T yynewbytes; \ YYCOPY (&yyptr->Stack_alloc, Stack, yysize); \ Stack = &yyptr->Stack_alloc; \ yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \ yyptr += yynewbytes / sizeof (*yyptr); \ } \ while (0) #endif #if defined YYCOPY_NEEDED && YYCOPY_NEEDED /* Copy COUNT objects from SRC to DST. The source and destination do not overlap. */ # ifndef YYCOPY # if defined __GNUC__ && 1 < __GNUC__ # define YYCOPY(Dst, Src, Count) \ __builtin_memcpy (Dst, Src, (Count) * sizeof (*(Src))) # else # define YYCOPY(Dst, Src, Count) \ do \ { \ YYSIZE_T yyi; \ for (yyi = 0; yyi < (Count); yyi++) \ (Dst)[yyi] = (Src)[yyi]; \ } \ while (0) # endif # endif #endif /* !YYCOPY_NEEDED */ /* YYFINAL -- State number of the termination state. */ #define YYFINAL 15 /* YYLAST -- Last index in YYTABLE. */ #define YYLAST 45 /* YYNTOKENS -- Number of terminals. */ #define YYNTOKENS 17 /* YYNNTS -- Number of nonterminals. */ #define YYNNTS 5 /* YYNRULES -- Number of rules. */ #define YYNRULES 21 /* YYNSTATES -- Number of states. */ #define YYNSTATES 44 /* YYTRANSLATE[YYX] -- Symbol number corresponding to YYX as returned by yylex, with out-of-bounds checking. */ #define YYUNDEFTOK 2 #define YYMAXUTOK 264 #define YYTRANSLATE(YYX) \ ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) /* YYTRANSLATE[TOKEN-NUM] -- Symbol number corresponding to TOKEN-NUM as returned by yylex, without out-of-bounds checking. */ static const yytype_uint8 yytranslate[] = { 0, 2, 
{
    "HeatStacks.create_and_delete_stack": [
        {
            "runner": {
                "type": "constant",
                "times": 10,
                "concurrency": 2
            },
            "context": {
                "users": {
                    "tenants": 2,
                    "users_per_tenant": 3
                }
            }
        }
    ],
    "HeatStacks.create_and_delete_stack": [
        {
            "args": {
               "template_path": "templates/server_with_ports.yaml.template"
            },
            "runner": {
                "type": "constant",
                "times": 10,
                "concurrency": 2
            },
            "context": {
                "users": {
                    "tenants": 2,
                    "users_per_tenant": 3
                }
            }
        }
    ],
    "HeatStacks.create_and_delete_stack": [
        {
            "args": {
               "template_path": "templates/server_with_volume.yaml.template"
            },
            "runner": {
                "type": "constant",
                "times": 10,
                "concurrency": 2
            },
            "context": {
                "users": {
                    "tenants": 2,
                    "users_per_tenant": 3
                }
            }
        }
    ],
    "HeatStacks.create_and_list_stack": [
        {
            "runner": {
                "type": "constant",
                "times": 10,
                "concurrency": 1
            },
            "context": {
                "users": {
                    "tenants": 1,
                    "users_per_tenant": 1
                }
            }
        }
    ],
    "HeatStacks.create_check_delete_stack": [
        {
            "args": {
              "template_path": "templates/random_strings.yaml.template"
            },
            "runner": {
                "type": "constant",
                "times": 10,
                "concurrency": 2
            },
            "context": {
                "users": {
                    "tenants": 2,
                    "users_per_tenant": 3
                }
            }
        }
    ],
    "HeatStacks.create_suspend_resume_delete_stack": [
        {
            "args": {
               "template_path": "templates/random_strings.yaml.template"
            },
            "runner": {
                "type": "constant",
                "times": 10,
                "concurrency": 2
            },
            "context": {
                "users": {
                    "tenants": 3,
                    "users_per_tenant": 2
                }
            }
        }
    ],
    "HeatStacks.create_update_delete_stack": [
        {
            "args": {
               "template_path": "templates/random_strings.yaml.template",
               "updated_template_path": "templates/updated_random_strings_add.yaml.template"
            },
            "runner": {
                "type": "constant",
                "times": 10,
                "concurrency": 2
            },
            "context": {
                "users": {
                    "tenants": 2,
                    "users_per_tenant": 3
                }
            }
        }
    ],
    "HeatStacks.create_update_delete_stack": [
        {
            "args": {
               "template_path": "templates/random_strings.yaml.template",
               "updated_template_path": "templates/updated_random_strings_delete.yaml.template"
            },
            "runner": {
                "type": "constant",
                "times": 10,
                "concurrency": 2
            },
            "context": {
                "users": {
                    "tenants": 2,
                    "users_per_tenant": 3
                }
            }
        }
    ],
    "HeatStacks.create_update_delete_stack": [
        {
            "args": {
               "template_path": "templates/resource_group.yaml.template",
               "updated_template_path": "templates/updated_resource_group_increase.yaml.template"
            },
            "runner": {
                "type": "constant",
                "times": 10,
                "concurrency": 2
            },
            "context": {
                "users": {
                    "tenants": 2,
                    "users_per_tenant": 3
                }
            }
        }
    ],
    "HeatStacks.create_update_delete_stack": [
        {
            "args": {
               "template_path": "templates/autoscaling_policy.yaml.template",
               "updated_template_path": "templates/updated_autoscaling_policy_inplace.yaml.template"
            },
            "runner": {
                "type": "constant",
                "times": 10,
                "concurrency": 2
            },
            "context": {
                "users": {
                    "tenants": 2,
                    "users_per_tenant": 3
                }
            }
        }
    ],
    "HeatStacks.create_update_delete_stack": [
        {
            "args": {
               "template_path": "templates/resource_group.yaml.template",
               "updated_template_path": "templates/updated_resource_group_reduce.yaml.template"
            },
            "runner": {
                "type": "constant",
                "times": 10,
                "concurrency": 2
            },
            "context": {
                "users": {
                    "tenants": 2,
                    "users_per_tenant": 3
                }
            }
        }
    ],
    "HeatStacks.create_update_delete_stack": [
        {
            "args": {
               "template_path": "templates/random_strings.yaml.template",
               "updated_template_path": "templates/updated_random_strings_replace.yaml.template"
            },
            "runner": {
                "type": "constant",
                "times": 10,
                "concurrency": 2
            },
            "context": {
                "users": {
                    "tenants": 2,
                    "users_per_tenant": 3
                }
            }
        }
    ],
    "HeatStacks.list_stacks_and_resources": [
        {
            "runner": {
                "type": "constant",
                "times": 10,
                "concurrency": 1
            },
            "context": {
                "users": {
                    "tenants": 1,
                    "users_per_tenant": 1
                },
                "stacks": {
                    "stacks_per_tenant": 2,
                    "resources_per_stack": 10
                }
            }
        }
    ]
}
E (yychar); /* If not already recovering from an error, report this error. */ if (!yyerrstatus) { ++yynerrs; #if ! YYERROR_VERBOSE yyerror (YY_("syntax error")); #else # define YYSYNTAX_ERROR yysyntax_error (&yymsg_alloc, &yymsg, \ yyssp, yytoken) { char const *yymsgp = YY_("syntax error"); int yysyntax_error_status; yysyntax_error_status = YYSYNTAX_ERROR; if (yysyntax_error_status == 0) yymsgp = yymsg; else if (yysyntax_error_status == 1) { if (yymsg != yymsgbuf) YYSTACK_FREE (yymsg); yymsg = (char *) YYSTACK_ALLOC (yymsg_alloc); if (!yymsg) { yymsg = yymsgbuf; yymsg_alloc = sizeof yymsgbuf; yysyntax_error_status = 2; } else { yysyntax_error_status = YYSYNTAX_ERROR; yymsgp = yymsg; } } yyerror (yymsgp); if (yysyntax_error_status == 2) goto yyexhaustedlab; } # undef YYSYNTAX_ERROR #endif } if (yyerrstatus == 3) { /* If just tried and failed to reuse lookahead token after an error, discard it. */ if (yychar <= YYEOF) { /* Return failure if at end of input. */ if (yychar == YYEOF) YYABORT; } else { yydestruct ("Error: discarding", yytoken, &yylval); yychar = YYEMPTY; } } /* Else will try to reuse lookahead token after shifting the error token. */ goto yyerrlab1; /*---------------------------------------------------. | yyerrorlab -- error raised explicitly by YYERROR. | `---------------------------------------------------*/ yyerrorlab: /* Pacify compilers like GCC when the user code never invokes YYERROR and the label yyerrorlab therefore never appears in user code. */ if (/*CONSTCOND*/ 0) goto yyerrorlab; /* Do not reclaim the symbols of the rule whose action triggered this YYERROR. */ YYPOPSTACK (yylen); yylen = 0; YY_STACK_PRINT (yyss, yyssp); yystate = *yyssp; goto yyerrlab1; /*-------------------------------------------------------------. | yyerrlab1 -- common code for both syntax error and YYERROR. | `-------------------------------------------------------------*/ yyerrlab1: yyerrstatus = 3; /* Each real token shifted decrements this. */ for (;;) { yyn = yypact[yystate]; if (!yypact_value_is_default (yyn)) { yyn += YYTERROR; if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYTERROR) { yyn = yytable[yyn]; if (0 < yyn) break; } } /* Pop the current state because it cannot handle the error token. */ if (yyssp == yyss) YYABORT; yydestruct ("Error: popping", yystos[yystate], yyvsp); YYPOPSTACK (1); yystate = *yyssp; YY_STACK_PRINT (yyss, yyssp); } YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN *++yyvsp = yylval; YY_IGNORE_MAYBE_UNINITIALIZED_END /* Shift the error token. */ YY_SYMBOL_PRINT ("Shifting", yystos[yyn], yyvsp, yylsp); yystate = yyn; goto yynewstate; /*-------------------------------------. | yyacceptlab -- YYACCEPT comes here. | `-------------------------------------*/ yyacceptlab: yyresult = 0; goto yyreturn; /*-----------------------------------. | yyabortlab -- YYABORT comes here. | `-----------------------------------*/ yyabortlab: yyresult = 1; goto yyreturn; #if !defined yyoverflow || YYERROR_VERBOSE /*-------------------------------------------------. | yyexhaustedlab -- memory exhaustion comes here. | `-------------------------------------------------*/ yyexhaustedlab: yyerror (YY_("memory exhausted")); yyresult = 2; /* Fall through. */ #endif yyreturn: if (yychar != YYEMPTY) { /* Make sure we have latest lookahead translation. See comments at user semantic actions for why this is necessary. */ yytoken = YYTRANSLATE (yychar); yydestruct ("Cleanup: discarding lookahead", yytoken, &yylval); } /* Do not reclaim the symbols of the rule whose action triggered this YYABORT or YYACCEPT. */ YYPOPSTACK (yylen); YY_STACK_PRINT (yyss, yyssp); while (yyssp != yyss) { yydestruct ("Cleanup: popping", yystos[*yyssp], yyvsp); YYPOPSTACK (1); } #ifndef yyoverflow if (yyss != yyssa) YYSTACK_FREE (yyss); #endif #if YYERROR_VERBOSE if (yymsg != yymsgbuf) YYSTACK_FREE (yymsg); #endif return yyresult; } #line 94 "policy_lang.y" /* yacc.c:1906 */ sized_integer_t* expint( uint64_t value, uint64_t bits ) { sized_integer_t* s; if( bits == 0 ) die("error parsing policy: zero-length integer \"%llub%llu\"\n", value, bits); else if( bits > 64 ) die("error parsing policy: no more than 64 bits allowed \"%llub%llu\"\n", value, bits); s = malloc(sizeof(sized_integer_t)); s->value = value; s->bits = bits; return s; } sized_integer_t* flexint( uint64_t value ) { sized_integer_t* s; s = malloc(sizeof(sized_integer_t)); s->value = value; s->bits = 0; return s; } void policy_free( cpabe_policy_t* p ) { int i; if( p->attr ) free(p->attr); for( i = 0; i < p->children->len; i++ ) policy_free(g_ptr_array_index(p->children, i)); g_ptr_array_free(p->children, 1); free(p); } cpabe_policy_t* leaf_policy( char* attr ) { cpabe_policy_t* p; p = (cpabe_policy_t*) malloc(sizeof(cpabe_policy_t)); p->k = 1; p->attr = attr; p->children = g_ptr_array_new(); return p; } cpabe_policy_t* kof2_policy( int k, cpabe_policy_t* l, cpabe_policy_t* r ) { cpabe_policy_t* p; p = (cpabe_policy_t*) malloc(sizeof(cpabe_policy_t)); p->k = k; p->attr = 0; p->children = g_ptr_array_new(); g_ptr_array_add(p->children, l); g_ptr_array_add(p->children, r); return p; } cpabe_policy_t* kof_policy( int k, GPtrArray* list ) { cpabe_policy_t* p; if( k < 1 ) die("error parsing policy: trivially satisfied operator \"%dof\"\n", k); else if( k > list->len ) die("error parsing policy: unsatisfiable operator \"%dof\" (only %d operands)\n", k, list->len); else if( list->len == 1 ) die("error parsing policy: identity operator \"%dof\" (only one operand)\n", k); p = (cpabe_policy_t*) malloc(sizeof(cpabe_policy_t)); p->k = k; p->attr = 0; p->children = list; return p; } char* bit_marker( char* base, char* tplate, int bit, char val ) { char* lx; char* rx; char* s; lx = g_strnfill(64 - bit - 1, 'x'); rx = g_strnfill(bit, 'x'); s = g_strdup_printf(tplate, base, lx, !!val, rx); free(lx); free(rx); return s; } cpabe_policy_t* eq_policy( sized_integer_t* n, char* attr ) { if( n->bits == 0 ) return leaf_policy (g_strdup_printf("%s_flexint_%llu", attr, n->value)); else return leaf_policy (g_strdup_printf("%s_expint%02d_%llu", attr, n->bits, n->value)); return 0; } cpabe_policy_t* bit_marker_list( int gt, char* attr, char* tplate, int bits, uint64_t value ) { cpabe_policy_t* p; int i; i = 0; while( gt ? (((uint64_t)1)<attr = 0; p->children = g_ptr_array_new(); for( k = 2; k <= 32; k *= 2 ) if( ( gt && ((uint64_t)1< value) || (!gt && ((uint64_t)1<= value) ) g_ptr_array_add (p->children, leaf_policy (g_strdup_printf(gt ? "%s_ge_2^%02d" : "%s_lt_2^%02d", attr, k))); p->k = gt ? 1 : p->children->len; if( p->children->len == 0 ) { policy_free(p); p = 0; } else if( p->children->len == 1 ) { cpabe_policy_t* t; t = g_ptr_array_remove_index(p->children, 0); policy_free(p); p = t; } return p; } cpabe_policy_t* cmp_policy( sized_integer_t* n, int gt, char* attr ) { cpabe_policy_t* p; char* tplate; /* some error checking */ if( gt && n->value >= ((uint64_t)1<<(n->bits ? n->bits : 64)) - 1 ) die("error parsing policy: unsatisfiable integer comparison %s > %llu\n" "(%d-bits are insufficient to satisfy)\n", attr, n->value, n->bits ? n->bits : 64); else if( !gt && n->value == 0 ) die("error parsing policy: unsatisfiable integer comparison %s < 0\n" "(all numerical attributes are unsigned)\n", attr); else if( !gt && n->value > ((uint64_t)1<<(n->bits ? n->bits : 64)) - 1 ) die("error parsing policy: trivially satisfied integer comparison %s < %llu\n" "(any %d-bit number will satisfy)\n", attr, n->value, n->bits ? n->bits : 64); /* create it */ /* horrible */ tplate = n->bits ? g_strdup_printf("%%s_expint%02d_%%s%%d%%s", n->bits) : strdup("%s_flexint_%s%d%s"); p = bit_marker_list(gt, attr, tplate, n->bits ? n->bits : (n->value >= ((uint64_t)1<<32) ? 64 : n->value >= ((uint64_t)1<<16) ? 32 : n->value >= ((uint64_t)1<< 8) ? 16 : n->value >= ((uint64_t)1<< 4) ? 8 : n->value >= ((uint64_t)1<< 2) ? 4 : 2), n->value); free(tplate); if( !n->bits ) { cpabe_policy_t* l; l = flexint_leader(gt, attr, n->value); if( l ) p = kof2_policy(gt ? 1 : 2, l, p); } return p; } cpabe_policy_t* lt_policy( sized_integer_t* n, char* attr ) { return cmp_policy(n, 0, attr); } cpabe_policy_t* gt_policy( sized_integer_t* n, char* attr ) { return cmp_policy(n, 1, attr); } cpabe_policy_t* le_policy( sized_integer_t* n, char* attr ) { n->value++; return cmp_policy(n, 0, attr); } cpabe_policy_t* ge_policy( sized_integer_t* n, char* attr ) { n->value--; return cmp_policy(n, 1, attr); } char* cur_string = 0; #define PEEK_CHAR ( *cur_string ? *cur_string : EOF ) #define NEXT_CHAR ( *cur_string ? *(cur_string++) : EOF ) int yylex() { int c; int r; while( isspace(c = NEXT_CHAR) ); r = 0; if( c == EOF ) r = 0; else if( c == '&' ) r = AND; else if( c == '|' ) r = OR; else if( strchr("(),=#", c) || (strchr("<>", c) && PEEK_CHAR != '=') ) r = c; else if( c == '<' && PEEK_CHAR == '=' ) { NEXT_CHAR; r = LEQ; } else if( c == '>' && PEEK_CHAR == '=' ) { NEXT_CHAR; r = GEQ; } else if( isdigit(c) ) { GString* s; s = g_string_new(""); g_string_append_c(s, c); while( isdigit(PEEK_CHAR) ) g_string_append_c(s, NEXT_CHAR); sscanf(s->str, "%llu", &(yylval.nat)); g_string_free(s, 1); r = INTLIT; } else if( isalpha(c) ) { GString* s; s = g_string_new(""); g_string_append_c(s, c); while( isalnum(PEEK_CHAR) || PEEK_CHAR == '_' ) g_string_append_c(s, NEXT_CHAR); if( !strcmp(s->str, "and") ) { g_string_free(s, 1); r = AND; } else if( !strcmp(s->str, "or") ) { g_string_free(s, 1); r = OR; } else if( !strcmp(s->str, "of") ) { g_string_free(s, 1); r = OF; } else { yylval.str = s->str; g_string_free(s, 0); r = TAG; } } else die("syntax error at \"%c%s\"\n", c, cur_string); return r; } void yyerror( const char* s ) { die("error parsing policy: %s\n", s); } #define POLICY_IS_OR(p) (((cpabe_policy_t*)(p))->k == 1 && ((cpabe_policy_t*)(p))->children->len) #define POLICY_IS_AND(p) (((cpabe_policy_t*)(p))->k == ((cpabe_policy_t*)(p))->children->len) void merge_child( cpabe_policy_t* p, int i ) { int j; cpabe_policy_t* c; c = g_ptr_array_index(p->children, i); if( POLICY_IS_AND(p) ) { p->k += c->k; p->k--; } g_ptr_array_remove_index_fast(p->children, i); for( j = 0; j < c->children->len; j++ ) g_ptr_array_add(p->children, g_ptr_array_index(c->children, j)); g_ptr_array_free(c->children, 0); free(c); } void simplify( cpabe_policy_t* p ) { int i; for( i = 0; i < p->children->len; i++ ) simplify(g_ptr_array_index(p->children, i)); if( POLICY_IS_OR(p) ) for( i = 0; i < p->children->len; i++ ) if( POLICY_IS_OR(g_ptr_array_index(p->children, i)) ) merge_child(p, i); if( POLICY_IS_AND(p) ) for( i = 0; i < p->children->len; i++ ) if( POLICY_IS_AND(g_ptr_array_index(p->children, i)) ) merge_child(p, i); } int cmp_tidy( const void* a, const void* b ) { cpabe_policy_t* pa; cpabe_policy_t* pb; pa = *((cpabe_policy_t**) a); pb = *((cpabe_policy_t**) b); if( pa->children->len > 0 && pb->children->len == 0 ) return -1; else if( pa->children->len == 0 && pb->children->len > 0 ) return 1; else if( pa->children->len == 0 && pb->children->len == 0 ) return strcmp(pa->attr, pb->attr); else return 0; } void tidy( cpabe_policy_t* p ) { int i; for( i = 0; i < p->children->len; i++ ) tidy(g_ptr_array_index(p->children, i)); if( p->children->len > 0 ) qsort(p->children->pdata, p->children->len, sizeof(cpabe_policy_t*), cmp_tidy); } char* format_policy_postfix( cpabe_policy_t* p ) { int i; char* r; char* s; char* t; if( p->children->len == 0 ) return strdup(p->attr); r = format_policy_postfix(g_ptr_array_index(p->children, 0)); for( i = 1; i < p->children->len; i++ ) { s = format_policy_postfix(g_ptr_array_index(p->children, i)); t = g_strjoin(" ", r, s, (char*) 0); free(r); free(s); r = t; } t = g_strdup_printf("%s %dof%d", r, p->k, p->children->len); free(r); return t; } /* Crufty. */ int actual_bits( uint64_t value ) { int i; for( i = 32; i >= 1; i /= 2 ) if( value >= ((uint64_t)1<