46 Commits (25627fd4d920f3328b13d9ebac2044a1eae9a124)

Author SHA1 Message Date
Jules Villard 8b882ac1df Change license to MIT
7 years ago
Jose Blanco 6ca1b69b6f [infer][PR] fixed typos
7 years ago
Mehdi Bouaziz 1a117d7e09 Fix unique_ptr model
7 years ago
Sungkeun Cho 042dd7d9cb [inferbo] revise semantics of vector::data
7 years ago
Sungkeun Cho 54de59919e [inferbo] Prune vector's size by vector::empty() condition check
7 years ago
Jules Villard 22aca7494b [siof] understand that <iostream> initialises streams
7 years ago
Sungkeun Cho 9f9dbdb914 [Inferbo] Extend abstract domain for vector::empty
7 years ago
Jia Chen 674068996b Add model for <atomic>
7 years ago
Andrzej Kotulski 5847dd3fe9 [C++] Fix model of std::vector::size
7 years ago
Andrzej Kotulski c473f21f81 [C++] fix std::vector::empty model
7 years ago
Martino Luca a15d868fb0 Upgrading Infer to Clang 5.0
7 years ago
Jia Chen bd90e80859 Added model for std::shared_ptr's aliasing constructor
8 years ago
Mehdi Bouaziz 30e1f4295b [c++] weak_ptr model
8 years ago
Mehdi Bouaziz 2ee8321456 [cpp][model] Do not define _LIBCPP_VECTOR or _GLIBCXX_VECTOR
8 years ago
Mehdi Bouaziz 42c224c224 [cpp][bufferoverrun] Regression test for folly/memory/UninitializedMemoryHacks.cpp
8 years ago
Jules Villard b9c59b2b1d [vector] model beginPtr and endPtr separately
8 years ago
Jules Villard 6388910b96 [inferbo] vector::get() returns an allocated value
8 years ago
Mehdi Bouaziz 69e0063593 [vector] Define _LIBCPP_VECTOR / _GLIBCXX_VECTOR
8 years ago
Mehdi Bouaziz 70c4aec26e [inferbo] Fix vector model
8 years ago
Andrzej Kotulski c6e2046848 [C++] Fix various issues with unique_ptr model
8 years ago
Mehdi Bouaziz 174c0091ae [inferbo] std::vector model for inferbo
8 years ago
Andrzej Kotulski 21af28619f [C++] Use annotate attribute instead of deprecated
8 years ago
Andrzej Kotulski 87364bf8f6 [C++ models] Fix compilation errors with make_shared/unique
8 years ago
Andrzej Kotulski 40c84077d9 [C++] Fix model of std::vector
8 years ago
Andrzej Kotulski 11810d849b [C++] Fix compilation with enable_shared_from_this
8 years ago
Andrzej Kotulski 13fcb27431 [C++] Fix compilation errors coming from smart pointer models
8 years ago
Andrzej Kotulski 4512fcd8ef [tests] Create integration tests for clang translation logic
8 years ago
Andrzej Kotulski 41e51bc28c Clean up smart pointer header models
8 years ago
Andrzej Kotulski 4637bf877e model unique_ptr<T> as T*
8 years ago
Andrzej Kotulski 4cd9470586 Skip Sil.Call instruction for some shared_ptr method calls
8 years ago
Andrzej Kotulski 2baf3f8456 Replace shared_ptr<T> structs with T* pointers
8 years ago
Andrzej Kotulski 761579469e Revert "[C++] Move models of smart pointers to custom namespace"
8 years ago
Andrzej Kotulski 121c968e77 Move models of smart pointers to custom namespace
8 years ago
Andrzej Kotulski 9cda4ca6bf Add models of shared_ptr comparison operators
9 years ago
Andrzej Kotulski a825831625 Model vector::resize(n) as nonempty vector
9 years ago
Andrzej Kotulski 76f7912420 Make sizeof(std::shared_ptr) = 16
9 years ago
Andrzej Kotulski 058f4455dc Modify model of std::vector
9 years ago
Andrzej Kotulski bfce6bac47 Model empty vector access
9 years ago
Andrzej Kotulski 3340a9e8a5 Create initial vector header for models
9 years ago
Andrzej Kotulski 7a91f47131 Fix definition of std::hash<unique_ptr> in C++ models
9 years ago
Andrzej Kotulski bfde405495 Fix detection of gcc version in models
9 years ago
Andrzej Kotulski f1b68fe5b9 Always define static_assert(...) to do nothing
9 years ago
Andrzej Kotulski 69860628a7 Better detection of stdlibc++/libc++ and C++11
9 years ago
Andrzej Kotulski 65449c87ab Fix unique_ptr model
9 years ago
Andrzej Kotulski 675009a2ee Add unique_ptr model
9 years ago
Andrzej Kotulski eb76a441f9 Initial implementation of shared_ptr model
9 years ago