SourceToSinkFlowInspection: tests for adding checker-qual dependency (IJ-CR-17164)

GitOrigin-RevId: 64c606a55f93cfe5a1f780508fcc71db1552d045
This commit is contained in:
Artemiy Sartakov
2022-02-04 09:41:14 +00:00
committed by intellij-monorepo-bot
parent efd9c45dca
commit dd2943e081
3 changed files with 25 additions and 0 deletions
@@ -0,0 +1,8 @@
// "Add 'checker-qual' to classpath" "true"
package x;
public class AddCheckerFrameworkAnnotations {
public @Ta<caret>inted String source() {
return "unsafe";
}
}
@@ -0,0 +1,9 @@
// "Add 'checker-qual' to classpath" "true"
package x;
public class AddCheckerFrameworkAnnotations {
@Untaint<caret>ed
public void safe() {
}
}
@@ -146,6 +146,14 @@ public class OrderEntryTest extends DaemonAnalyzerTestCase {
doTest("A/src/x/DoTest4junit.java", false);
}
public void testAddCheckerFrameworkTainted() {
doTest("A/src/x/AddCheckerFrameworkTainted.java", false);
}
public void testAddCheckerFrameworkUntainted() {
doTest("A/src/x/AddCheckerFrameworkUntainted.java", false);
}
public void testExistingJunit() {
doTest("B/src/y/AddExistingJunit.java", true);
}