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
..
begin_name_override.inc	Add unique_ptr model	9 years ago
common.h	Model empty vector access	9 years ago
end_name_override.inc	Add unique_ptr model	9 years ago
portability.h	Create initial vector header for models	9 years ago
shared_ptr.h	Initial implementation of shared_ptr model	9 years ago
unique_ptr.h	Fix definition of std::hash<unique_ptr> in C++ models	9 years ago
vector.h	Model empty vector access	9 years ago