pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
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.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '053d16138e'
${ noResults }
infer_clone/infer/tests/build_systems/buck/issues.exp

23 lines
6.4 KiB
Raw Normal View History Unescape

[infer][nullsafe] make the error message more explicit about the typing nature of the analysis Reviewed By: ngorogiannis Differential Revision: D13388567 fbshipit-source-id: 0dc4c2b47
6 years ago
infer/tests/build_systems/genrule/module1/Class1.java, genrule.module1.Class1.localNPE1():void, 2, ERADICATE_NULL_METHOD_CALL, no_bucket, WARNING, [origin,The value of `obj` in the call to `toString()` is nullable and is not locally checked for null. (Origin: null constant at line 24)]
[infer][nullable] remove report de-duplication between the bi-abduction analysis and Eradicate Reviewed By: ngorogiannis Differential Revision: D13368280 fbshipit-source-id: ed460c445
6 years ago
infer/tests/build_systems/genrule/module1/Class1.java, genrule.module1.Class1.localNPE1():void, 2, NULL_DEREFERENCE, no_bucket, ERROR, [start of procedure localNPE1()]
[infer] use a fully qualified name for the procedure field in the final report Summary: The `procedure` field in the final report should use the non-ambiguous fully qualified name containing the Java package declaration and the list of parameter types. Reviewed By: mbouaziz Differential Revision: D9237522 fbshipit-source-id: e9b0ff664
6 years ago
infer/tests/build_systems/genrule/module1/Class1.java, genrule.module1.Class1.unannotatedReturnNull():java.lang.Object, 0, ERADICATE_RETURN_NOT_NULLABLE, no_bucket, WARNING, [origin,Method `unannotatedReturnNull()` may return null but it is not annotated with `@Nullable`. (Origin: null constant at line 33)]
[nullsafe] translate the more attributes Summary: This allows Eradicate to detect more issues related to inconsistent annotations with sub-typing. Reviewed By: ngorogiannis Differential Revision: D9807306 fbshipit-source-id: 159d5d4e8
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2$Sub.subtypingInconsistency(java.lang.Object):java.lang.Object, 0, ERADICATE_INCONSISTENT_SUBCLASS_PARAMETER_ANNOTATION, no_bucket, WARNING, [First parameter `object` of method `Class2$Sub.subtypingInconsistency(...)` is not `@Nullable` but is declared `@Nullable`in the parent class method `Class1$Sub.subtypingInconsistency(...)`.]
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2$Sub.subtypingInconsistency(java.lang.Object):java.lang.Object, 0, ERADICATE_INCONSISTENT_SUBCLASS_RETURN_ANNOTATION, no_bucket, WARNING, [Method `Class2$Sub.subtypingInconsistency(...)` is annotated with `@Nullable` but overrides unannotated method `Class1$Sub.subtypingInconsistency(...)`.]
[infer][nullsafe] make the error message more explicit about the typing nature of the analysis Reviewed By: ngorogiannis Differential Revision: D13388567 fbshipit-source-id: 0dc4c2b47
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2.dereferenceInterTargetField1Bad(genrule.module1.Class1):void, 1, ERADICATE_NULL_METHOD_CALL, no_bucket, WARNING, [origin,The value of `class1.field1` in the call to `toString()` is nullable and is not locally checked for null. (Origin: field Class1.field1 at line 53)]
[infer][nullable] remove report de-duplication between the bi-abduction analysis and Eradicate Reviewed By: ngorogiannis Differential Revision: D13368280 fbshipit-source-id: ed460c445
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2.dereferenceInterTargetField1Bad(genrule.module1.Class1):void, 1, NULL_DEREFERENCE, no_bucket, ERROR, [start of procedure dereferenceInterTargetField1Bad(...)]
[infer][nullsafe] make the error message more explicit about the typing nature of the analysis Reviewed By: ngorogiannis Differential Revision: D13388567 fbshipit-source-id: 0dc4c2b47
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2.dereferenceInterTargetField2Bad(genrule.module1.Class1):int, 1, ERADICATE_NULL_FIELD_ACCESS, no_bucket, WARNING, [origin,Object `class1.field2` is nullable and is not locally checked for null when accessing field `Class1.x`. (Origin: field Class1.field2 at line 57)]
[infer][nullable] remove report de-duplication between the bi-abduction analysis and Eradicate Reviewed By: ngorogiannis Differential Revision: D13368280 fbshipit-source-id: ed460c445
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2.dereferenceInterTargetField2Bad(genrule.module1.Class1):int, 1, NULL_DEREFERENCE, no_bucket, ERROR, [start of procedure dereferenceInterTargetField2Bad(...)]
[infer][nullsafe] make the error message more explicit about the typing nature of the analysis Reviewed By: ngorogiannis Differential Revision: D13388567 fbshipit-source-id: 0dc4c2b47
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2.dereferenceLocalNullableFieldBad():void, 1, ERADICATE_NULL_METHOD_CALL, no_bucket, WARNING, [origin,The value of `Class2.field` in the call to `toString()` is nullable and is not locally checked for null. (Origin: field Class2.field at line 49)]
[infer][nullable] remove report de-duplication between the bi-abduction analysis and Eradicate Reviewed By: ngorogiannis Differential Revision: D13368280 fbshipit-source-id: ed460c445
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2.dereferenceLocalNullableFieldBad():void, 1, NULL_DEREFERENCE, no_bucket, ERROR, [start of procedure dereferenceLocalNullableFieldBad()]
[infer] use a fully qualified name for the procedure field in the final report Summary: The `procedure` field in the final report should use the non-ambiguous fully qualified name containing the Java package declaration and the list of parameter types. Reviewed By: mbouaziz Differential Revision: D9237522 fbshipit-source-id: e9b0ff664
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2.dereferenceUnannotatedMethodReturningNullBad(genrule.module1.Class1):void, 1, NULL_DEREFERENCE, no_bucket, ERROR, [start of procedure dereferenceUnannotatedMethodReturningNullBad(...),start of procedure unannotatedReturnNull(),return from a call to Object Class1.unannotatedReturnNull()]
[infer][nullsafe] make the error message more explicit about the typing nature of the analysis Reviewed By: ngorogiannis Differential Revision: D13388567 fbshipit-source-id: 0dc4c2b47
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2.followMethodDeclarationOnlyBad(genrule.module1.SkipImplementationClass1):void, 2, ERADICATE_NULL_METHOD_CALL, no_bucket, WARNING, [origin,The value of `obj2` in the call to `toString()` is nullable and is not locally checked for null. (Origin: call to annotatedNullable() at line 39)]
[infer][nullable] remove report de-duplication between the bi-abduction analysis and Eradicate Reviewed By: ngorogiannis Differential Revision: D13368280 fbshipit-source-id: ed460c445
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2.followMethodDeclarationOnlyBad(genrule.module1.SkipImplementationClass1):void, 2, NULL_DEREFERENCE, no_bucket, ERROR, [start of procedure followMethodDeclarationOnlyBad(...),Skipping annotatedNullable(): unknown method]
[infer][nullsafe] make the error message more explicit about the typing nature of the analysis Reviewed By: ngorogiannis Differential Revision: D13388567 fbshipit-source-id: 0dc4c2b47
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2.interTargetAbstractNPEBad(genrule.module1.Class1):void, 2, ERADICATE_NULL_METHOD_CALL, no_bucket, WARNING, [origin,The value of `obj` in the call to `toString()` is nullable and is not locally checked for null. (Origin: call to abstractMayReturnNull() at line 29)]
[infer][nullable] remove report de-duplication between the bi-abduction analysis and Eradicate Reviewed By: ngorogiannis Differential Revision: D13368280 fbshipit-source-id: ed460c445
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2.interTargetAbstractNPEBad(genrule.module1.Class1):void, 2, NULL_DEREFERENCE, no_bucket, ERROR, [start of procedure interTargetAbstractNPEBad(...),Skipping abstractMayReturnNull(): unknown method]
[infer][nullsafe] make the error message more explicit about the typing nature of the analysis Reviewed By: ngorogiannis Differential Revision: D13388567 fbshipit-source-id: 0dc4c2b47
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2.interTargetNPEBad():void, 2, ERADICATE_NULL_METHOD_CALL, no_bucket, WARNING, [origin,The value of `obj` in the call to `toString()` is nullable and is not locally checked for null. (Origin: call to returnsNull() at line 24)]
[infer][nullable] remove report de-duplication between the bi-abduction analysis and Eradicate Reviewed By: ngorogiannis Differential Revision: D13368280 fbshipit-source-id: ed460c445
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2.interTargetNPEBad():void, 2, NULL_DEREFERENCE, no_bucket, ERROR, [start of procedure interTargetNPEBad(),start of procedure returnsNull(),return from a call to String Class1.returnsNull()]
[infer][nullsafe] make the error message more explicit about the typing nature of the analysis Reviewed By: ngorogiannis Differential Revision: D13388567 fbshipit-source-id: 0dc4c2b47
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2.interTargetNativeNPEBad(genrule.module1.Class1):void, 2, ERADICATE_NULL_METHOD_CALL, no_bucket, WARNING, [origin,The value of `obj` in the call to `toString()` is nullable and is not locally checked for null. (Origin: call to nativeMayReturnNull() at line 34)]
[infer][nullable] remove report de-duplication between the bi-abduction analysis and Eradicate Reviewed By: ngorogiannis Differential Revision: D13368280 fbshipit-source-id: ed460c445
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2.interTargetNativeNPEBad(genrule.module1.Class1):void, 2, NULL_DEREFERENCE, no_bucket, ERROR, [start of procedure interTargetNativeNPEBad(...),Skipping nativeMayReturnNull(): unknown method]
[infer][nullsafe] make the error message more explicit about the typing nature of the analysis Reviewed By: ngorogiannis Differential Revision: D13388567 fbshipit-source-id: 0dc4c2b47
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2.localNPE2Bad():void, 2, ERADICATE_NULL_METHOD_CALL, no_bucket, WARNING, [origin,The value of `obj` in the call to `toString()` is nullable and is not locally checked for null. (Origin: null constant at line 19)]
[infer][nullable] remove report de-duplication between the bi-abduction analysis and Eradicate Reviewed By: ngorogiannis Differential Revision: D13368280 fbshipit-source-id: ed460c445
6 years ago
infer/tests/build_systems/genrule/module2/Class2.java, genrule.module2.Class2.localNPE2Bad():void, 2, NULL_DEREFERENCE, no_bucket, ERROR, [start of procedure localNPE2Bad()]