3 int scanf(const char *restrict format, ...);
38   scanf("%d", &n);  in bufferScanfDirect()
44   scanf("%d", &n);  in bufferScanfArithmetic1()
51   scanf("%d", &n);  in bufferScanfArithmetic2()
58   scanf("%d", &n);  in bufferScanfAssignment()
68 …scanf("%d", t); // expected-warning {{format specifies type 'int *' but the argument has type 'int…  in scanfArg()
113   scanf("%s", addr);  in testTaintSystemCall()
125   scanf("%s", addr);  in testTaintSystemCall2()
134   scanf("%s %d", addr, &numt);  in testTaintSystemCall3()
141   scanf("%zd", &ts);  in testTaintedBufferSize()
176   scanf("%d", &x);  in testDivByZero()
183   scanf("%d", &x);  in testTaintedVLASize()
197     scanf("%d", &t);  in radar11369570_hanging()
210   scanf("%d", &i);  in SymSymExprWithDiffTypes()
218   scanf("%d", &i);  in constraintManagerShouldTreatAsOpaque()