taint-tester.m revision cdc3a89d5de90b2299c56f4a46c3de590c5184d1 
1// RUN: %clang_cc1  -analyze -analyzer-checker=alpha.security.taint,debug.TaintTest %s -verify
2
3#import <stdarg.h>
4
5@interface NSString
6- (NSString *)stringByAppendingString:(NSString *)aString;
7@end
8extern void NSLog (NSString *format, ...);
9extern void NSLogv(NSString *format, va_list args);
10
11void TestLog (NSString *format, ...);
12void TestLog (NSString *format, ...) {
13    va_list ap;
14    va_start(ap, format);
15    NSString *string = @"AAA: ";
16    
17    NSLogv([string stringByAppendingString:format], ap);
18    
19    va_end(ap);
20}