libsepol: Add ability to convert binary policy to CIL
It would sometimes be helpful for debugging or verification purposes to be able to convert a binary policy to a human-readable form. Create new function, sepol_kernel_policydb_to_cil(), that takes a policydb created from a binary policy and writes CIL policy to the provided FILE pointer. Signed-off-by: James Carter <jwcart2@tycho.nsa.gov>
This commit is contained in:
James Carter
parent
03298a22f7
commit
70a480bfcd
5 changed files with 4023 additions and 0 deletions
5
libsepol/include/sepol/kernel_to_cil.h
Normal file
5
libsepol/include/sepol/kernel_to_cil.h
Normal file
|
|
@ -0,0 +1,5 @@
|
||||||
|
#include <stdlib.h>
|
||||||
|
|
||||||
|
#include <sepol/policydb/policydb.h>
|
||||||
|
|
||||||
|
int sepol_kernel_policydb_to_cil(FILE *fp, struct policydb *pdb);
|
||||||
3226
libsepol/src/kernel_to_cil.c
Normal file
3226
libsepol/src/kernel_to_cil.c
Normal file
File diff suppressed because it is too large
Load diff
677
libsepol/src/kernel_to_common.c
Normal file
677
libsepol/src/kernel_to_common.c
Normal file
|
|
@ -0,0 +1,677 @@
|
||||||
|
#include <stdio.h>
|
||||||
|
#include <stdlib.h>
|
||||||
|
#include <stdarg.h>
|
||||||
|
#include <string.h>
|
||||||
|
#include <sys/types.h>
|
||||||
|
#include <unistd.h>
|
||||||
|
|
||||||
|
#include <arpa/inet.h>
|
||||||
|
#include <netinet/in.h>
|
||||||
|
#ifndef IPPROTO_DCCP
|
||||||
|
#define IPPROTO_DCCP 33
|
||||||
|
#endif
|
||||||
|
|
||||||
|
#include <sepol/policydb/ebitmap.h>
|
||||||
|
#include <sepol/policydb/hashtab.h>
|
||||||
|
#include <sepol/policydb/symtab.h>
|
||||||
|
|
||||||
|
#include "kernel_to_common.h"
|
||||||
|
|
||||||
|
|
||||||
|
void sepol_log_err(const char *fmt, ...)
|
||||||
|
{
|
||||||
|
va_list argptr;
|
||||||
|
va_start(argptr, fmt);
|
||||||
|
if (vfprintf(stderr, fmt, argptr) < 0) {
|
||||||
|
_exit(EXIT_FAILURE);
|
||||||
|
}
|
||||||
|
va_end(argptr);
|
||||||
|
if (fprintf(stderr, "\n") < 0) {
|
||||||
|
_exit(EXIT_FAILURE);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
void sepol_indent(FILE *out, int indent)
|
||||||
|
{
|
||||||
|
if (fprintf(out, "%*s", indent * 4, "") < 0) {
|
||||||
|
sepol_log_err("Failed to write to output");
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
void sepol_printf(FILE *out, const char *fmt, ...)
|
||||||
|
{
|
||||||
|
va_list argptr;
|
||||||
|
va_start(argptr, fmt);
|
||||||
|
if (vfprintf(out, fmt, argptr) < 0) {
|
||||||
|
sepol_log_err("Failed to write to output");
|
||||||
|
}
|
||||||
|
va_end(argptr);
|
||||||
|
}
|
||||||
|
|
||||||
|
__attribute__ ((format(printf, 1, 0)))
|
||||||
|
static char *create_str_helper(const char *fmt, int num, va_list vargs)
|
||||||
|
{
|
||||||
|
va_list vargs2;
|
||||||
|
char *str = NULL;
|
||||||
|
char *s;
|
||||||
|
size_t len;
|
||||||
|
int i, rc;
|
||||||
|
|
||||||
|
va_copy(vargs2, vargs);
|
||||||
|
|
||||||
|
len = strlen(fmt) + 1; /* +1 for '\0' */
|
||||||
|
|
||||||
|
for (i=0; i<num; i++) {
|
||||||
|
s = va_arg(vargs, char *);
|
||||||
|
len += strlen(s) - 2; /* -2 for each %s in fmt */
|
||||||
|
}
|
||||||
|
|
||||||
|
str = malloc(len);
|
||||||
|
if (!str) {
|
||||||
|
sepol_log_err("Out of memory");
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
|
||||||
|
rc = vsnprintf(str, len, fmt, vargs2);
|
||||||
|
if (rc < 0 || rc >= (int)len) {
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
|
||||||
|
return str;
|
||||||
|
|
||||||
|
exit:
|
||||||
|
free(str);
|
||||||
|
return NULL;
|
||||||
|
}
|
||||||
|
|
||||||
|
char *create_str(const char *fmt, int num, ...)
|
||||||
|
{
|
||||||
|
char *str = NULL;
|
||||||
|
va_list vargs;
|
||||||
|
|
||||||
|
va_start(vargs, num);
|
||||||
|
str = create_str_helper(fmt, num, vargs);
|
||||||
|
va_end(vargs);
|
||||||
|
|
||||||
|
return str;
|
||||||
|
}
|
||||||
|
|
||||||
|
int strs_init(struct strs **strs, size_t size)
|
||||||
|
{
|
||||||
|
struct strs *new;
|
||||||
|
|
||||||
|
*strs = NULL;
|
||||||
|
|
||||||
|
new = malloc(sizeof(struct strs));
|
||||||
|
if (!new) {
|
||||||
|
sepol_log_err("Out of memory");
|
||||||
|
return -1;
|
||||||
|
}
|
||||||
|
|
||||||
|
new->list = calloc(sizeof(char *), size);
|
||||||
|
if (!new->list) {
|
||||||
|
sepol_log_err("Out of memory");
|
||||||
|
free(new);
|
||||||
|
return -1;
|
||||||
|
}
|
||||||
|
|
||||||
|
new->num = 0;
|
||||||
|
new->size = size;
|
||||||
|
|
||||||
|
*strs = new;
|
||||||
|
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
void strs_destroy(struct strs **strs)
|
||||||
|
{
|
||||||
|
if (!strs || !*strs) {
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
|
free((*strs)->list);
|
||||||
|
(*strs)->list = NULL;
|
||||||
|
(*strs)->num = 0;
|
||||||
|
(*strs)->size = 0;
|
||||||
|
free(*strs);
|
||||||
|
*strs = NULL;
|
||||||
|
}
|
||||||
|
|
||||||
|
void strs_free_all(struct strs *strs)
|
||||||
|
{
|
||||||
|
if (!strs) {
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
|
while (strs->num > 0) {
|
||||||
|
strs->num--;
|
||||||
|
free(strs->list[strs->num]);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
int strs_add(struct strs *strs, char *s)
|
||||||
|
{
|
||||||
|
if (strs->num + 1 > strs->size) {
|
||||||
|
char **new;
|
||||||
|
unsigned i = strs->size;
|
||||||
|
strs->size *= 2;
|
||||||
|
new = realloc(strs->list, sizeof(char *)*strs->size);
|
||||||
|
if (!new) {
|
||||||
|
sepol_log_err("Out of memory");
|
||||||
|
return -1;
|
||||||
|
}
|
||||||
|
strs->list = new;
|
||||||
|
memset(&strs->list[i], 0, sizeof(char *)*(strs->size-i));
|
||||||
|
}
|
||||||
|
|
||||||
|
strs->list[strs->num] = s;
|
||||||
|
strs->num++;
|
||||||
|
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
int strs_create_and_add(struct strs *strs, const char *fmt, int num, ...)
|
||||||
|
{
|
||||||
|
char *str;
|
||||||
|
va_list vargs;
|
||||||
|
int rc;
|
||||||
|
|
||||||
|
va_start(vargs, num);
|
||||||
|
str = create_str_helper(fmt, num, vargs);
|
||||||
|
va_end(vargs);
|
||||||
|
|
||||||
|
if (!str) {
|
||||||
|
rc = -1;
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
|
||||||
|
rc = strs_add(strs, str);
|
||||||
|
if (rc != 0) {
|
||||||
|
free(str);
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
|
||||||
|
return 0;
|
||||||
|
|
||||||
|
exit:
|
||||||
|
return rc;
|
||||||
|
}
|
||||||
|
|
||||||
|
char *strs_remove_last(struct strs *strs)
|
||||||
|
{
|
||||||
|
if (strs->num == 0) {
|
||||||
|
return NULL;
|
||||||
|
}
|
||||||
|
strs->num--;
|
||||||
|
return strs->list[strs->num];
|
||||||
|
}
|
||||||
|
|
||||||
|
int strs_add_at_index(struct strs *strs, char *s, unsigned index)
|
||||||
|
{
|
||||||
|
if (index >= strs->size) {
|
||||||
|
char **new;
|
||||||
|
unsigned i = strs->size;
|
||||||
|
while (index >= strs->size) {
|
||||||
|
strs->size *= 2;
|
||||||
|
}
|
||||||
|
new = realloc(strs->list, sizeof(char *)*strs->size);
|
||||||
|
if (!new) {
|
||||||
|
sepol_log_err("Out of memory");
|
||||||
|
return -1;
|
||||||
|
}
|
||||||
|
strs->list = new;
|
||||||
|
memset(&strs->list[i], 0, sizeof(char *)*(strs->size - i));
|
||||||
|
}
|
||||||
|
|
||||||
|
strs->list[index] = s;
|
||||||
|
if (index >= strs->num) {
|
||||||
|
strs->num = index+1;
|
||||||
|
}
|
||||||
|
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
char *strs_read_at_index(struct strs *strs, unsigned index)
|
||||||
|
{
|
||||||
|
if (index >= strs->num) {
|
||||||
|
return NULL;
|
||||||
|
}
|
||||||
|
|
||||||
|
return strs->list[index];
|
||||||
|
}
|
||||||
|
|
||||||
|
static int strs_cmp(const void *a, const void *b)
|
||||||
|
{
|
||||||
|
char *const *aa = a;
|
||||||
|
char *const *bb = b;
|
||||||
|
return strcmp(*aa,*bb);
|
||||||
|
}
|
||||||
|
|
||||||
|
void strs_sort(struct strs *strs)
|
||||||
|
{
|
||||||
|
if (strs->num == 0) {
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
qsort(strs->list, strs->num, sizeof(char *), strs_cmp);
|
||||||
|
}
|
||||||
|
|
||||||
|
unsigned strs_num_items(struct strs *strs)
|
||||||
|
{
|
||||||
|
return strs->num;
|
||||||
|
}
|
||||||
|
|
||||||
|
size_t strs_len_items(struct strs *strs)
|
||||||
|
{
|
||||||
|
unsigned i;
|
||||||
|
size_t len = 0;
|
||||||
|
|
||||||
|
for (i=0; i<strs->num; i++) {
|
||||||
|
if (!strs->list[i]) continue;
|
||||||
|
len += strlen(strs->list[i]);
|
||||||
|
}
|
||||||
|
|
||||||
|
return len;
|
||||||
|
}
|
||||||
|
|
||||||
|
char *strs_to_str(struct strs *strs)
|
||||||
|
{
|
||||||
|
char *str = NULL;
|
||||||
|
size_t len = 0;
|
||||||
|
char *p;
|
||||||
|
unsigned i;
|
||||||
|
int rc;
|
||||||
|
|
||||||
|
if (strs->num == 0) {
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* strs->num added because either ' ' or '\0' follows each item */
|
||||||
|
len = strs_len_items(strs) + strs->num;
|
||||||
|
str = malloc(len);
|
||||||
|
if (!str) {
|
||||||
|
sepol_log_err("Out of memory");
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
|
||||||
|
p = str;
|
||||||
|
for (i=0; i<strs->num; i++) {
|
||||||
|
if (!strs->list[i]) continue;
|
||||||
|
len = strlen(strs->list[i]);
|
||||||
|
rc = snprintf(p, len+1, "%s", strs->list[i]);
|
||||||
|
if (rc < 0 || rc > (int)len) {
|
||||||
|
free(str);
|
||||||
|
str = NULL;
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
p += len;
|
||||||
|
if (i < strs->num - 1) {
|
||||||
|
*p++ = ' ';
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
*p = '\0';
|
||||||
|
|
||||||
|
exit:
|
||||||
|
return str;
|
||||||
|
}
|
||||||
|
|
||||||
|
void strs_write_each(struct strs *strs, FILE *out)
|
||||||
|
{
|
||||||
|
unsigned i;
|
||||||
|
|
||||||
|
for (i=0; i<strs->num; i++) {
|
||||||
|
if (!strs->list[i]) {
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
sepol_printf(out, "%s\n",strs->list[i]);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
void strs_write_each_indented(struct strs *strs, FILE *out, int indent)
|
||||||
|
{
|
||||||
|
unsigned i;
|
||||||
|
|
||||||
|
for (i=0; i<strs->num; i++) {
|
||||||
|
if (!strs->list[i]) {
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
sepol_indent(out, indent);
|
||||||
|
sepol_printf(out, "%s\n",strs->list[i]);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
int hashtab_ordered_to_strs(char *key, void *data, void *args)
|
||||||
|
{
|
||||||
|
struct strs *strs = (struct strs *)args;
|
||||||
|
symtab_datum_t *datum = data;
|
||||||
|
|
||||||
|
return strs_add_at_index(strs, key, datum->value-1);
|
||||||
|
}
|
||||||
|
|
||||||
|
int ebitmap_to_strs(struct ebitmap *map, struct strs *strs, char **val_to_name)
|
||||||
|
{
|
||||||
|
struct ebitmap_node *node;
|
||||||
|
uint32_t i;
|
||||||
|
int rc;
|
||||||
|
|
||||||
|
ebitmap_for_each_bit(map, node, i) {
|
||||||
|
if (!ebitmap_get_bit(map, i)) continue;
|
||||||
|
|
||||||
|
rc = strs_add(strs, val_to_name[i]);
|
||||||
|
if (rc != 0) {
|
||||||
|
return -1;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
char *ebitmap_to_str(struct ebitmap *map, char **val_to_name, int sort)
|
||||||
|
{
|
||||||
|
struct strs *strs;
|
||||||
|
char *str = NULL;
|
||||||
|
int rc;
|
||||||
|
|
||||||
|
rc = strs_init(&strs, 32);
|
||||||
|
if (rc != 0) {
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
|
||||||
|
rc = ebitmap_to_strs(map, strs, val_to_name);
|
||||||
|
if (rc != 0) {
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (sort) {
|
||||||
|
strs_sort(strs);
|
||||||
|
}
|
||||||
|
|
||||||
|
str = strs_to_str(strs);
|
||||||
|
|
||||||
|
exit:
|
||||||
|
strs_destroy(&strs);
|
||||||
|
|
||||||
|
return str;
|
||||||
|
}
|
||||||
|
|
||||||
|
int stack_init(struct strs **stack)
|
||||||
|
{
|
||||||
|
return strs_init(stack, STACK_SIZE);
|
||||||
|
}
|
||||||
|
|
||||||
|
void stack_destroy(struct strs **stack)
|
||||||
|
{
|
||||||
|
return strs_destroy(stack);
|
||||||
|
}
|
||||||
|
|
||||||
|
int stack_push(struct strs *stack, char *s)
|
||||||
|
{
|
||||||
|
return strs_add(stack, s);
|
||||||
|
}
|
||||||
|
|
||||||
|
char *stack_pop(struct strs *stack)
|
||||||
|
{
|
||||||
|
return strs_remove_last(stack);
|
||||||
|
}
|
||||||
|
|
||||||
|
int stack_empty(struct strs *stack)
|
||||||
|
{
|
||||||
|
return strs_num_items(stack) == 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
static int compare_ranges(uint64_t l1, uint64_t h1, uint64_t l2, uint64_t h2)
|
||||||
|
{
|
||||||
|
uint64_t d1, d2;
|
||||||
|
|
||||||
|
d1 = h1-l1;
|
||||||
|
d2 = h2-l2;
|
||||||
|
|
||||||
|
if (d1 < d2) {
|
||||||
|
return -1;
|
||||||
|
} else if (d1 > d2) {
|
||||||
|
return 1;
|
||||||
|
} else {
|
||||||
|
if (l1 < l2) {
|
||||||
|
return -1;
|
||||||
|
} else if (l1 > l2) {
|
||||||
|
return 1;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
static int fsuse_data_cmp(const void *a, const void *b)
|
||||||
|
{
|
||||||
|
struct ocontext *const *aa = a;
|
||||||
|
struct ocontext *const *bb = b;
|
||||||
|
|
||||||
|
if ((*aa)->v.behavior != (*bb)->v.behavior) {
|
||||||
|
if ((*aa)->v.behavior < (*bb)->v.behavior) {
|
||||||
|
return -1;
|
||||||
|
} else {
|
||||||
|
return 1;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
return strcmp((*aa)->u.name, (*bb)->u.name);
|
||||||
|
}
|
||||||
|
|
||||||
|
static int portcon_data_cmp(const void *a, const void *b)
|
||||||
|
{
|
||||||
|
struct ocontext *const *aa = a;
|
||||||
|
struct ocontext *const *bb = b;
|
||||||
|
int rc;
|
||||||
|
|
||||||
|
rc = compare_ranges((*aa)->u.port.low_port, (*aa)->u.port.high_port,
|
||||||
|
(*bb)->u.port.low_port, (*bb)->u.port.high_port);
|
||||||
|
if (rc == 0) {
|
||||||
|
if ((*aa)->u.port.protocol == (*bb)->u.port.protocol) {
|
||||||
|
rc = 0;
|
||||||
|
} else if ((*aa)->u.port.protocol == IPPROTO_TCP) {
|
||||||
|
rc = -1;
|
||||||
|
} else {
|
||||||
|
rc = 1;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
return rc;
|
||||||
|
}
|
||||||
|
|
||||||
|
static int netif_data_cmp(const void *a, const void *b)
|
||||||
|
{
|
||||||
|
struct ocontext *const *aa = a;
|
||||||
|
struct ocontext *const *bb = b;
|
||||||
|
|
||||||
|
return strcmp((*aa)->u.name, (*bb)->u.name);
|
||||||
|
}
|
||||||
|
|
||||||
|
static int node_data_cmp(const void *a, const void *b)
|
||||||
|
{
|
||||||
|
struct ocontext *const *aa = a;
|
||||||
|
struct ocontext *const *bb = b;
|
||||||
|
int rc;
|
||||||
|
|
||||||
|
rc = memcmp(&(*aa)->u.node.mask, &(*bb)->u.node.mask, sizeof((*aa)->u.node.mask));
|
||||||
|
if (rc > 0) {
|
||||||
|
return -1;
|
||||||
|
} else if (rc < 0) {
|
||||||
|
return 1;
|
||||||
|
}
|
||||||
|
|
||||||
|
return memcmp(&(*aa)->u.node.addr, &(*bb)->u.node.addr, sizeof((*aa)->u.node.addr));
|
||||||
|
}
|
||||||
|
|
||||||
|
static int node6_data_cmp(const void *a, const void *b)
|
||||||
|
{
|
||||||
|
struct ocontext *const *aa = a;
|
||||||
|
struct ocontext *const *bb = b;
|
||||||
|
int rc;
|
||||||
|
|
||||||
|
rc = memcmp(&(*aa)->u.node6.mask, &(*bb)->u.node6.mask, sizeof((*aa)->u.node6.mask));
|
||||||
|
if (rc > 0) {
|
||||||
|
return -1;
|
||||||
|
} else if (rc < 0) {
|
||||||
|
return 1;
|
||||||
|
}
|
||||||
|
|
||||||
|
return memcmp(&(*aa)->u.node6.addr, &(*bb)->u.node6.addr, sizeof((*aa)->u.node6.addr));
|
||||||
|
}
|
||||||
|
|
||||||
|
static int pirq_data_cmp(const void *a, const void *b)
|
||||||
|
{
|
||||||
|
struct ocontext *const *aa = a;
|
||||||
|
struct ocontext *const *bb = b;
|
||||||
|
|
||||||
|
if ((*aa)->u.pirq < (*bb)->u.pirq) {
|
||||||
|
return -1;
|
||||||
|
} else if ((*aa)->u.pirq > (*bb)->u.pirq) {
|
||||||
|
return 1;
|
||||||
|
}
|
||||||
|
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
static int ioport_data_cmp(const void *a, const void *b)
|
||||||
|
{
|
||||||
|
struct ocontext *const *aa = a;
|
||||||
|
struct ocontext *const *bb = b;
|
||||||
|
|
||||||
|
return compare_ranges((*aa)->u.ioport.low_ioport, (*aa)->u.ioport.high_ioport,
|
||||||
|
(*bb)->u.ioport.low_ioport, (*bb)->u.ioport.high_ioport);
|
||||||
|
}
|
||||||
|
|
||||||
|
static int iomem_data_cmp(const void *a, const void *b)
|
||||||
|
{
|
||||||
|
struct ocontext *const *aa = a;
|
||||||
|
struct ocontext *const *bb = b;
|
||||||
|
|
||||||
|
return compare_ranges((*aa)->u.iomem.low_iomem, (*aa)->u.iomem.high_iomem,
|
||||||
|
(*bb)->u.iomem.low_iomem, (*bb)->u.iomem.high_iomem);
|
||||||
|
}
|
||||||
|
|
||||||
|
static int pcid_data_cmp(const void *a, const void *b)
|
||||||
|
{
|
||||||
|
struct ocontext *const *aa = a;
|
||||||
|
struct ocontext *const *bb = b;
|
||||||
|
|
||||||
|
if ((*aa)->u.device < (*bb)->u.device) {
|
||||||
|
return -1;
|
||||||
|
} else if ((*aa)->u.device > (*bb)->u.device) {
|
||||||
|
return 1;
|
||||||
|
}
|
||||||
|
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
static int dtree_data_cmp(const void *a, const void *b)
|
||||||
|
{
|
||||||
|
struct ocontext *const *aa = a;
|
||||||
|
struct ocontext *const *bb = b;
|
||||||
|
|
||||||
|
return strcmp((*aa)->u.name, (*bb)->u.name);
|
||||||
|
}
|
||||||
|
|
||||||
|
static int sort_ocontext_data(struct ocontext **ocons, int (*cmp)(const void *, const void *))
|
||||||
|
{
|
||||||
|
struct ocontext *ocon;
|
||||||
|
struct ocontext **data;
|
||||||
|
unsigned i, num;
|
||||||
|
|
||||||
|
num = 0;
|
||||||
|
for (ocon = *ocons; ocon != NULL; ocon = ocon->next) {
|
||||||
|
num++;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (num == 0) {
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
data = calloc(sizeof(*data), num);
|
||||||
|
if (!data) {
|
||||||
|
sepol_log_err("Out of memory\n");
|
||||||
|
return -1;
|
||||||
|
}
|
||||||
|
|
||||||
|
i = 0;
|
||||||
|
for (ocon = *ocons; ocon != NULL; ocon = ocon->next) {
|
||||||
|
data[i] = ocon;
|
||||||
|
i++;
|
||||||
|
}
|
||||||
|
|
||||||
|
qsort(data, num, sizeof(*data), cmp);
|
||||||
|
|
||||||
|
*ocons = data[0];
|
||||||
|
for (i=1; i < num; i++) {
|
||||||
|
data[i-1]->next = data[i];
|
||||||
|
}
|
||||||
|
data[num-1]->next = NULL;
|
||||||
|
|
||||||
|
free(data);
|
||||||
|
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
int sort_ocontexts(struct policydb *pdb)
|
||||||
|
{
|
||||||
|
int rc = 0;
|
||||||
|
|
||||||
|
if (pdb->target_platform == SEPOL_TARGET_SELINUX) {
|
||||||
|
rc = sort_ocontext_data(&pdb->ocontexts[5], fsuse_data_cmp);
|
||||||
|
if (rc != 0) {
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
|
||||||
|
rc = sort_ocontext_data(&pdb->ocontexts[2], portcon_data_cmp);
|
||||||
|
if (rc != 0) {
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
|
||||||
|
rc = sort_ocontext_data(&pdb->ocontexts[3], netif_data_cmp);
|
||||||
|
if (rc != 0) {
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
|
||||||
|
rc = sort_ocontext_data(&pdb->ocontexts[4], node_data_cmp);
|
||||||
|
if (rc != 0) {
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
|
||||||
|
rc = sort_ocontext_data(&pdb->ocontexts[6], node6_data_cmp);
|
||||||
|
if (rc != 0) {
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
} else if (pdb->target_platform == SEPOL_TARGET_XEN) {
|
||||||
|
rc = sort_ocontext_data(&pdb->ocontexts[1], pirq_data_cmp);
|
||||||
|
if (rc != 0) {
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
|
||||||
|
rc = sort_ocontext_data(&pdb->ocontexts[2], ioport_data_cmp);
|
||||||
|
if (rc != 0) {
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
|
||||||
|
rc = sort_ocontext_data(&pdb->ocontexts[3], iomem_data_cmp);
|
||||||
|
if (rc != 0) {
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
|
||||||
|
rc = sort_ocontext_data(&pdb->ocontexts[4], pcid_data_cmp);
|
||||||
|
if (rc != 0) {
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
|
||||||
|
rc = sort_ocontext_data(&pdb->ocontexts[5], dtree_data_cmp);
|
||||||
|
if (rc != 0) {
|
||||||
|
goto exit;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
exit:
|
||||||
|
if (rc != 0) {
|
||||||
|
sepol_log_err("Error sorting ocontexts\n");
|
||||||
|
}
|
||||||
|
|
||||||
|
return rc;
|
||||||
|
}
|
||||||
114
libsepol/src/kernel_to_common.h
Normal file
114
libsepol/src/kernel_to_common.h
Normal file
|
|
@ -0,0 +1,114 @@
|
||||||
|
#include <stdio.h>
|
||||||
|
#include <stdarg.h>
|
||||||
|
#include <sys/types.h>
|
||||||
|
|
||||||
|
#include <sepol/policydb/avtab.h>
|
||||||
|
#include <sepol/policydb/policydb.h>
|
||||||
|
|
||||||
|
|
||||||
|
#define STACK_SIZE 16
|
||||||
|
#define DEFAULT_LEVEL "systemlow"
|
||||||
|
#define DEFAULT_OBJECT "object_r"
|
||||||
|
|
||||||
|
// initial sid names aren't actually stored in the pp files, need to a have
|
||||||
|
// a mapping, taken from the linux kernel
|
||||||
|
static const char * const selinux_sid_to_str[] = {
|
||||||
|
"null",
|
||||||
|
"kernel",
|
||||||
|
"security",
|
||||||
|
"unlabeled",
|
||||||
|
"fs",
|
||||||
|
"file",
|
||||||
|
"file_labels",
|
||||||
|
"init",
|
||||||
|
"any_socket",
|
||||||
|
"port",
|
||||||
|
"netif",
|
||||||
|
"netmsg",
|
||||||
|
"node",
|
||||||
|
"igmp_packet",
|
||||||
|
"icmp_socket",
|
||||||
|
"tcp_socket",
|
||||||
|
"sysctl_modprobe",
|
||||||
|
"sysctl",
|
||||||
|
"sysctl_fs",
|
||||||
|
"sysctl_kernel",
|
||||||
|
"sysctl_net",
|
||||||
|
"sysctl_net_unix",
|
||||||
|
"sysctl_vm",
|
||||||
|
"sysctl_dev",
|
||||||
|
"kmod",
|
||||||
|
"policy",
|
||||||
|
"scmp_packet",
|
||||||
|
"devnull",
|
||||||
|
};
|
||||||
|
|
||||||
|
static const char * const xen_sid_to_str[] = {
|
||||||
|
"null",
|
||||||
|
"xen",
|
||||||
|
"dom0",
|
||||||
|
"domio",
|
||||||
|
"domxen",
|
||||||
|
"unlabeled",
|
||||||
|
"security",
|
||||||
|
"ioport",
|
||||||
|
"iomem",
|
||||||
|
"irq",
|
||||||
|
"device",
|
||||||
|
};
|
||||||
|
|
||||||
|
static const uint32_t avtab_flavors[] = {
|
||||||
|
AVTAB_ALLOWED,
|
||||||
|
AVTAB_AUDITALLOW,
|
||||||
|
AVTAB_AUDITDENY,
|
||||||
|
AVTAB_XPERMS_ALLOWED,
|
||||||
|
AVTAB_XPERMS_AUDITALLOW,
|
||||||
|
AVTAB_XPERMS_DONTAUDIT,
|
||||||
|
AVTAB_TRANSITION,
|
||||||
|
AVTAB_MEMBER,
|
||||||
|
AVTAB_CHANGE,
|
||||||
|
};
|
||||||
|
|
||||||
|
#define AVTAB_FLAVORS_SZ (sizeof(avtab_flavors)/sizeof(avtab_flavors[0]))
|
||||||
|
|
||||||
|
struct strs {
|
||||||
|
char **list;
|
||||||
|
unsigned num;
|
||||||
|
size_t size;
|
||||||
|
};
|
||||||
|
|
||||||
|
__attribute__ ((format(printf, 1, 2)))
|
||||||
|
void sepol_log_err(const char *fmt, ...);
|
||||||
|
void sepol_indent(FILE *out, int indent);
|
||||||
|
__attribute__ ((format(printf, 2, 3)))
|
||||||
|
void sepol_printf(FILE *out, const char *fmt, ...);
|
||||||
|
|
||||||
|
__attribute__ ((format(printf, 1, 3)))
|
||||||
|
char *create_str(const char *fmt, int num, ...);
|
||||||
|
|
||||||
|
int strs_init(struct strs **strs, size_t size);
|
||||||
|
void strs_destroy(struct strs **strs);
|
||||||
|
void strs_free_all(struct strs *strs);
|
||||||
|
int strs_add(struct strs *strs, char *s);
|
||||||
|
__attribute__ ((format(printf, 2, 4)))
|
||||||
|
int strs_create_and_add(struct strs *strs, const char *fmt, int num, ...);
|
||||||
|
char *strs_remove_last(struct strs *strs);
|
||||||
|
int strs_add_at_index(struct strs *strs, char *s, unsigned index);
|
||||||
|
char *strs_read_at_index(struct strs *strs, unsigned index);
|
||||||
|
void strs_sort(struct strs *strs);
|
||||||
|
unsigned strs_num_items(struct strs *strs);
|
||||||
|
size_t strs_len_items(struct strs *strs);
|
||||||
|
char *strs_to_str(struct strs *strs);
|
||||||
|
void strs_write_each(struct strs *strs, FILE *out);
|
||||||
|
void strs_write_each_indented(struct strs *strs, FILE *out, int indent);
|
||||||
|
int hashtab_ordered_to_strs(char *key, void *data, void *args);
|
||||||
|
int ebitmap_to_strs(struct ebitmap *map, struct strs *strs, char **val_to_name);
|
||||||
|
char *ebitmap_to_str(struct ebitmap *map, char **val_to_name, int sort);
|
||||||
|
|
||||||
|
int stack_init(struct strs **stack);
|
||||||
|
void stack_destroy(struct strs **stack);
|
||||||
|
int stack_push(struct strs *stack, char *s);
|
||||||
|
char *stack_pop(struct strs *stack);
|
||||||
|
int stack_empty(struct strs *stack);
|
||||||
|
|
||||||
|
int sort_ocontexts(struct policydb *pdb);
|
||||||
|
|
@ -49,4 +49,5 @@ LIBSEPOL_1.1 {
|
||||||
sepol_ppfile_to_module_package;
|
sepol_ppfile_to_module_package;
|
||||||
sepol_module_package_to_cil;
|
sepol_module_package_to_cil;
|
||||||
sepol_module_policydb_to_cil;
|
sepol_module_policydb_to_cil;
|
||||||
|
sepol_kernel_policydb_to_cil;
|
||||||
} LIBSEPOL_1.0;
|
} LIBSEPOL_1.0;
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue