1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
/*-
* SPDX-License-Identifier: BSD-2-Clause
*
* Copyright (c) 2018 Alex Richardson
* All rights reserved.
*
* This software was developed by SRI International and the University of
* Cambridge Computer Laboratory under DARPA/AFRL contract FA8750-10-C-0237
* ("CTSRD"), as part of the DARPA CRASH research programme.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
* ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
* SUCH DAMAGE.
*/
#include <err.h>
#include <errno.h>
#include <inttypes.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sysexits.h>
#include "cheri_compressed_cap.h"
// #include "cheri_compressed_cap.h"
#ifdef DECOMPRESS_WITH_SAIL_GENERATED_CODE
#include "test/sail_wrapper.h"
#endif
static const char* otype_suffix(uint32_t otype) {
switch (otype) {
#define OTYPE_CASE(Name, ...) \
case CC128_##Name: return " (CC128_" #Name ")";
CC128_LS_SPECIAL_OTYPES(OTYPE_CASE, )
default: return "";
}
}
static void dump_cap_fields(const cc128_cap_t* result) {
fprintf(stderr, "Permissions: 0x%" PRIx32 "\n", cc128_get_perms(result)); // TODO: decode perms
fprintf(stderr, "User Perms: 0x%" PRIx32 "\n", cc128_get_uperms(result));
fprintf(stderr, "Base: 0x%016" PRIx64 "\n", result->cr_base);
fprintf(stderr, "Offset: 0x%016" PRIx64 "\n", result->_cr_cursor - result->cr_base);
fprintf(stderr, "Cursor: 0x%016" PRIx64 "\n", result->_cr_cursor);
cc128_length_t length = result->_cr_top - result->cr_base;
fprintf(stderr, "Length: 0x%" PRIx64 "%016" PRIx64 " %s\n", (uint64_t)(length >> 64), (uint64_t)length,
length > UINT64_MAX ? " (greater than UINT64_MAX)" : "");
cc128_length_t top_full = result->_cr_top;
fprintf(stderr, "Top: 0x%" PRIx64 "%016" PRIx64 " %s\n", (uint64_t)(top_full >> 64), (uint64_t)top_full,
top_full > UINT64_MAX ? " (greater than UINT64_MAX)" : "");
fprintf(stderr, "Sealed: %d\n", cc128_is_cap_sealed(result) ? 1 : 0);
uint32_t otype = cc128_get_otype(result);
fprintf(stderr, "OType: 0x%" PRIx32 "%s\n", otype, otype_suffix(otype));
fprintf(stderr, "Flags: 0x%" PRIx8 "\n", cc128_get_flags(result));
fprintf(stderr, "Reserved: 0x%" PRIx8 "\n", cc128_get_reserved(result));
fprintf(stderr, "Valid decompress: %s", result->cr_bounds_valid ? "yes" : "no");
fprintf(stderr, "\n");
}
int main(int argc, char** argv) {
//fprintf(stderr, "CC128_NULL_XOR_MASK=0x%llx\n", (long long)CC128_NULL_XOR_MASK);
//fprintf(stderr, "CC128_NULL_PESBT =0x%llx\n", (long long)CC128_NULL_PESBT);
if (argc < 3) {
fprintf(stderr, "Usage: %s PESBT CURSOR\n", argv[0]);
return EXIT_FAILURE;
}
errno = 0;
char* end;
uint64_t pesbt = strtoull(argv[1], &end, 16);
if (errno != 0 || !end || *end != '\0') {
err(EX_DATAERR, "pesbt not a valid hex number: %s", argv[1]);
}
uint64_t cursor = strtoull(argv[2], &end, 16);
if (errno != 0 || !end || *end != '\0') {
err(EX_DATAERR, "cursor not a valid hex number: %s", argv[2]);
}
cc128_cap_t result;
memset(&result, 0, sizeof(result));
printf("Decompressing pesbt = %016" PRIx64 ", cursor = %016" PRIx64 "\n", pesbt, cursor);
#ifdef DECOMPRESS_WITH_SAIL_GENERATED_CODE
sail_decode_128_mem(pesbt, cursor, false, &result);
#else
cc128_decompress_mem(pesbt, cursor, false, &result);
#endif
dump_cap_fields(&result);
#ifdef DECOMPRESS_WITH_SAIL_GENERATED_CODE
uint64_t rt_pesbt = sail_compress_128_mem(&result);
#else
uint64_t rt_pesbt = cc128_compress_mem(&result);
#endif
printf("Re-compressed pesbt = %016" PRIx64 "%s\n", rt_pesbt, pesbt == rt_pesbt ? "" : " - WAS DESTRUCTIVE");
return EXIT_SUCCESS;
}
|