test/Analysis/taint-tester.m


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

// RUN: %clang_cc1  -analyze -analyzer-checker=alpha.security.taint,debug.TaintTest %s -verify
// expected-no-diagnostics

#import <stdarg.h>

@interface NSString
- (NSString *)stringByAppendingString:(NSString *)aString;
@end
extern void NSLog (NSString *format, ...);
extern void NSLogv(NSString *format, va_list args);

void TestLog (NSString *format, ...);
void TestLog (NSString *format, ...) {
    va_list ap;
    va_start(ap, format);
    NSString *string = @"AAA: ";
    
    NSLogv([string stringByAppendingString:format], ap);
    
    va_end(ap);
}