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 d2f8028e77 [preanalysis] Adding a preanalysis to resolve local closures ... Summary: This will allow all the analyses to be able to call closures without any special treatment: we transform the call to variables that point to closures into normal function calls. We treat only ObjC blocks at the moment, with C++ lambdas to be done as a next step. We aimed to achieve certain results in Pulse (see tests: avoid memory leaks and NPEs FPs) while also keeping the biabduction analysis working as before. We also checked that for the examples analyzed Pulse behaves like the correct semantics of ObjC programs with blocks. Reviewed By: jvillard Differential Revision: D22547333 fbshipit-source-id: efe56ed51		5 years ago
..
blocks_in_heap	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
field_superclass	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
global_const	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
initialization	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
memory_leaks_benchmark	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
npe	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
procdescs	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
property	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
resource_leaks	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
returnstmt	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
subtyping	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
taint	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
variadic_methods	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
warnings	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
Makefile	[biabduction] Delete Core Foundation models for Memory Leaks	5 years ago
issues.exp	[preanalysis] Adding a preanalysis to resolve local closures	5 years ago
shared	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago