source: libabac/prover.c @ 461541a

#include <err.h>
#include <stdio.h>

#include <abac.h>

#include "options.h"

int main(int argc, char **argv) {
    int i, success;
    abac_credential_t *cred;

    options_t opts = { 0, };
    get_options(argc, argv, &opts);

    abac_context_t *ctx = abac_context_new();
    abac_context_load_directory(ctx, opts.keystore);

    if(opts.rulefile) {
        FILE *fp=fopen(opts.rulefile,"w+");
        if(fp) { 
            abac_credential_t **credentials = abac_context_credentials(ctx);
            if (credentials != NULL)
                for (i = 0; credentials[i] != NULL; ++i) {
                    cred = credentials[i];
                    fprintf(fp,"%s <- %s\n",
                            abac_role_string(abac_credential_head(cred)),
                            abac_role_string(abac_credential_tail(cred))
                          );
                }
            abac_context_credentials_free(credentials);
            fclose(fp);
        }
    }

    abac_credential_t **credentials = abac_context_query(ctx,
        opts.role, opts.principal,
        &success
    );

    if (success)
        puts("success");
    else
        puts("fail, here's a partial proof");

    if (credentials != NULL)
        for (i = 0; credentials[i] != NULL; ++i) {
            cred = credentials[i];
            printf("credential %s <- %s\n",
                    abac_role_string(abac_credential_head(cred)),
                    abac_role_string(abac_credential_tail(cred))
                  );
        }

    abac_context_credentials_free(credentials);

    abac_context_free(ctx);

    return 0;
}