48 int scanf(const char *restrict format, ...);
91   scanf("%d", &n);  in bufferScanfDirect()
97   scanf("%d", &n);  in bufferScanfArithmetic1()
104   scanf("%d", &n);  in bufferScanfArithmetic2()
111   scanf("%d", &n);  in bufferScanfAssignment()
121 …scanf("%d", t); // expected-warning {{format specifies type 'int *' but the argument has type 'int…  in scanfArg()
166   scanf("%s", addr);  in testTaintSystemCall()
178   scanf("%s", addr);  in testTaintSystemCall2()
187   scanf("%s %d", addr, &numt);  in testTaintSystemCall3()
200   scanf("%zd", &ts);  in testTaintedBufferSize()
293   scanf("%d", &x);  in testDivByZero()
300   scanf("%d", &x);  in testTaintedVLASize()
314     scanf("%d", &t);  in radar11369570_hanging()
327   scanf("%d", &i);  in SymSymExprWithDiffTypes()
335   scanf("%d", &i);  in constraintManagerShouldTreatAsOpaque()