Spaces:

PYTHAI
/

bankml

Running

bankML: the whole source (github.com/cryptoAGI/bankml @ 12ae409) and its page, with the bankML persona; the live engine (Dockerfile, hf/start.sh) ready for Docker hardware

28c70af verified 15 days ago

Raw History Blame Contribute Delete

7.95 kB

/* SPDX-License-Identifier: MIT OR Apache-2.0 */
/*
 * The printf oracle for bankml_log (0.3.2): for every case, the message bankml_log delivers to the sink must equal,
 * byte for byte (length included, an embedded NUL included), what this machine's libc snprintf writes for the same
 * format and arguments. Then the cases bankml_log does not support: each must come out as its explicit marker, read
 * no argument it cannot type, and never write through %n.
 *   cc -O2 -Wall -Wextra -Wno-format -Werror printf_oracle.c -I capi/include -L target/release -lbankml
 * (-Wno-format: some cases are deliberately unusual formats.) Exit 0 only if every case passes.
 */
#include <bankml.h>
#include <float.h>
#include <limits.h>
#include <math.h>
#include <stdint.h>
#include <stdio.h>
#include <string.h>
#include <sys/types.h>

static char got[1 << 16];
static size_t got_len;
static int got_level, calls, total, failed;

static void sink(int level, const char *msg, size_t len, void *user) {
  (void)user;
  if (len >= sizeof got) len = sizeof got - 1;
  memcpy(got, msg, len);
  got_len = len;
  got_level = level;
  calls++;
  if (msg[len] != '\0') { printf("  sink: message not NUL-terminated\n"); failed++; }
}

static void show(const char *what, const char *s, size_t n) {
  printf("    %s (%zu bytes): \"", what, n);
  for (size_t i = 0; i < n; i++) {
    unsigned char c = (unsigned char)s[i];
    if (c < 32 || c == '"' || c == '\\' || c >= 127) printf("\\x%02x", c); else putchar(c);
  }
  printf("\"\n");
}

static void check(const char *label, const char *want, size_t want_len) {
  total++;
  if (got_level != BANKML_LOG_INFO || got_len != want_len || memcmp(got, want, want_len) != 0) {
    failed++;
    printf("  DIFFERS: %s\n", label);
    show("libc snprintf", want, want_len);
    show("bankml_log   ", got, got_len);
  }
}

/* the same format and arguments through snprintf and bankml_log */
#define SAME(...)                                                     \
  do {                                                                \
    static char want_[1 << 16];                                       \
    int n_ = snprintf(want_, sizeof want_, __VA_ARGS__);              \
    int before_ = calls;                                              \
    bankml_log(BANKML_LOG_INFO, __VA_ARGS__);                         \
    if (calls != before_ + 1) { failed++; printf("  no message: %s\n", #__VA_ARGS__); } \
    check(#__VA_ARGS__, want_, (size_t)n_);                           \
  } while (0)

/* a case bankml_log does not support: the exact marker text */
#define MARKED(want, ...)                                             \
  do {                                                                \
    bankml_log(BANKML_LOG_INFO, __VA_ARGS__);                         \
    check(#__VA_ARGS__, want, strlen(want));                          \
  } while (0)

int main(void) {
  bankml_set_log(sink, NULL);
  int local = 0;
  const char *s = "bankml";
  const char unterminated[2] = {'a', 'b'};

  /* integers, at their limits and in every supported length */
  SAME("%d|%d|%d|%d|%d", 0, 1, -1, INT_MIN, INT_MAX);
  SAME("%i|%i", INT_MIN, INT_MAX);
  SAME("%u|%u|%u", 0u, 1u, UINT_MAX);
  SAME("%ld|%ld|%ld", LONG_MIN, LONG_MAX, 0L);
  SAME("%lu|%lu", ULONG_MAX, 0UL);
  SAME("%lld|%lld|%lld", LLONG_MIN, LLONG_MAX, -1LL);
  SAME("%llu|%llu", ULLONG_MAX, 0ULL);
  SAME("%zu|%zu|%zd|%zd", SIZE_MAX, (size_t)0, (ssize_t)-1, (ssize_t)PTRDIFF_MAX);
  SAME("%hhd|%hhd|%hd|%hd|%hhu|%hu", 300, -129, 70000, -32769, 511u, 65537u);
  SAME("%x|%X|%x|%x|%X", 0xdeadbeefu, 0xdeadbeefu, 0u, UINT_MAX, 0xabcu);
  SAME("%#x|%#X|%#x", 255u, 255u, 0u);
  SAME("%lx|%llX|%zx|%hhx|%hx", ULONG_MAX, ULLONG_MAX, SIZE_MAX, 0x1ffu, 0x12345u);
  SAME("[%5d|%-5d|%05d|%+d|% d|%+ d|%+d]", 42, 42, -42, 7, 7, 7, -7);
  SAME("[%.3d|%.0d|%.0d|%8.3d|%-8.3d|%08.3d|%.10d]", 5, 0, 1, -5, -5, 5, INT_MIN);
  SAME("[%08x|%#010x|%-#10x|%#.6x|%.0x|%#.0x]", 0xbeefu, 0xbeefu, 0xbeefu, 0xbeefu, 0u, 0u);
  SAME("[%*d|%-*d|%*d|%.*d|%.*d|%*.*d]", 6, 42, 6, 42, -6, 42, 4, 7, -1, 7, 8, 5, -3);
  SAME("[%+u|% u|%+x|% X]", 3u, 3u, 255u, 255u);
  SAME("[%020lld|%-20llu|%+lld]", LLONG_MIN, ULLONG_MAX, LLONG_MAX);

  /* %f: precision, rounding (ties to even on the exact binary value), signs, flags, extremes, inf and nan */
  SAME("%f|%f|%f|%f", 0.0, -0.0, 1.0, -1.0);
  SAME("%f|%.3f|%.3f|%.1f", 3.14258, -2.0005, 2.0005, 0.25);
  SAME("%.0f|%.0f|%.0f|%.0f|%.0f|%.0f", 0.5, 1.5, 2.5, -0.5, 0.49999999999999994, 1e15 + 0.5);
  SAME("%.20f|%.17f|%.10f|%.30f", 0.1, 0.1 + 0.2, 1.0 / 3.0, 1e-20);
  SAME("%f|%f", 1e300, -1e300);
  SAME("%f|%.320f", DBL_MIN, DBL_MIN);
  SAME("%.1100f", 4.9406564584124654e-324);
  SAME("%f", DBL_MAX);
  SAME("[%#.0f|%#f|%#.2f]", 3.0, 3.0, 3.0);
  SAME("[%10.2f|%-10.2f|%010.2f|%+.1f|% .1f|%+010.3f|% 010.3f]", -1.005, 1.0, -3.25, 0.0, 0.0, 2.5, 2.5);
  SAME("[%*.*f|%-*.*f|%.*f]", 12, 4, 2.718281828, 12, 4, 2.718281828, -1, 2.718281828);
  SAME("[%lf|%F|%F]", 2.5, 1.25, -1.25);
  SAME("[%f|%f|%f|%f]", INFINITY, -INFINITY, NAN, -NAN);
  SAME("[%F|%F|%F|%F]", INFINITY, -INFINITY, NAN, -NAN);
  SAME("[%5f|%-6f|%05f|%+f|% f|%010F]", INFINITY, NAN, INFINITY, INFINITY, NAN, -INFINITY);
  SAME("%.3f|%.3f|%.3f", 1e-4, 9.9995, 0.0005);

  /* strings */
  SAME("[%s|%s|%10s|%-10s|%.3s|%.0s|%.10s]", s, "", s, s, s, s, s);
  SAME("[%.*s|%*s|%-*s|%*.*s]", 2, s, -9, s, 9, s, 8, 3, s);
  SAME("[%s|%.5s|%.6s]", "Sav\xc3\xa9 \xf0\x9f\x98\x80", "Sav\xc3\xa9 \xf0\x9f\x98\x80", "Sav\xc3\xa9 \xf0\x9f\x98\x80");
  SAME("[%.2s]", unterminated);                 /* a precision bounds the read: no NUL needed */
  SAME("[%s|%.3s|%.6s|%10s]", (char *)NULL, (char *)NULL, (char *)NULL, (char *)NULL);

  /* characters, an embedded NUL and a high byte included */
  SAME("[%c%c|%3c|%-3c|%c|%c]", 'o', 'k', 'x', 'y', 0, 255);

  /* pointers */
  SAME("[%p|%p|%p]", (void *)0x1234, (void *)NULL, (void *)&local);
  SAME("[%20p|%-20p|%8p|%-8p]", (void *)s, (void *)s, (void *)NULL, (void *)NULL);
  SAME("[%p]", (void *)UINTPTR_MAX);

  /* %% and a mix */
  SAME("100%%");
  SAME("%s=%d (%.2f%%) %c %zu %#x %p end", "turn", -3, 99.5, 'Z', (size_t)4096, 48879u, (void *)0xff);
  SAME("no conversions at all");
  SAME("%s", "");

  int supported = total, supported_failed = failed;

  /* what bankml_log does not support: an explicit marker, never a guess */
  MARKED("%<unsupported:e>", "%e", 2.0);
  MARKED("1 %<unsupported:g> %<skipped:d> %<skipped:s> % end", "%d %g %d %s %% end", 1, 2.0, 3, s);
  MARKED("%<unsupported:o>", "%o", 8u);
  MARKED("%<unsupported:a>|%<skipped:d>", "%a|%d", 1.0, 2);
  MARKED("%<unsupported:Lf>", "%Lf", (long double)1.5);
  MARKED("%<unsupported:ls>", "%ls", L"wide");
  MARKED("%<unsupported:jd>", "%jd", (intmax_t)5);
  MARKED("%<unsupported:+s>|5", "%+s|%d", s, 5);   /* a known type: its argument is read and dropped, the rest goes on */
  MARKED("%<unsupported:05c>|6", "%05c|%d", 'q', 6);
  MARKED("%<unsupported:#p>|7", "%#p|%d", (void *)s, 7);
  MARKED("%<unsupported:#d>|8", "%#d|%d", 1, 8);
  MARKED("%<unsupported:.3c>|9", "%.3c|%d", 'q', 9);
  MARKED("%<unsupported:70000d>|10", "%70000d|%d", 1, 10);
  MARKED("%<unsupported:5%>|11", "%5%|%d", 11);
  MARKED("tail %<incomplete:>", "tail %");
  int sentinel = 12345;
  MARKED("before %<unsupported:n> %<skipped:d>", "before %n %d", &sentinel, 1);
  total++;
  if (sentinel != 12345) { failed++; printf("  DIFFERS: %%n wrote through its argument\n"); }

  printf("printf oracle: %d of %d formats byte-identical to libc snprintf (ints at their limits, every length, %%f "
         "precision and rounding, inf/nan, strings, %%c with NUL, %%p, %%%%, width/precision/*); %d of %d unsupported "
         "cases written as their marker, no argument guessed, %%n never written\n",
         supported - supported_failed, supported, (total - supported) - (failed - supported_failed), total - supported);
  bankml_set_log(NULL, NULL);
  return failed == 0 ? 0 : 1;
}

	/* SPDX-License-Identifier: MIT OR Apache-2.0 */
	/*
	* The printf oracle for bankml_log (0.3.2): for every case, the message bankml_log delivers to the sink must equal,
	* byte for byte (length included, an embedded NUL included), what this machine's libc snprintf writes for the same
	* format and arguments. Then the cases bankml_log does not support: each must come out as its explicit marker, read
	* no argument it cannot type, and never write through %n.
	* cc -O2 -Wall -Wextra -Wno-format -Werror printf_oracle.c -I capi/include -L target/release -lbankml
	* (-Wno-format: some cases are deliberately unusual formats.) Exit 0 only if every case passes.
	*/
	#include <bankml.h>
	#include <float.h>
	#include <limits.h>
	#include <math.h>
	#include <stdint.h>
	#include <stdio.h>
	#include <string.h>
	#include <sys/types.h>

	static char got[1 << 16];
	static size_t got_len;
	static int got_level, calls, total, failed;

	static void sink(int level, const char msg, size_t len, void user) {
	(void)user;
	if (len >= sizeof got) len = sizeof got - 1;
	memcpy(got, msg, len);
	got_len = len;
	got_level = level;
	calls++;
	if (msg[len] != '\0') { printf(" sink: message not NUL-terminated\n"); failed++; }
	}

	static void show(const char what, const char s, size_t n) {
	printf(" %s (%zu bytes): \"", what, n);
	for (size_t i = 0; i < n; i++) {
	unsigned char c = (unsigned char)s[i];
	if (c < 32 \|\| c == '"' \|\| c == '\\' \|\| c >= 127) printf("\\x%02x", c); else putchar(c);
	}
	printf("\"\n");
	}

	static void check(const char label, const char want, size_t want_len) {
	total++;
	if (got_level != BANKML_LOG_INFO \|\| got_len != want_len \|\| memcmp(got, want, want_len) != 0) {
	failed++;
	printf(" DIFFERS: %s\n", label);
	show("libc snprintf", want, want_len);
	show("bankml_log ", got, got_len);
	}
	}

	/* the same format and arguments through snprintf and bankml_log */
	#define SAME(...) \
	do { \
	static char want_[1 << 16]; \
	int n_ = snprintf(want_, sizeof want_, __VA_ARGS__); \
	int before_ = calls; \
	bankml_log(BANKML_LOG_INFO, __VA_ARGS__); \
	if (calls != before_ + 1) { failed++; printf(" no message: %s\n", #__VA_ARGS__); } \
	check(#__VA_ARGS__, want_, (size_t)n_); \
	} while (0)

	/* a case bankml_log does not support: the exact marker text */
	#define MARKED(want, ...) \
	do { \
	bankml_log(BANKML_LOG_INFO, __VA_ARGS__); \
	check(#__VA_ARGS__, want, strlen(want)); \
	} while (0)

	int main(void) {
	bankml_set_log(sink, NULL);
	int local = 0;
	const char *s = "bankml";
	const char unterminated[2] = {'a', 'b'};

	/* integers, at their limits and in every supported length */
	SAME("%d\|%d\|%d\|%d\|%d", 0, 1, -1, INT_MIN, INT_MAX);
	SAME("%i\|%i", INT_MIN, INT_MAX);
	SAME("%u\|%u\|%u", 0u, 1u, UINT_MAX);
	SAME("%ld\|%ld\|%ld", LONG_MIN, LONG_MAX, 0L);
	SAME("%lu\|%lu", ULONG_MAX, 0UL);
	SAME("%lld\|%lld\|%lld", LLONG_MIN, LLONG_MAX, -1LL);
	SAME("%llu\|%llu", ULLONG_MAX, 0ULL);
	SAME("%zu\|%zu\|%zd\|%zd", SIZE_MAX, (size_t)0, (ssize_t)-1, (ssize_t)PTRDIFF_MAX);
	SAME("%hhd\|%hhd\|%hd\|%hd\|%hhu\|%hu", 300, -129, 70000, -32769, 511u, 65537u);
	SAME("%x\|%X\|%x\|%x\|%X", 0xdeadbeefu, 0xdeadbeefu, 0u, UINT_MAX, 0xabcu);
	SAME("%#x\|%#X\|%#x", 255u, 255u, 0u);
	SAME("%lx\|%llX\|%zx\|%hhx\|%hx", ULONG_MAX, ULLONG_MAX, SIZE_MAX, 0x1ffu, 0x12345u);
	SAME("[%5d\|%-5d\|%05d\|%+d\|% d\|%+ d\|%+d]", 42, 42, -42, 7, 7, 7, -7);
	SAME("[%.3d\|%.0d\|%.0d\|%8.3d\|%-8.3d\|%08.3d\|%.10d]", 5, 0, 1, -5, -5, 5, INT_MIN);
	SAME("[%08x\|%#010x\|%-#10x\|%#.6x\|%.0x\|%#.0x]", 0xbeefu, 0xbeefu, 0xbeefu, 0xbeefu, 0u, 0u);
	SAME("[%d\|%-d\|%d\|%.d\|%.d\|%.*d]", 6, 42, 6, 42, -6, 42, 4, 7, -1, 7, 8, 5, -3);
	SAME("[%+u\|% u\|%+x\|% X]", 3u, 3u, 255u, 255u);
	SAME("[%020lld\|%-20llu\|%+lld]", LLONG_MIN, ULLONG_MAX, LLONG_MAX);

	/* %f: precision, rounding (ties to even on the exact binary value), signs, flags, extremes, inf and nan */
	SAME("%f\|%f\|%f\|%f", 0.0, -0.0, 1.0, -1.0);
	SAME("%f\|%.3f\|%.3f\|%.1f", 3.14258, -2.0005, 2.0005, 0.25);
	SAME("%.0f\|%.0f\|%.0f\|%.0f\|%.0f\|%.0f", 0.5, 1.5, 2.5, -0.5, 0.49999999999999994, 1e15 + 0.5);
	SAME("%.20f\|%.17f\|%.10f\|%.30f", 0.1, 0.1 + 0.2, 1.0 / 3.0, 1e-20);
	SAME("%f\|%f", 1e300, -1e300);
	SAME("%f\|%.320f", DBL_MIN, DBL_MIN);
	SAME("%.1100f", 4.9406564584124654e-324);
	SAME("%f", DBL_MAX);
	SAME("[%#.0f\|%#f\|%#.2f]", 3.0, 3.0, 3.0);
	SAME("[%10.2f\|%-10.2f\|%010.2f\|%+.1f\|% .1f\|%+010.3f\|% 010.3f]", -1.005, 1.0, -3.25, 0.0, 0.0, 2.5, 2.5);
	SAME("[%.f\|%-.f\|%.*f]", 12, 4, 2.718281828, 12, 4, 2.718281828, -1, 2.718281828);
	SAME("[%lf\|%F\|%F]", 2.5, 1.25, -1.25);
	SAME("[%f\|%f\|%f\|%f]", INFINITY, -INFINITY, NAN, -NAN);
	SAME("[%F\|%F\|%F\|%F]", INFINITY, -INFINITY, NAN, -NAN);
	SAME("[%5f\|%-6f\|%05f\|%+f\|% f\|%010F]", INFINITY, NAN, INFINITY, INFINITY, NAN, -INFINITY);
	SAME("%.3f\|%.3f\|%.3f", 1e-4, 9.9995, 0.0005);

	/* strings */
	SAME("[%s\|%s\|%10s\|%-10s\|%.3s\|%.0s\|%.10s]", s, "", s, s, s, s, s);
	SAME("[%.s\|%s\|%-s\|%.*s]", 2, s, -9, s, 9, s, 8, 3, s);
	SAME("[%s\|%.5s\|%.6s]", "Sav\xc3\xa9 \xf0\x9f\x98\x80", "Sav\xc3\xa9 \xf0\x9f\x98\x80", "Sav\xc3\xa9 \xf0\x9f\x98\x80");
	SAME("[%.2s]", unterminated); /* a precision bounds the read: no NUL needed */
	SAME("[%s\|%.3s\|%.6s\|%10s]", (char )NULL, (char )NULL, (char )NULL, (char )NULL);

	/* characters, an embedded NUL and a high byte included */
	SAME("[%c%c\|%3c\|%-3c\|%c\|%c]", 'o', 'k', 'x', 'y', 0, 255);

	/* pointers */
	SAME("[%p\|%p\|%p]", (void )0x1234, (void )NULL, (void *)&local);
	SAME("[%20p\|%-20p\|%8p\|%-8p]", (void )s, (void )s, (void )NULL, (void )NULL);
	SAME("[%p]", (void *)UINTPTR_MAX);

	/* %% and a mix */
	SAME("100%%");
	SAME("%s=%d (%.2f%%) %c %zu %#x %p end", "turn", -3, 99.5, 'Z', (size_t)4096, 48879u, (void *)0xff);
	SAME("no conversions at all");
	SAME("%s", "");

	int supported = total, supported_failed = failed;

	/* what bankml_log does not support: an explicit marker, never a guess */
	MARKED("%<unsupported:e>", "%e", 2.0);
	MARKED("1 %<unsupported:g> %<skipped:d> %<skipped:s> % end", "%d %g %d %s %% end", 1, 2.0, 3, s);
	MARKED("%<unsupported:o>", "%o", 8u);
	MARKED("%<unsupported:a>\|%<skipped:d>", "%a\|%d", 1.0, 2);
	MARKED("%<unsupported:Lf>", "%Lf", (long double)1.5);
	MARKED("%<unsupported:ls>", "%ls", L"wide");
	MARKED("%<unsupported:jd>", "%jd", (intmax_t)5);
	MARKED("%<unsupported:+s>\|5", "%+s\|%d", s, 5); /* a known type: its argument is read and dropped, the rest goes on */
	MARKED("%<unsupported:05c>\|6", "%05c\|%d", 'q', 6);
	MARKED("%<unsupported:#p>\|7", "%#p\|%d", (void *)s, 7);
	MARKED("%<unsupported:#d>\|8", "%#d\|%d", 1, 8);
	MARKED("%<unsupported:.3c>\|9", "%.3c\|%d", 'q', 9);
	MARKED("%<unsupported:70000d>\|10", "%70000d\|%d", 1, 10);
	MARKED("%<unsupported:5%>\|11", "%5%\|%d", 11);
	MARKED("tail %<incomplete:>", "tail %");
	int sentinel = 12345;
	MARKED("before %<unsupported:n> %<skipped:d>", "before %n %d", &sentinel, 1);
	total++;
	if (sentinel != 12345) { failed++; printf(" DIFFERS: %%n wrote through its argument\n"); }

	printf("printf oracle: %d of %d formats byte-identical to libc snprintf (ints at their limits, every length, %%f "
	"precision and rounding, inf/nan, strings, %%c with NUL, %%p, %%%%, width/precision/*); %d of %d unsupported "
	"cases written as their marker, no argument guessed, %%n never written\n",
	supported - supported_failed, supported, (total - supported) - (failed - supported_failed), total - supported);
	bankml_set_log(NULL, NULL);
	return failed == 0 ? 0 : 1;
	}