4 Commits (cb9ee662c8c037ce2b7583fc45f06cc23c5bd6a1)

Author	SHA1	Message	Date
Josh Berdine	cfc1c8be36	[copyright] Remove years ... Reviewed By: jvillard Differential Revision: D15771884 fbshipit-source-id: e2997e3a3	6 years ago
Jules Villard	9dbbd68472	[pulse] apply summaries to globals too ... Summary: Similarly to function parameters (and the return value), we need to apply the pre/post of a function call to the globals mentioned in its summary. - tigthen summaries further to remember only abducible variables in the post (as well as in the pre) - take globals into account when applying pre/post pairs Reviewed By: jberdine Differential Revision: D14780800 fbshipit-source-id: fc0d180bb	6 years ago
Jules Villard	8d3363f677	[pulse] record simple double free test ... Summary: Just to make sure it is caught. Reviewed By: da319 Differential Revision: D13517263 fbshipit-source-id: 976d3a3ae	6 years ago
Jules Villard	f5786c444b	[pulse] use after free ... Summary: Model `free` like `delete`. Reviewed By: mbouaziz, skcho Differential Revision: D10509332 fbshipit-source-id: fe4249601	6 years ago