Anna Zaks | f5aa3f5 | 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 |
Anna Zaks | 3cd89ad | 2012-02-24 23:56:53 +0000 | [diff] [blame] | 2 | #include "system-header-simulator-objc.h" |
Anna Zaks | ad901a6 | 2012-02-16 22:26:15 +0000 | [diff] [blame] | 3 | |
| 4 | typedef __typeof(sizeof(int)) size_t; |
| 5 | void *malloc(size_t); |
| 6 | void free(void *); |
| 7 | |
| 8 | // Done with headers. Start testing. |
| 9 | void testNSDatafFreeWhenDoneNoError(NSUInteger dataLength) { |
| 10 | unsigned char *data = (unsigned char *)malloc(42); |
| 11 | NSData *nsdata = [NSData dataWithBytesNoCopy:data length:dataLength]; |
| 12 | free(data); // no warning |
| 13 | } |
| 14 | |
Anna Zaks | 3cd89ad | 2012-02-24 23:56:53 +0000 | [diff] [blame] | 15 | void testNSDataFreeWhenDoneYES(NSUInteger dataLength) { |
| 16 | unsigned char *data = (unsigned char *)malloc(42); |
| 17 | NSData *nsdata = [NSData dataWithBytesNoCopy:data length:dataLength freeWhenDone:1]; // no-warning |
| 18 | } |
| 19 | |
| 20 | void testNSDataFreeWhenDoneYES2(NSUInteger dataLength) { |
| 21 | unsigned char *data = (unsigned char *)malloc(42); |
| 22 | NSData *nsdata = [[NSData alloc] initWithBytesNoCopy:data length:dataLength freeWhenDone:1]; // no-warning |
| 23 | } |
| 24 | |
| 25 | |
| 26 | void testNSStringFreeWhenDoneYES(NSUInteger dataLength) { |
| 27 | unsigned char *data = (unsigned char *)malloc(42); |
| 28 | NSString *nsstr = [[NSString alloc] initWithBytesNoCopy:data length:dataLength encoding:NSUTF8StringEncoding freeWhenDone:1]; // no-warning |
| 29 | } |
| 30 | |
| 31 | void testNSStringFreeWhenDoneYES2(NSUInteger dataLength) { |
| 32 | unichar *data = (unichar*)malloc(42); |
| 33 | NSString *nsstr = [[NSString alloc] initWithCharactersNoCopy:data length:dataLength freeWhenDone:1]; // no-warning |
| 34 | } |
| 35 | |
| 36 | |
| 37 | void testNSDataFreeWhenDoneNO(NSUInteger dataLength) { |
| 38 | unsigned char *data = (unsigned char *)malloc(42); |
| 39 | NSData *nsdata = [NSData dataWithBytesNoCopy:data length:dataLength freeWhenDone:0]; // expected-warning{{leak}} |
| 40 | } |
| 41 | |
| 42 | void testNSDataFreeWhenDoneNO2(NSUInteger dataLength) { |
| 43 | unsigned char *data = (unsigned char *)malloc(42); |
| 44 | NSData *nsdata = [[NSData alloc] initWithBytesNoCopy:data length:dataLength freeWhenDone:0]; // expected-warning{{leak}} |
| 45 | } |
| 46 | |
| 47 | |
| 48 | void testNSStringFreeWhenDoneNO(NSUInteger dataLength) { |
| 49 | unsigned char *data = (unsigned char *)malloc(42); |
| 50 | NSString *nsstr = [[NSString alloc] initWithBytesNoCopy:data length:dataLength encoding:NSUTF8StringEncoding freeWhenDone:0]; // expected-warning{{leak}} |
| 51 | } |
| 52 | |
| 53 | void testNSStringFreeWhenDoneNO2(NSUInteger dataLength) { |
| 54 | unichar *data = (unichar*)malloc(42); |
| 55 | NSString *nsstr = [[NSString alloc] initWithCharactersNoCopy:data length:dataLength freeWhenDone:0]; // expected-warning{{leak}} |
| 56 | } |
| 57 | |
| 58 | // TODO: False Negative. |
| 59 | void testNSDatafFreeWhenDoneFN(NSUInteger dataLength) { |
Anna Zaks | ad901a6 | 2012-02-16 22:26:15 +0000 | [diff] [blame] | 60 | unsigned char *data = (unsigned char *)malloc(42); |
| 61 | NSData *nsdata = [NSData dataWithBytesNoCopy:data length:dataLength freeWhenDone:1]; |
| 62 | free(data); // false negative |
| 63 | } |
Anna Zaks | 07d39a4 | 2012-02-28 01:54:22 +0000 | [diff] [blame] | 64 | |
Anna Zaks | ca23eb2 | 2012-02-29 18:42:47 +0000 | [diff] [blame] | 65 | // Test CF/NS...NoCopy. PR12100: Pointers can escape when custom deallocators are provided. |
Anna Zaks | 07d39a4 | 2012-02-28 01:54:22 +0000 | [diff] [blame] | 66 | void testNSDatafFreeWhenDone(NSUInteger dataLength) { |
| 67 | CFStringRef str; |
| 68 | char *bytes = (char*)malloc(12); |
| 69 | str = CFStringCreateWithCStringNoCopy(0, bytes, NSNEXTSTEPStringEncoding, 0); // no warning |
| 70 | CFRelease(str); // default allocator also frees bytes |
| 71 | } |
| 72 | |
| 73 | void stringWithExternalContentsExample(void) { |
| 74 | #define BufferSize 1000 |
| 75 | CFMutableStringRef mutStr; |
| 76 | UniChar *myBuffer; |
| 77 | |
| 78 | myBuffer = (UniChar *)malloc(BufferSize * sizeof(UniChar)); |
| 79 | |
| 80 | mutStr = CFStringCreateMutableWithExternalCharactersNoCopy(0, myBuffer, 0, BufferSize, kCFAllocatorNull); // expected-warning{{leak}} |
| 81 | |
| 82 | CFRelease(mutStr); |
| 83 | //free(myBuffer); |
| 84 | } |
Anna Zaks | ca23eb2 | 2012-02-29 18:42:47 +0000 | [diff] [blame] | 85 | |
| 86 | // PR12101 : pointers can escape through custom deallocators set on creation of a container. |
| 87 | void TestCallbackReleasesMemory(CFDictionaryKeyCallBacks keyCallbacks) { |
| 88 | void *key = malloc(12); |
| 89 | void *val = malloc(12); |
| 90 | CFMutableDictionaryRef x = CFDictionaryCreateMutable(kCFAllocatorDefault, 0, &keyCallbacks, &kCFTypeDictionaryValueCallBacks); |
| 91 | CFDictionarySetValue(x, key, val); |
| 92 | return;// no-warning |
| 93 | } |
Anna Zaks | fb7f76f | 2012-03-05 17:42:10 +0000 | [diff] [blame] | 94 | |
| 95 | NSData *radar10976702() { |
| 96 | void *bytes = malloc(10); |
| 97 | return [NSData dataWithBytesNoCopy:bytes length:10]; // no-warning |
| 98 | } |
| 99 | |
Anna Zaks | f5aa3f5 | 2012-03-22 00:57:20 +0000 | [diff] [blame] | 100 | void testBlocks() { |
| 101 | int *x= (int*)malloc(sizeof(int)); |
| 102 | int (^myBlock)(int) = ^(int num) { |
| 103 | free(x); |
| 104 | return num; |
| 105 | }; |
| 106 | myBlock(3); |
| 107 | } |
| 108 | |
Anna Zaks | 62a5c34 | 2012-03-30 05:48:16 +0000 | [diff] [blame] | 109 | // Test NSMapInsert. |
| 110 | @interface NSMapTable : NSObject <NSCopying, NSCoding, NSFastEnumeration> |
| 111 | @end |
| 112 | extern void *NSMapGet(NSMapTable *table, const void *key); |
| 113 | extern void NSMapInsert(NSMapTable *table, const void *key, const void *value); |
| 114 | extern void NSMapInsertKnownAbsent(NSMapTable *table, const void *key, const void *value); |
| 115 | char *strdup(const char *s); |
| 116 | |
| 117 | NSString * radar11152419(NSString *string1, NSMapTable *map) { |
| 118 | const char *strkey = "key"; |
| 119 | NSString *string = ( NSString *)NSMapGet(map, strkey); |
| 120 | if (!string) { |
| 121 | string = [string1 copy]; |
| 122 | NSMapInsert(map, strdup(strkey), (void*)string); // no warning |
| 123 | NSMapInsertKnownAbsent(map, strdup(strkey), (void*)string); // no warning |
| 124 | } |
| 125 | return string; |
| 126 | } |
| 127 | |
Anna Zaks | 4cd7edf | 2012-03-26 18:18:39 +0000 | [diff] [blame] | 128 | // Test that we handle pointer escaping through OSAtomicEnqueue. |
| 129 | typedef volatile struct { |
| 130 | void *opaque1; |
| 131 | long opaque2; |
| 132 | } OSQueueHead; |
| 133 | void OSAtomicEnqueue( OSQueueHead *__list, void *__new, size_t __offset) __attribute__((weak_import)); |
| 134 | static inline void radar11111210(OSQueueHead *pool) { |
| 135 | void *newItem = malloc(4); |
| 136 | OSAtomicEnqueue(pool, newItem, 4); |
| 137 | } |
| 138 | |
Anna Zaks | 7947bb1 | 2012-04-06 01:00:47 +0000 | [diff] [blame] | 139 | // Pointer might escape through CGDataProviderCreateWithData (radar://11187558). |
| 140 | typedef struct CGDataProvider *CGDataProviderRef; |
| 141 | typedef void (*CGDataProviderReleaseDataCallback)(void *info, const void *data, |
| 142 | size_t size); |
| 143 | extern CGDataProviderRef CGDataProviderCreateWithData(void *info, |
| 144 | const void *data, size_t size, |
| 145 | CGDataProviderReleaseDataCallback releaseData) |
| 146 | __attribute__((visibility("default"))); |
| 147 | void *calloc(size_t, size_t); |
| 148 | |
| 149 | static void releaseDataCallback (void *info, const void *data, size_t size) { |
| 150 | #pragma unused (info, size) |
| 151 | free((void*)data); |
| 152 | } |
| 153 | void testCGDataProviderCreateWithData() { |
| 154 | void* b = calloc(8, 8); |
| 155 | CGDataProviderRef p = CGDataProviderCreateWithData(0, b, 8*8, releaseDataCallback); |
Anna Zaks | aca0ac5 | 2012-05-03 23:50:28 +0000 | [diff] [blame^] | 156 | } |
| 157 | |
| 158 | // Assume that functions which take a function pointer can free memory even if |
| 159 | // they are defined in system headers and take the const pointer to the |
| 160 | // allocated memory. (radar://11160612) |
| 161 | extern CGDataProviderRef UnknownFunWithCallback(void *info, |
| 162 | const void *data, size_t size, |
| 163 | CGDataProviderReleaseDataCallback releaseData) |
| 164 | __attribute__((visibility("default"))); |
| 165 | void testUnknownFunWithCallBack() { |
| 166 | void* b = calloc(8, 8); |
| 167 | CGDataProviderRef p = UnknownFunWithCallback(0, b, 8*8, releaseDataCallback); |
| 168 | } |
| 169 | |
| 170 | // Test blocks. |
| 171 | void acceptBlockParam(void *, void (^block)(void *), unsigned); |
| 172 | void testCallWithBlockCallback() { |
| 173 | void *l = malloc(12); |
| 174 | acceptBlockParam(l, ^(void *i) { free(i); }, sizeof(char *)); |
| 175 | } |
| 176 | |
| 177 | // Test blocks in system headers. |
| 178 | void testCallWithBlockCallbackInSystem() { |
| 179 | void *l = malloc(12); |
| 180 | SystemHeaderFunctionWithBlockParam(l, ^(void *i) { free(i); }, sizeof(char *)); |
Anna Zaks | 7947bb1 | 2012-04-06 01:00:47 +0000 | [diff] [blame] | 181 | } |