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.

Qianyi Shu dc502676ea [cost] add model for NSString.string_with_utf8_string_linear and NSString.length ... Summary: As title Model `NSString` as `JavaString`. Since `NSArray` does not contain information about its type of element, we do not use associate string with collection as in Java and C++. In Java, String model is implemented using java collection, and for C++, string model is implemented using vector. So instead, we use existing `JavaString` model. Reviewed By: skcho Differential Revision: D22431949 fbshipit-source-id: 7cdde1ad7		5 years ago
..
Makefile	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
arith.cpp	[inferbo] Suppress integer overflow in hash functions	5 years ago
class.cpp	…
conditional_proof_obligation.cpp	[inferbo] Add model for C++ exception throw	5 years ago
cpp_is_tricky.cpp	[inferbo] Add model: vector size	6 years ago
external.cpp	…
folly_memory_UninitializedMemoryHacks.cpp	[models] get rid of include-based C++ models	6 years ago
folly_split.cpp	[inferbo] Revise split model semantics	5 years ago
function_call.cpp	…
global.cpp	[inferbo] Check nested global array access	5 years ago
issues.exp	[cost] add model for NSString.string_with_utf8_string_linear and NSString.length	5 years ago
realloc.cpp	…
relation.cpp	…
remove_temps.cpp	…
repro1.cpp	[inferbo] Ondemand value generation of vector as function parameter	6 years ago
simple_vector.cpp	…
smart_ptr.cpp	[inferbo] Add model for std::shared_ptr<>::operator->	5 years ago
std_array.cpp	…
std_string.cpp	…
symb_arr.cpp	…
this.cpp	…
trivial.cpp	…
vector.cpp	[inferbo] Add model of vector resize	5 years ago
void_ptr.cpp	[inferbo] Downgrade issues of void pointer	6 years ago