3 Commits (13cb7d8ed94faae1a5aeab8afeead3996e09df9d)

Author	SHA1	Message	Date
Andrzej Kotulski	bfce6bac47	Model empty vector access ... Summary: Create model of C++ std::vector to find occurrences when vector which might be empty is accessed. Do it by triggering null dereference every time empty vector access is performed. Note: model will be used only when c++11 (or c++14) are used. Reviewed By: sblackshear Differential Revision: D3276203 fbshipit-source-id: 420a95a	9 years ago
Andrzej Kotulski	f1b68fe5b9	Always define static_assert(...) to do nothing ... Summary:public In order to make infer more resiliant to compilation failure, make static_assert to do nothing. As a bonus, set _FORTIFY_SOURCE inside same file instead of command line Reviewed By: jvillard Differential Revision: D3133446 fb-gh-sync-id: 590f4ad fbshipit-source-id: 590f4ad	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	10 years ago