You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Dulma Churchill 40143ab01c [pulse] Model CFRelease as removing the Allocated attribute rather than as free ... Summary: Because in the real semantics CFRelease can be used more than once, and also the variables can be used after CFRelease in general, modelling this as `free` causes many `USE_AFTER_FREE` errors. Now we change the model to not add the `Invalid CFree` attribute, but to just remove the `Allocated` attribute. So we can model memory leaks in the simple case of `Create` and not `CFRelease` before going out of scope, but we avoid the `USE_AFTER_FREE`. Since the model for CFRelease now diverges from free, changed the command line option for modelling to `pulse-model-release-pattern`. Reviewed By: jvillard Differential Revision: D21324895 fbshipit-source-id: ab323d981		5 years ago
..
biabduction	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
frontend	[clang] Revert "Translate SynchronizedStmt"	5 years ago
ioslints	[AL] Take API_AVAILABLE into account in the Unavailable_Api check	5 years ago
linters	[objc frontend] Keep the counter for block names local to each procedure	5 years ago
linters-def-folder	[copyright] Remove years	6 years ago
linters-for-test-only	[AL] Allow to match typedefs and pointers.	5 years ago
liveness	[copyright] Remove years	6 years ago
performance	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
pulse	[pulse] Model CFRelease as removing the Allocated attribute rather than as free	5 years ago
quandary	[copyright] Remove years	6 years ago
self-in-block	[SelfInBlock] Take ns_noescape into account when reporting captured strong self.	5 years ago
shared	[pulse] Model __bridge_transfer	5 years ago
uninit	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago