quebex

 1// SPDX-FileCopyrightText: 2026 Reliable System Software, Technische Universität Braunschweig <vss@ibr.cs.tu-bs.de>
 2//
 3// SPDX-License-Identifier: GPL-3.0-only
 4
 5#include <stddef.h>
 6
 7extern void quebex_make_symbolic(void *, size_t, size_t, const char *);
 8
 9int main(void) {
10	int a;
11	int buf[5];
12	quebex_make_symbolic(&a, 1, sizeof(a), "a");
13
14	if (a == 42) {
15		return 1;
16	} else if (a == 0x23523929) {
17		return buf[1024];
18	} else if (a == 1337) {
19		return 42;
20	}
21
22	return 0;
23}