
typedef enum {
	MYONETHOUSAND = 1000
} myenum;

typedef int MYINT;

void f(char *s, int i, unsigned char *us, const char *cs, signed char *ss, char c, MYINT mi, unsigned long long ull) {
    const char cc = 'x';

    printf("%s: %d\n", s, i);      // ok
    printf("%s: %f\n", s, i);      // $ Alert // not ok (int -> float)
    printf("%s", us);              // ok
    printf("%s", cs);              // ok
    printf("%s", ss);              // ok

    printf("%p", cs);              // ok
    printf("%p", i);               // $ Alert // not ok (int -> void *)
    printf("%p", &f);              // ok

    printf("%*s", i, cs);          // ok
    printf("%*s", mi, cs);         // ok
    printf("%*s", c, cs);          // ok
    printf("%*s", cc, cs);         // ok
    printf("%*s", i, i);           // $ Alert // not ok (int -> char *)
    printf("%d %% %*s", i, i, cs); // ok
    printf("%*s", cs, cs);         // $ Alert // not ok (the width argument should be integer)

    printf("%c", 10);              // ok
    printf("%c", 1000);            // not ok [NOT DETECTED]
    printf("%wc", 10);             // ok
    printf("%wc", 1000);           // ok
    printf("%u", -1);              // not ok [NOT DETECTED]
    printf("%u", 10);              // ok
    printf("%u", 1000);            // ok

    printf("%i", MYONETHOUSAND);     // ok
    printf("%s", MYONETHOUSAND);     // $ Alert // not ok (enum -> char *)
    printf("%c", MYONETHOUSAND);     // not ok (enum -> char) [NOT DETECTED]

    printf("%i", mi);                // ok
    printf("%u", mi);                // not ok (int -> unsigned int) [NOT DETECTED]

    printf("%d", ull);               // $ Alert // not ok (unsigned long long -> int)
    printf("%u", ull);               // $ Alert // not ok (unsigned long long -> unsigned int)
    printf("%x", ull);               // $ Alert // not ok (unsigned long long -> unsigned int)
    printf("%Lx", ull);              // ok
    printf("%llx", ull);             // ok
}

typedef size_t SIZE_T;

void g()
{
    unsigned long ul;
    size_t st;
    SIZE_T ST;
    const size_t c_st = sizeof(st);
    const SIZE_T C_ST = sizeof(st);
    ssize_t sst;

    printf("%zu", ul); // ok (dubious, e.g. on 64-bit Windows `long` is 4 bytes but `size_t` is 8)
    printf("%zu", st); // ok
    printf("%zu", ST); // ok
    printf("%zu", c_st); // ok
    printf("%zu", C_ST); // ok
    printf("%zu", sizeof(ul)); // ok
    printf("%zu", sst); // not ok [NOT DETECTED]

    printf("%zd", ul); // not ok [NOT DETECTED]
    printf("%zd", st); // not ok [NOT DETECTED]
    printf("%zd", ST); // not ok [NOT DETECTED]
    printf("%zd", c_st); // not ok [NOT DETECTED]
    printf("%zd", C_ST); // not ok [NOT DETECTED]
    printf("%zd", sizeof(ul)); // not ok [NOT DETECTED]
    printf("%zd", sst); // ok
    {
        char *ptr_a, *ptr_b;
        char buf[100];

        printf("%tu", ptr_a - ptr_b); // ok
        printf("%td", ptr_a - ptr_b); // ok
        printf("%zu", ptr_a - ptr_b); // ok (dubious)
        printf("%zd", ptr_a - ptr_b); // ok (dubious)
    }
}

void h(int i, struct some_type *j, int k)
{
	// %R is a made-up format symbol, to simulate something obscure that we don't
	// recognize.  We should not report a problem if we're unable to understand what's
	// going on.
	printf("%i %R %i", i, j, k); // GOOD (as far as we can tell)
}

typedef long ptrdiff_t;

void fun1(unsigned char* a, unsigned char* b) {
  ptrdiff_t pdt;

  printf("%td\n", pdt); // GOOD
  printf("%td\n", a-b); // GOOD
}

void extensions()
{
	{
		long double ld;
		double d;

		printf("%Lg", ld); // GOOD
		printf("%llg", ld); // GOOD (nonstandard equivalent to %Lg)
		printf("%Lg", d); // $ Alert // BAD (should be %g)
		printf("%llg", d); // $ Alert // BAD (should be %g)
	}

	{
		long long int lli;
		long int li;

		printf("%lld", lli); // GOOD
		printf("%Ld", lli); // GOOD (nonstandard equivalent to %lld)
		printf("%Ld", li); // BAD (should be %ld) [NOT DETECTED]
		printf("%lld", li); // BAD (should be %ld) [NOT DETECTED]
	}

	{
		unsigned long long int ulli;
		unsigned long int uli;

		printf("%llu", ulli); // GOOD
		printf("%Lu", ulli); // GOOD (nonstandard equivalent to %llu)
		printf("%Lu", uli); // BAD (should be %lu) [NOT DETECTED]
		printf("%llu", uli); // BAD (should be %lu) [NOT DETECTED]
	}
}

void fun4()
{
  int i;
  unsigned int ui;
  long l;
  unsigned long ul;
  long long ll;
  unsigned long long ull;

  printf("%qi\n", i); // $ Alert // BAD
  printf("%qu\n", ui); // $ Alert // BAD
  printf("%qi\n", l); // GOOD
  printf("%qu\n", ul); // GOOD
  printf("%qi\n", ll); // GOOD
  printf("%qu\n", ull); // GOOD
}

void complexFormatSymbols(int i, const char *s)
{
  // positional arguments
  printf("%1$i", i, s); // GOOD
  printf("%2$s", i, s); // GOOD
  printf("%1$s", i, s); // $ Alert // BAD
  printf("%2$i", i, s); // $ Alert // BAD

  // width / precision
  printf("%4i", i); // GOOD
  printf("%.4i", i); // GOOD
  printf("%4.4i", i); // GOOD
  printf("%4s", i); // $ Alert // BAD
  printf("%.4s", i); // $ Alert // BAD
  printf("%4.4s", i); // $ Alert // BAD

  printf("%4s", s); // GOOD
  printf("%.4s", s); // GOOD
  printf("%4.4s", s); // GOOD
  printf("%4i", s); // $ Alert // BAD
  printf("%.4i", s); // $ Alert // BAD
  printf("%4.4i", s); // $ Alert // BAD

  // variable width / precision
  printf("%*s", i, s); // GOOD
  printf("%*s", s, s); // $ Alert // BAD
  printf("%*s", i, i); // $ Alert // BAD
  printf("%.*s", i, s); // GOOD
  printf("%.*s", s, s); // $ Alert // BAD
  printf("%.*s", i, i); // $ Alert // BAD
  printf("%*.4s", i, s); // GOOD
  printf("%*.4s", s, s); // $ Alert // BAD
  printf("%*.4s", i, i); // $ Alert // BAD
  printf("%4.*s", i, s); // GOOD
  printf("%4.*s", s, s); // $ Alert // BAD
  printf("%4.*s", i, i); // $ Alert // BAD
  printf("%*.*s", i, i, s); // GOOD
  printf("%*.*s", s, i, s); // $ Alert // BAD
  printf("%*.*s", i, s, s); // $ Alert // BAD
  printf("%*.*s", i, i, i); // $ Alert // BAD

  // positional arguments mixed with variable width / precision
  printf("%2$*1$s", i, s); // GOOD
  printf("%2$*2$s", i, s); // $ Alert // BAD
  printf("%1$*1$s", i, s); // $ Alert // BAD

  printf("%2$*1$.4s", i, s); // GOOD
  printf("%2$*2$.4s", i, s); // $ Alert // BAD
  printf("%1$*1$.4s", i, s); // $ Alert // BAD

  printf("%2$.*1$s", i, s); // GOOD
  printf("%2$.*2$s", i, s); // $ Alert // BAD
  printf("%1$.*1$s", i, s); // $ Alert // BAD

  printf("%2$4.*1$s", i, s); // GOOD
  printf("%2$4.*2$s", i, s); // $ Alert // BAD
  printf("%1$4.*1$s", i, s); // $ Alert // BAD

  printf("%2$*1$.*1$s", i, s); // GOOD
  printf("%2$*2$.*1$s", i, s); // $ Alert // BAD
  printf("%2$*1$.*2$s", i, s); // $ Alert // BAD
  printf("%1$*1$.*1$s", i, s); // $ Alert // BAD

  // left justify flag
  printf("%-4s", s); // GOOD
  printf("%1$-4s", s); // GOOD
  printf("%-4i", s); // $ Alert // BAD
  printf("%1$-4i", s); // $ Alert // BAD

  printf("%1$-4s", s, i); // GOOD
  printf("%2$-4s", s, i); // $ Alert // BAD

  printf("%1$-.4s", s, i); // GOOD
  printf("%2$-.4s", s, i); // $ Alert // BAD

  printf("%1$-4.4s", s, i); // GOOD
  printf("%2$-4.4s", s, i); // $ Alert // BAD

  printf("%1$-*2$s", s, i); // GOOD
  printf("%2$-*2$s", s, i); // $ Alert // BAD
  printf("%1$-*1$s", s, i); // $ Alert // BAD
}

void myvsnprintf(const char *format_string, char *target, size_t buffer_size, va_list args)
{
	// wraps vsnprintf with different parameter order
	vsnprintf(target, buffer_size, format_string, args);
}

void mysprintf(const char *format_string, char *target, size_t buffer_size, ...)
{
	// wraps myvsnprintf as an snprintf-like
	va_list args;

	va_start(args, text);
		myvsnprintf(format_string, target, buffer_size, args);

		// ...

	va_end(args);
}

void myprintf(const char *format_string, ...)
{
	// wraps myvsnprintf as an printf-like (i.e. doesn't pass in a buffer from the caller)
	char buffer[1024];
	va_list args;

	va_start(args, text);
		myvsnprintf(format_string, buffer, 1024, args);

		// ...

	va_end(args);
}

void usemyprintf(int i, char *s)
{
	char buffer[1024];

	mysprintf("%i", buffer, 1024, i); // GOOD
	mysprintf("%i", buffer, 1024, s); // $ Alert // BAD
	myprintf("%i", i); // GOOD
	myprintf("%i", s); // $ Alert // BAD
}
