You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Andrzej Kotulski c7d6d904f7 Whitelist std::min and std::max ... Summary: Those functions have simple enough implementations for infer to understand them Reviewed By: jvillard Differential Revision: D3463084 fbshipit-source-id: f84160f		9 years ago
..
assertions	Translate builtin_expect as its first argument. Avoids weird symb. exec. problems	9 years ago
c_tests	[clang-format] Reformat all c/cpp/objc sources with clang-format	9 years ago
memory_leaks	Translate delete of arrays with the correct destructor	9 years ago
models	Translate std::move from system headers to improve analysis quality	9 years ago
npe	doing preanalysis on-demand	9 years ago
numeric	Whitelist std::min and std::max	9 years ago
smart_ptr	Skip whitelisted functions form trace	9 years ago
subtyping	Modify cast_with_enforce.cpp test to not include <string>	9 years ago
vector	Report more cases of null dereference as empty vector access	9 years ago