Error: OVERRUN (CWE-119): [#def51] [important]
libsepol-3.6/cil/src/cil_resolve_ast.c:3157: assignment: Assigning: "sym_index" = "CIL_SYM_UNKNOWN".
libsepol-3.6/cil/src/cil_resolve_ast.c:3189: overrun-call: Overrunning callee's array of size 19 by passing argument "sym_index" (which evaluates to 20) in call to "cil_resolve_name".
# 3187|   		switch (curr->flavor) {
# 3188|   		case CIL_STRING:
# 3189|-> 			rc = cil_resolve_name(parent, curr->data, sym_index, db, &res_datum);
# 3190|   			if (rc != SEPOL_OK) {
# 3191|   				goto exit;