f82fb06cd1
This commit moves the **alpha.security.taint.TaintPropagation** and **alpha.security.taint.GenericTaint** checkers to the **optin.taint** optional package. These checkers were stabilized and improved by recent commits thus they are ready for production use.
21 lines
541 B
Objective-C
21 lines
541 B
Objective-C
// RUN: %clang_analyze_cc1 -analyzer-checker=optin.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);
|
|
} |