infer_clone

Commit Graph

Author	SHA1	Message	Date
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

Author

SHA1

Message

Date

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

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

Jules Villard

f5786c444b

[pulse] use after free

Summary: Model `free` like `delete`.

Reviewed By: mbouaziz, skcho

Differential Revision: D10509332

fbshipit-source-id: fe4249601

3 Commits (5b76bb876f0cb529f517e7322e2200535d4781db)