| 35 | static final String TAINT_CONFIG = TAINT_CONFIG_PREFIX + "taint-config.yml"; |
| 36 | |
| 37 | @ParameterizedTest |
| 38 | @MultiStringsSource({"ArrayTaint", TAINT_CONFIG}) |
| 39 | @MultiStringsSource({"CharArray", TAINT_CONFIG}) |
| 40 | @MultiStringsSource({"FieldTaint", TAINT_CONFIG}) |
| 41 | @MultiStringsSource({"LinkedQueue", TAINT_CONFIG}) |
| 42 | @MultiStringsSource({"CSTaint", "cs:1-obj;" + TAINT_CONFIG}) |
| 43 | @MultiStringsSource({"TwoObjectTaint", "cs:2-obj;" + TAINT_CONFIG}) |
| 44 | @MultiStringsSource({"TaintCorner", TAINT_CONFIG}) |
| 45 | @MultiStringsSource({"CycleTaint", TAINT_CONFIG}) |
| 46 | @MultiStringsSource({"ComplexTaint", TAINT_CONFIG}) |
| 47 | @MultiStringsSource({"SimpleTaint", TAINT_CONFIG}) |
| 48 | @MultiStringsSource({"ArgToResult", TAINT_CONFIG}) |
| 49 | @MultiStringsSource({"BaseToResult", TAINT_CONFIG}) |
| 50 | @MultiStringsSource({"StringAppend", TAINT_CONFIG}) |
| 51 | @MultiStringsSource({"OneCallTaint", "cs:1-call;" + TAINT_CONFIG}) |
| 52 | @MultiStringsSource({"InterTaintTransfer", "cs:2-call;" + TAINT_CONFIG}) |
| 53 | @MultiStringsSource({"TaintInList", "cs:2-obj;" + TAINT_CONFIG}) |
| 54 | @MultiStringsSource({"BackPropagation", TAINT_CONFIG}) |
| 55 | @MultiStringsSource({"CSBackPropagation", "cs:1-obj;" + TAINT_CONFIG}) |
| 56 | @MultiStringsSource({"StaticTaintTransfer", TAINT_CONFIG_PREFIX |
| 57 | + "taint-config-static-taint-transfer.yml"}) |
| 58 | @MultiStringsSource({"InstanceSourceSink", TAINT_CONFIG_PREFIX |
| 59 | + "taint-config-instance-source-sink.yml"}) |
| 60 | @MultiStringsSource({"ArrayFieldTransfer", TAINT_CONFIG_PREFIX |
| 61 | + "taint-config-array-field-transfer.yml"}) |
| 62 | @MultiStringsSource({"TaintParam", TAINT_CONFIG_PREFIX |
| 63 | + "taint-config-param-source.yml"}) |
| 64 | @MultiStringsSource({"CallSiteMode", TAINT_CONFIG_PREFIX |
| 65 | + "taint-config-call-site-model.yml"}) |
| 66 | @MultiStringsSource({"Java9StringConcat", TAINT_CONFIG}) |
| 67 | void test(String mainClass, String opts) { |
| 68 | Tests.testPTA(DIR, mainClass, opts); |
| 69 | } |
| 70 | |
| 71 | } |