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 40c84077d9 [C++] Fix model of std::vector ... Summary: Infer used to report null dereference when field was accessed later: ``` vector<int> v; int& a = v[0]; // should be EMPTY_VECTOR_ACCESS here, but it wasn't reported int b = a; // was NULL_DEREFERENCE here ``` To avoid this problem, model all accesses to vector as dereference of its internal `beginPtr` field. Reviewed By: jberdine Differential Revision: D4481942 fbshipit-source-id: 2142894		8 years ago
..
IR	Deprecate IList module in favour of Core List	8 years ago
backend	[C++] Fix model of std::vector	8 years ago
base	Deprecate IList module in favour of Core List	8 years ago
bufferoverrun	Deprecate IList module in favour of Core List	8 years ago
checkers	Deprecate IList module in favour of Core List	8 years ago
clang	Deprecate IList module in favour of Core List	8 years ago
eradicate	Deprecate IList module in favour of Core List	8 years ago
harness	[BetterEngineering] Remove remaining uses of polymorphic equality	8 years ago
integration	Deprecate IList module in favour of Core List	8 years ago
java	Deprecate IList module in favour of Core List	8 years ago
java_stubs	Call java frontend directly instead of using fork	8 years ago
opensource	[oss] add missing is_logging_method	8 years ago
quandary	Deprecate IList module in favour of Core List	8 years ago
scripts	[lint] fix copyright linter	8 years ago
tp/fts	[utils] Add CTypes binding of fts and implement remove_directory_tree	8 years ago
unit	Deprecate IList module in favour of Core List	8 years ago
Makefile	Inferbo	8 years ago
unary.txt	Add target to convert files to reason	9 years ago