source: libabac/prover.c @ 605ee1d

abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0tvf-new-xml
Last change on this file since 605ee1d was 605ee1d, checked in by Mike Ryan <mikeryan@…>, 12 years ago

be clear when a proof has failed

  • Property mode set to 100644
File size: 964 bytes
Line 
1#include <err.h>
2#include <stdio.h>
3
4#include <abac.h>
5
6#include "options.h"
7
8int main(int argc, char **argv) {
9    int i, success;
10    abac_credential_t *cred;
11
12    options_t opts = { 0, };
13    get_options(argc, argv, &opts);
14
15    abac_context_t *ctx = abac_context_new();
16    abac_context_load_directory(ctx, opts.keystore);
17
18    abac_credential_t **credentials = abac_context_query(ctx,
19        opts.role, opts.principal,
20        &success
21    );
22
23    if (success)
24        puts("success");
25    else
26        puts("fail, here's a partial proof");
27
28    if (credentials != NULL)
29        for (i = 0; credentials[i] != NULL; ++i) {
30            cred = credentials[i];
31            printf("credential %s <- %s\n",
32                    abac_role_string(abac_credential_head(cred)),
33                    abac_role_string(abac_credential_tail(cred))
34                  );
35        }
36
37    abac_context_credentials_free(credentials);
38
39    abac_context_free(ctx);
40
41    return 0;
42}
Note: See TracBrowser for help on using the repository browser.