Anna Zaks | 9fe8098 | 2012-03-22 00:57:20 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.Malloc -analyzer-store=region -verify -fblocks %s |
Jordan Rose | 613f3c0 | 2013-03-09 00:59:10 +0000 | [diff] [blame^] | 2 | #import "Inputs/system-header-simulator-objc.h" |
| 3 | #import "Inputs/system-header-simulator-for-malloc.h" |
Anna Zaks | a7b1c47 | 2012-12-11 00:17:53 +0000 | [diff] [blame] | 4 | |
Anna Zaks | 33c364b | 2012-02-16 22:26:15 +0000 | [diff] [blame] | 5 | // Done with headers. Start testing. |
| 6 | void testNSDatafFreeWhenDoneNoError(NSUInteger dataLength) { |
| 7 | unsigned char *data = (unsigned char *)malloc(42); |
| 8 | NSData *nsdata = [NSData dataWithBytesNoCopy:data length:dataLength]; |
Anna Zaks | 33c364b | 2012-02-16 22:26:15 +0000 | [diff] [blame] | 9 | } |
| 10 | |
Anna Zaks | 7ac344a | 2012-02-24 23:56:53 +0000 | [diff] [blame] | 11 | void testNSDataFreeWhenDoneYES(NSUInteger dataLength) { |
| 12 | unsigned char *data = (unsigned char *)malloc(42); |
| 13 | NSData *nsdata = [NSData dataWithBytesNoCopy:data length:dataLength freeWhenDone:1]; // no-warning |
| 14 | } |
| 15 | |
| 16 | void testNSDataFreeWhenDoneYES2(NSUInteger dataLength) { |
| 17 | unsigned char *data = (unsigned char *)malloc(42); |
| 18 | NSData *nsdata = [[NSData alloc] initWithBytesNoCopy:data length:dataLength freeWhenDone:1]; // no-warning |
| 19 | } |
| 20 | |
Anna Zaks | a7b1c47 | 2012-12-11 00:17:53 +0000 | [diff] [blame] | 21 | void testNSDataFreeWhenDoneYES2_with_wrapper(NSUInteger dataLength) { |
| 22 | unsigned char *data = (unsigned char *)malloc(42); |
| 23 | Wrapper *nsdata = [[Wrapper alloc] initWithBytesNoCopy:data length:dataLength]; // no-warning |
| 24 | } |
| 25 | |
Anna Zaks | 26712c8 | 2012-06-22 22:42:30 +0000 | [diff] [blame] | 26 | void testNSStringFreeWhenDoneYES3(NSUInteger dataLength) { |
| 27 | unsigned char *data = (unsigned char *)malloc(42); |
| 28 | NSString *nsstr = [[NSString alloc] initWithBytesNoCopy:data length:dataLength encoding:NSUTF8StringEncoding freeWhenDone:1]; |
| 29 | } |
| 30 | |
| 31 | void testNSStringFreeWhenDoneYES4(NSUInteger dataLength) { |
| 32 | unichar *data = (unichar*)malloc(42); |
| 33 | NSString *nsstr = [[NSString alloc] initWithCharactersNoCopy:data length:dataLength freeWhenDone:1]; |
| 34 | free(data); //expected-warning {{Attempt to free non-owned memory}} |
| 35 | } |
Anna Zaks | 7ac344a | 2012-02-24 23:56:53 +0000 | [diff] [blame] | 36 | |
| 37 | void testNSStringFreeWhenDoneYES(NSUInteger dataLength) { |
| 38 | unsigned char *data = (unsigned char *)malloc(42); |
| 39 | NSString *nsstr = [[NSString alloc] initWithBytesNoCopy:data length:dataLength encoding:NSUTF8StringEncoding freeWhenDone:1]; // no-warning |
| 40 | } |
| 41 | |
| 42 | void testNSStringFreeWhenDoneYES2(NSUInteger dataLength) { |
| 43 | unichar *data = (unichar*)malloc(42); |
| 44 | NSString *nsstr = [[NSString alloc] initWithCharactersNoCopy:data length:dataLength freeWhenDone:1]; // no-warning |
| 45 | } |
| 46 | |
| 47 | |
| 48 | void testNSDataFreeWhenDoneNO(NSUInteger dataLength) { |
| 49 | unsigned char *data = (unsigned char *)malloc(42); |
| 50 | NSData *nsdata = [NSData dataWithBytesNoCopy:data length:dataLength freeWhenDone:0]; // expected-warning{{leak}} |
| 51 | } |
| 52 | |
| 53 | void testNSDataFreeWhenDoneNO2(NSUInteger dataLength) { |
| 54 | unsigned char *data = (unsigned char *)malloc(42); |
| 55 | NSData *nsdata = [[NSData alloc] initWithBytesNoCopy:data length:dataLength freeWhenDone:0]; // expected-warning{{leak}} |
| 56 | } |
| 57 | |
| 58 | |
| 59 | void testNSStringFreeWhenDoneNO(NSUInteger dataLength) { |
| 60 | unsigned char *data = (unsigned char *)malloc(42); |
| 61 | NSString *nsstr = [[NSString alloc] initWithBytesNoCopy:data length:dataLength encoding:NSUTF8StringEncoding freeWhenDone:0]; // expected-warning{{leak}} |
| 62 | } |
| 63 | |
| 64 | void testNSStringFreeWhenDoneNO2(NSUInteger dataLength) { |
| 65 | unichar *data = (unichar*)malloc(42); |
| 66 | NSString *nsstr = [[NSString alloc] initWithCharactersNoCopy:data length:dataLength freeWhenDone:0]; // expected-warning{{leak}} |
| 67 | } |
| 68 | |
Jordan Rose | 613f3c0 | 2013-03-09 00:59:10 +0000 | [diff] [blame^] | 69 | void testOffsetFree() { |
| 70 | int *p = (int *)malloc(sizeof(int)); |
| 71 | NSData *nsdata = [NSData dataWithBytesNoCopy:++p length:sizeof(int) freeWhenDone:1]; // expected-warning{{Argument to free() is offset by 4 bytes from the start of memory allocated by malloc()}} |
| 72 | } |
| 73 | |
Anna Zaks | 0d6989b | 2012-06-22 02:04:31 +0000 | [diff] [blame] | 74 | void testRelinquished1() { |
| 75 | void *data = malloc(42); |
| 76 | NSData *nsdata = [NSData dataWithBytesNoCopy:data length:42 freeWhenDone:1]; |
| 77 | free(data); // expected-warning {{Attempt to free non-owned memory}} |
| 78 | } |
| 79 | |
| 80 | void testRelinquished2() { |
| 81 | void *data = malloc(42); |
| 82 | NSData *nsdata; |
| 83 | free(data); |
| 84 | [NSData dataWithBytesNoCopy:data length:42]; // expected-warning {{Attempt to free released memory}} |
Anna Zaks | 33c364b | 2012-02-16 22:26:15 +0000 | [diff] [blame] | 85 | } |
Anna Zaks | 06a77fc | 2012-02-28 01:54:22 +0000 | [diff] [blame] | 86 | |
Jordan Rose | 613f3c0 | 2013-03-09 00:59:10 +0000 | [diff] [blame^] | 87 | void testNoCopy() { |
| 88 | char *p = (char *)calloc(sizeof(int), 1); |
| 89 | CustomData *w = [CustomData somethingNoCopy:p]; // no-warning |
| 90 | } |
| 91 | |
| 92 | void testFreeWhenDone() { |
| 93 | char *p = (char *)calloc(sizeof(int), 1); |
| 94 | CustomData *w = [CustomData something:p freeWhenDone:1]; // no-warning |
| 95 | } |
| 96 | |
| 97 | void testFreeWhenDonePositive() { |
| 98 | char *p = (char *)calloc(sizeof(int), 1); |
| 99 | CustomData *w = [CustomData something:p freeWhenDone:0]; // expected-warning{{leak}} |
| 100 | } |
| 101 | |
| 102 | void testFreeWhenDoneNoCopy() { |
| 103 | int *p = (int *)malloc(sizeof(int)); |
| 104 | CustomData *w = [CustomData somethingNoCopy:p length:sizeof(int) freeWhenDone:1]; // no-warning |
| 105 | } |
| 106 | |
| 107 | void testFreeWhenDoneNoCopyPositive() { |
| 108 | int *p = (int *)malloc(sizeof(int)); |
| 109 | CustomData *w = [CustomData somethingNoCopy:p length:sizeof(int) freeWhenDone:0]; // expected-warning{{leak}} |
| 110 | } |
| 111 | |
Anna Zaks | e0c03ca | 2012-02-29 18:42:47 +0000 | [diff] [blame] | 112 | // Test CF/NS...NoCopy. PR12100: Pointers can escape when custom deallocators are provided. |
Anna Zaks | 06a77fc | 2012-02-28 01:54:22 +0000 | [diff] [blame] | 113 | void testNSDatafFreeWhenDone(NSUInteger dataLength) { |
| 114 | CFStringRef str; |
| 115 | char *bytes = (char*)malloc(12); |
| 116 | str = CFStringCreateWithCStringNoCopy(0, bytes, NSNEXTSTEPStringEncoding, 0); // no warning |
| 117 | CFRelease(str); // default allocator also frees bytes |
| 118 | } |
| 119 | |
| 120 | void stringWithExternalContentsExample(void) { |
| 121 | #define BufferSize 1000 |
| 122 | CFMutableStringRef mutStr; |
| 123 | UniChar *myBuffer; |
| 124 | |
| 125 | myBuffer = (UniChar *)malloc(BufferSize * sizeof(UniChar)); |
| 126 | |
| 127 | mutStr = CFStringCreateMutableWithExternalCharactersNoCopy(0, myBuffer, 0, BufferSize, kCFAllocatorNull); // expected-warning{{leak}} |
| 128 | |
| 129 | CFRelease(mutStr); |
| 130 | //free(myBuffer); |
| 131 | } |
Anna Zaks | e0c03ca | 2012-02-29 18:42:47 +0000 | [diff] [blame] | 132 | |
| 133 | // PR12101 : pointers can escape through custom deallocators set on creation of a container. |
| 134 | void TestCallbackReleasesMemory(CFDictionaryKeyCallBacks keyCallbacks) { |
| 135 | void *key = malloc(12); |
| 136 | void *val = malloc(12); |
| 137 | CFMutableDictionaryRef x = CFDictionaryCreateMutable(kCFAllocatorDefault, 0, &keyCallbacks, &kCFTypeDictionaryValueCallBacks); |
| 138 | CFDictionarySetValue(x, key, val); |
| 139 | return;// no-warning |
| 140 | } |
Anna Zaks | 12a8b90 | 2012-03-05 17:42:10 +0000 | [diff] [blame] | 141 | |
| 142 | NSData *radar10976702() { |
| 143 | void *bytes = malloc(10); |
| 144 | return [NSData dataWithBytesNoCopy:bytes length:10]; // no-warning |
| 145 | } |
| 146 | |
Anna Zaks | 9fe8098 | 2012-03-22 00:57:20 +0000 | [diff] [blame] | 147 | void testBlocks() { |
| 148 | int *x= (int*)malloc(sizeof(int)); |
| 149 | int (^myBlock)(int) = ^(int num) { |
| 150 | free(x); |
| 151 | return num; |
| 152 | }; |
| 153 | myBlock(3); |
| 154 | } |
| 155 | |
Anna Zaks | 90ab9bf | 2012-03-30 05:48:16 +0000 | [diff] [blame] | 156 | // Test NSMapInsert. |
| 157 | @interface NSMapTable : NSObject <NSCopying, NSCoding, NSFastEnumeration> |
| 158 | @end |
| 159 | extern void *NSMapGet(NSMapTable *table, const void *key); |
| 160 | extern void NSMapInsert(NSMapTable *table, const void *key, const void *value); |
| 161 | extern void NSMapInsertKnownAbsent(NSMapTable *table, const void *key, const void *value); |
| 162 | char *strdup(const char *s); |
| 163 | |
| 164 | NSString * radar11152419(NSString *string1, NSMapTable *map) { |
| 165 | const char *strkey = "key"; |
| 166 | NSString *string = ( NSString *)NSMapGet(map, strkey); |
| 167 | if (!string) { |
| 168 | string = [string1 copy]; |
| 169 | NSMapInsert(map, strdup(strkey), (void*)string); // no warning |
| 170 | NSMapInsertKnownAbsent(map, strdup(strkey), (void*)string); // no warning |
| 171 | } |
| 172 | return string; |
| 173 | } |
| 174 | |
Anna Zaks | a651c40 | 2012-03-26 18:18:39 +0000 | [diff] [blame] | 175 | // Test that we handle pointer escaping through OSAtomicEnqueue. |
| 176 | typedef volatile struct { |
| 177 | void *opaque1; |
| 178 | long opaque2; |
| 179 | } OSQueueHead; |
| 180 | void OSAtomicEnqueue( OSQueueHead *__list, void *__new, size_t __offset) __attribute__((weak_import)); |
| 181 | static inline void radar11111210(OSQueueHead *pool) { |
| 182 | void *newItem = malloc(4); |
| 183 | OSAtomicEnqueue(pool, newItem, 4); |
| 184 | } |
| 185 | |
Anna Zaks | e8628c5 | 2012-04-06 01:00:47 +0000 | [diff] [blame] | 186 | // Pointer might escape through CGDataProviderCreateWithData (radar://11187558). |
| 187 | typedef struct CGDataProvider *CGDataProviderRef; |
| 188 | typedef void (*CGDataProviderReleaseDataCallback)(void *info, const void *data, |
| 189 | size_t size); |
| 190 | extern CGDataProviderRef CGDataProviderCreateWithData(void *info, |
| 191 | const void *data, size_t size, |
| 192 | CGDataProviderReleaseDataCallback releaseData) |
| 193 | __attribute__((visibility("default"))); |
| 194 | void *calloc(size_t, size_t); |
| 195 | |
| 196 | static void releaseDataCallback (void *info, const void *data, size_t size) { |
| 197 | #pragma unused (info, size) |
| 198 | free((void*)data); |
| 199 | } |
| 200 | void testCGDataProviderCreateWithData() { |
| 201 | void* b = calloc(8, 8); |
| 202 | CGDataProviderRef p = CGDataProviderCreateWithData(0, b, 8*8, releaseDataCallback); |
Anna Zaks | 228f9c7 | 2012-05-03 23:50:28 +0000 | [diff] [blame] | 203 | } |
| 204 | |
| 205 | // Assume that functions which take a function pointer can free memory even if |
| 206 | // they are defined in system headers and take the const pointer to the |
| 207 | // allocated memory. (radar://11160612) |
| 208 | extern CGDataProviderRef UnknownFunWithCallback(void *info, |
| 209 | const void *data, size_t size, |
| 210 | CGDataProviderReleaseDataCallback releaseData) |
| 211 | __attribute__((visibility("default"))); |
| 212 | void testUnknownFunWithCallBack() { |
| 213 | void* b = calloc(8, 8); |
| 214 | CGDataProviderRef p = UnknownFunWithCallback(0, b, 8*8, releaseDataCallback); |
| 215 | } |
| 216 | |
| 217 | // Test blocks. |
| 218 | void acceptBlockParam(void *, void (^block)(void *), unsigned); |
| 219 | void testCallWithBlockCallback() { |
| 220 | void *l = malloc(12); |
| 221 | acceptBlockParam(l, ^(void *i) { free(i); }, sizeof(char *)); |
| 222 | } |
| 223 | |
| 224 | // Test blocks in system headers. |
| 225 | void testCallWithBlockCallbackInSystem() { |
| 226 | void *l = malloc(12); |
| 227 | SystemHeaderFunctionWithBlockParam(l, ^(void *i) { free(i); }, sizeof(char *)); |
Anna Zaks | 42908c7 | 2012-06-19 05:10:32 +0000 | [diff] [blame] | 228 | } |
| 229 | |
| 230 | // Test escape into NSPointerArray. radar://11691035, PR13140 |
| 231 | void foo(NSPointerArray* pointerArray) { |
| 232 | |
| 233 | void* p1 = malloc (1024); |
| 234 | if (p1) { |
| 235 | [pointerArray addPointer:p1]; |
| 236 | } |
| 237 | |
| 238 | void* p2 = malloc (1024); |
| 239 | if (p2) { |
| 240 | [pointerArray insertPointer:p2 atIndex:1]; |
| 241 | } |
| 242 | |
| 243 | void* p3 = malloc (1024); |
| 244 | if (p3) { |
| 245 | [pointerArray replacePointerAtIndex:1 withPointer:p3]; |
| 246 | } |
| 247 | |
| 248 | // Freeing the buffer is allowed. |
| 249 | void* buffer = [pointerArray pointerAtIndex:0]; |
| 250 | free(buffer); |
Anna Zaks | e4b6d5e | 2012-06-22 22:08:09 +0000 | [diff] [blame] | 251 | } |
| 252 | |
| 253 | void noCrashOnVariableArgumentSelector() { |
| 254 | NSMutableString *myString = [NSMutableString stringWithString:@"some text"]; |
| 255 | [myString appendFormat:@"some text = %d", 3]; |
Chandler Carruth | 66a34a6 | 2012-09-12 01:11:10 +0000 | [diff] [blame] | 256 | } |
Anna Zaks | 67291b9 | 2012-11-13 03:18:01 +0000 | [diff] [blame] | 257 | |
| 258 | void test12365078_check() { |
| 259 | unichar *characters = (unichar*)malloc(12); |
| 260 | NSString *string = [[NSString alloc] initWithCharactersNoCopy:characters length:12 freeWhenDone:1]; |
| 261 | if (!string) free(characters); // no-warning |
| 262 | } |
| 263 | |
| 264 | void test12365078_nocheck() { |
| 265 | unichar *characters = (unichar*)malloc(12); |
| 266 | NSString *string = [[NSString alloc] initWithCharactersNoCopy:characters length:12 freeWhenDone:1]; |
| 267 | } |
| 268 | |
| 269 | void test12365078_false_negative() { |
| 270 | unichar *characters = (unichar*)malloc(12); |
| 271 | NSString *string = [[NSString alloc] initWithCharactersNoCopy:characters length:12 freeWhenDone:1]; |
| 272 | if (!string) {;} |
| 273 | } |
| 274 | |
| 275 | void test12365078_no_malloc(unichar *characters) { |
| 276 | NSString *string = [[NSString alloc] initWithCharactersNoCopy:characters length:12 freeWhenDone:1]; |
| 277 | if (!string) {free(characters);} |
| 278 | } |
| 279 | |
Anna Zaks | de13814 | 2012-11-13 03:34:49 +0000 | [diff] [blame] | 280 | NSString *test12365078_no_malloc_returnValue(unichar *characters) { |
Anna Zaks | 67291b9 | 2012-11-13 03:18:01 +0000 | [diff] [blame] | 281 | NSString *string = [[NSString alloc] initWithCharactersNoCopy:characters length:12 freeWhenDone:1]; |
Anna Zaks | de13814 | 2012-11-13 03:34:49 +0000 | [diff] [blame] | 282 | if (!string) { |
| 283 | return 0; // no-warning |
| 284 | } |
| 285 | return string; |
Anna Zaks | 67291b9 | 2012-11-13 03:18:01 +0000 | [diff] [blame] | 286 | } |
| 287 | |
| 288 | void test12365078_nocheck_nomalloc(unichar *characters) { |
| 289 | NSString *string = [[NSString alloc] initWithCharactersNoCopy:characters length:12 freeWhenDone:1]; |
| 290 | free(characters); // expected-warning {{Attempt to free non-owned memory}} |
| 291 | } |
| 292 | |
| 293 | void test12365078_nested(unichar *characters) { |
| 294 | NSString *string = [[NSString alloc] initWithCharactersNoCopy:characters length:12 freeWhenDone:1]; |
| 295 | if (!string) { |
| 296 | NSString *string2 = [[NSString alloc] initWithCharactersNoCopy:characters length:12 freeWhenDone:1]; |
| 297 | if (!string2) { |
| 298 | NSString *string3 = [[NSString alloc] initWithCharactersNoCopy:characters length:12 freeWhenDone:1]; |
| 299 | if (!string3) { |
| 300 | NSString *string4 = [[NSString alloc] initWithCharactersNoCopy:characters length:12 freeWhenDone:1]; |
| 301 | if (!string4) |
| 302 | free(characters); |
| 303 | } |
| 304 | } |
| 305 | } |
| 306 | } |
Anna Zaks | a14c1d0 | 2012-11-13 19:47:40 +0000 | [diff] [blame] | 307 | |
| 308 | void test12365078_check_positive() { |
| 309 | unichar *characters = (unichar*)malloc(12); |
| 310 | NSString *string = [[NSString alloc] initWithCharactersNoCopy:characters length:12 freeWhenDone:1]; |
| 311 | if (string) free(characters); // expected-warning{{Attempt to free non-owned memory}} |
| 312 | } |