infer_clone

Commit Graph

Author	SHA1	Message	Date
Andrzej Kotulski	0a32ff4400	Translate std::move from system headers to improve analysis quality Summary:public Implementation of std::move is straightforward and infer understands it without any problems. To use it, we translate it even though it's coming from system headers. Reviewed By: jvillard Differential Revision: D3064019 fb-gh-sync-id: 823ae75 shipit-source-id: 823ae75	9 years ago
Andrzej Kotulski	eb76a441f9	Initial implementation of shared_ptr model Summary:public Create initial model of C++ std::shared_ptr. This means that infer will replace implementation of shared_ptr and the resulting binary will change. Make sure no one will run it by crashing any binary that includes that code. Reviewed By: jvillard Differential Revision: D2999948 fb-gh-sync-id: 5753559 shipit-source-id: 5753559	9 years ago

Author

SHA1

Message

Date

Andrzej Kotulski

0a32ff4400

Translate std::move from system headers to improve analysis quality

Summary:public
Implementation of std::move is straightforward and infer understands it without
any problems. To use it, we translate it even though it's coming from system headers.

Reviewed By: jvillard

Differential Revision: D3064019

fb-gh-sync-id: 823ae75
shipit-source-id: 823ae75

Andrzej Kotulski

eb76a441f9

Initial implementation of shared_ptr model

Summary:public
Create initial model of C++ std::shared_ptr. This means that infer will replace implementation of
shared_ptr and the resulting binary will change. Make sure no one will run it by crashing any binary that includes that code.

Reviewed By: jvillard

Differential Revision: D2999948

fb-gh-sync-id: 5753559
shipit-source-id: 5753559

2 Commits (c6438da919c9c7e3556977c8eabad05cbc93e894)