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.

Jules Villard 145cb744f6 do not havoc actuals of skip functions with const parameters ... Summary: This helps avoid some unintended reports where the actual is known to point to a specific object before a call to a skipped function. This requires a change in the plugin to export more info about const types. Reviewed By: dulmarod Differential Revision: D3711901 fbshipit-source-id: f5c903e		8 years ago
..
boxed_ptr.cpp	Initial implementation of shared_ptr model	9 years ago
method_call.cpp	Add extra dereference to the variable of the method call to find null dereferences when a method called with null.	9 years ago
method_call.cpp.dot	fix ugly printing of NONE idents	8 years ago
npe_added_to_b1.cpp	Fix bucketing for variables passed by reference	9 years ago
null_returned_by_method.cpp	[clang-format] Reformat all c/cpp/objc sources with clang-format	9 years ago
object_deref.cpp	[clang-format] Reformat all c/cpp/objc sources with clang-format	9 years ago
skip_function_with_const_formals.cpp	do not havoc actuals of skip functions with const parameters	8 years ago
this_not_null.cpp	Fix indentation of multiline copyright comment	9 years ago
throw_as_assert.cpp	diverge on `throw`	8 years ago