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
..
BUCK	Refactoring of tests, separating the tests for linters	9 years ago
BoxedPtrTest.java	Refactoring of tests, separating the tests for linters	9 years ago
CBugsTest.java	Refactoring of tests, separating the tests for linters	9 years ago
ClassTemplateTest.java	Refactoring of tests, separating the tests for linters	9 years ago
ConstructorInitTest.java	Refactoring of tests, separating the tests for linters	9 years ago
ConstructorNewTest.java	Refactoring of tests, separating the tests for linters	9 years ago
ConstructorWithBodyTest.java	Refactoring of tests, separating the tests for linters	9 years ago
ConversionOperatorTest.java	Refactoring of tests, separating the tests for linters	9 years ago
CopyMoveConstructorTest.java	Refactoring of tests, separating the tests for linters	9 years ago
DerefAfterMoveTest.java	Refactoring of tests, separating the tests for linters	9 years ago
DynamicCastTest.java	Refactoring of tests, separating the tests for linters	9 years ago
ExceptionsTest.java	Refactoring of tests, separating the tests for linters	9 years ago
FallthroughTest.java	Refactoring of tests, separating the tests for linters	9 years ago
FunctionTemplateTest.java	Refactoring of tests, separating the tests for linters	9 years ago
IncludeHeaderNoTemplTest.java	Refactoring of tests, separating the tests for linters	9 years ago
IncludeHeaderTemplTest.java	Refactoring of tests, separating the tests for linters	9 years ago
InheritanceFieldTest.java	Refactoring of tests, separating the tests for linters	9 years ago
LValueConditionalTest.java	Refactoring of tests, separating the tests for linters	9 years ago
LambdaTest.java	Refactoring of tests, separating the tests for linters	9 years ago
MemoryLeakArrayTest.java	Refactoring of tests, separating the tests for linters	9 years ago
MemoryLeakCppBucketTest.java	Refactoring of tests, separating the tests for linters	9 years ago
MemoryLeakRaiiTest.java	Fixing Memory leak false positives in C++/ObjC	8 years ago
MemoryLeakTest.java	Refactoring of tests, separating the tests for linters	9 years ago
MethodTemplateTest.java	Refactoring of tests, separating the tests for linters	9 years ago
MinMaxNumericTest.java	Refactoring of tests, separating the tests for linters	9 years ago
MoveModelTest.java	Refactoring of tests, separating the tests for linters	9 years ago
NPEAddedToB1Test.java	Refactoring of tests, separating the tests for linters	9 years ago
NPEWhenMethodCallTest.java	Refactoring of tests, separating the tests for linters	9 years ago
NamespaceFunctionTest.java	Refactoring of tests, separating the tests for linters	9 years ago
NamespaceGlobalVariableTest.java	Refactoring of tests, separating the tests for linters	9 years ago
NestedCPPOperatorsTest.java	Refactoring of tests, separating the tests for linters	9 years ago
NoNPEAfterDynamicCastTest.java	Refactoring of tests, separating the tests for linters	9 years ago
NullReturnedByMethodTest.java	Refactoring of tests, separating the tests for linters	9 years ago
ObjectDereferenceTest.java	Refactoring of tests, separating the tests for linters	9 years ago
OperatorOverloadTest.java	Refactoring of tests, separating the tests for linters	9 years ago
ReferenceFieldTest.java	Refactoring of tests, separating the tests for linters	9 years ago
ReferenceStructTest.java	Refactoring of tests, separating the tests for linters	9 years ago
ReferenceTypeTest.java	Refactoring of tests, separating the tests for linters	9 years ago
ResourceLeakRaiiTest.java	Fixing Resource leak false positives assuming developers use raii.	8 years ago
ReturnStructTest.java	Refactoring of tests, separating the tests for linters	9 years ago
SharedPtrConstructorsTest.java	Refactoring of tests, separating the tests for linters	9 years ago
SharedPtrDerefTest.java	Refactoring of tests, separating the tests for linters	9 years ago
SkipFunctionWithConstFormalsTest.java	do not havoc actuals of skip functions with const parameters	8 years ago
StaticMethodTest.java	Refactoring of tests, separating the tests for linters	9 years ago
StructForwardDeclareTest.java	Refactoring of tests, separating the tests for linters	9 years ago
StructPassByValueTest.java	Refactoring of tests, separating the tests for linters	9 years ago
SubtypingCheckTest.java	Refactoring of tests, separating the tests for linters	9 years ago
TempObjectTest.java	Refactoring of tests, separating the tests for linters	9 years ago
TemplateFunctionPackTest.java	Refactoring of tests, separating the tests for linters	9 years ago
TemporaryLValueTest.java	Refactoring of tests, separating the tests for linters	9 years ago
ThisNotNullTest.java	diverge on `throw`	8 years ago
ThrowAsAssertTest.java	diverge on `throw`	8 years ago
TypeIdExprTest.java	Refactoring of tests, separating the tests for linters	9 years ago
UniquePtrDerefTest.java	Refactoring of tests, separating the tests for linters	9 years ago
VectorEmptyAccessTest.java	Refactoring of tests, separating the tests for linters	9 years ago
VirtualMethodsTest.java	Refactoring of tests, separating the tests for linters	9 years ago