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 'f814eb40b8'
${ noResults }
infer_clone/infer/tests/build_systems/buck/issues.exp

5 lines
707 B
Raw Normal View History Unescape

[infer][java] use a multi-target Buck project to test the Buck integration for Java Summary: : What is relevant for the Buck integration is not the list of bugs that we find in a single target, which is essentially identical to testing `infer -- javac ...`, but to make sure that we still find the issues that are involving several Buck targets, and later other things like the caching mechanism. This should also make the tests faster. Reviewed By: jberdine, jvillard Differential Revision: D5250205 fbshipit-source-id: 7f66b68
8 years ago
infer/tests/build_systems/genrule/module1/Class1.java, void Class1.localNPE1(), 2, NULL_DEREFERENCE, [start of procedure localNPE1()]
[infer][java] add more example of inter-target NPEs for the Buck integration Summary: This new tests outlines that Infer does not detect inter-target issues involving native methods. Reviewed By: sblackshear Differential Revision: D5720873 fbshipit-source-id: cce8193
7 years ago
infer/tests/build_systems/genrule/module2/Class2.java, void Class2.interTargetAbstractNPE(Class1), 2, NULL_DEREFERENCE, [start of procedure interTargetAbstractNPE(...),Skipped call: function or method not found]
[infer][java] use a multi-target Buck project to test the Buck integration for Java Summary: : What is relevant for the Buck integration is not the list of bugs that we find in a single target, which is essentially identical to testing `infer -- javac ...`, but to make sure that we still find the issues that are involving several Buck targets, and later other things like the caching mechanism. This should also make the tests faster. Reviewed By: jberdine, jvillard Differential Revision: D5250205 fbshipit-source-id: 7f66b68
8 years ago
infer/tests/build_systems/genrule/module2/Class2.java, void Class2.interTargetNPE(), 2, NULL_DEREFERENCE, [start of procedure interTargetNPE(),start of procedure returnsNull(),return from a call to String Class1.returnsNull()]
infer/tests/build_systems/genrule/module2/Class2.java, void Class2.localNPE2(), 2, NULL_DEREFERENCE, [start of procedure localNPE2()]