Refactored Taint Analysis (#216) #195
GitHub Actions / Test results on JDK 19
succeeded
Feb 29, 2024 in 0s
All 1 313 tests pass, 12 skipped in 5m 2s
Annotations
Check notice on line 0 in .github
github-actions / Test results on JDK 19
12 skipped tests found
There are 12 skipped tests, see "Raw output" for the full list of skipped tests.
Raw output
org.jacodb.analysis.impl.IfdsNpeTest ‑ activation points maintain flow sensitivity()
org.jacodb.analysis.impl.IfdsNpeTest ‑ array aliasing()
org.jacodb.analysis.impl.IfdsNpeTest ‑ complex aliasing()
org.jacodb.analysis.impl.IfdsNpeTest ‑ context injection in points-to()
org.jacodb.analysis.impl.IfdsNpeTest ‑ mixed array and class aliasing()
org.jacodb.analysis.impl.IfdsNpeTest ‑ no NPE after checked access with field()
org.jacodb.analysis.impl.IfdsNpeTest ‑ simple points-to analysis()
org.jacodb.testing.JarFacadeTest ‑ jmod parsing is working()
org.jacodb.testing.JavaVersionTest ‑ java version should be proper for 11 java()
org.jacodb.testing.JavaVersionTest ‑ java version should be proper for 8 java()
org.jacodb.testing.cfg.InstructionsTest ‑ java 5 bytecode processed correctly on java 8()
org.jacodb.testing.cfg.InstructionsTest ‑ locals should work()
Check notice on line 0 in .github
github-actions / Test results on JDK 19
1325 tests found (test 1 to 467)
There are 1325 tests, see "Raw output" for the list of tests 1 to 467.
Raw output
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ And(Not(True)) is false()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ And(True) is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ AnnotationType in unexpected()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantEq(boolArg(true), false) is false()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantEq(boolArg(true), true) is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantEq(intArg(42), 42) is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantEq(intArg(42), 999) is false()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantEq(stringArg('test'), 'other') is false()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantEq(stringArg('test'), 'test') is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantEq(unresolved, any) is false()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantGt(intArg(42), 5) is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantGt(intArg(42), 999) is false()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantGt(unresolved, any) is false()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantLt(intArg(42), 5) is false()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantLt(intArg(42), 999) is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantLt(unresolved, any) is false()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantMatches(intArg(42), '42') is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantMatches(intArg(42), 'd+') is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantMatches(stringArg('test'), 'test') is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantMatches(stringArg('test'), 'w+') is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ConstantMatches(unresolved, any) is false()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ ContainsMark is not supported by basic evaluator()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ FactAwareConditionEvaluator supports ContainsMark()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ IsConstant(bool) is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ IsConstant(int) is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ IsConstant(this) is false()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ IsConstant(unresolved) is false()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ IsType in unexpected()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ Not(Not(True)) is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ Not(True) is false()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ Or(Not(True)) is false()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ Or(True) is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ SourceFunctionMatches is not implemented yet()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ True is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ TypeMatches(boolArg, Boolean) is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ TypeMatches(intArg, Int) is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ TypeMatches(stringArg, String) is true()
org.jacodb.analysis.impl.ConditionEvaluatorTest ‑ TypeMatches(unresolved, any) is false()
org.jacodb.analysis.impl.IfdsNpeTest ‑ NPE on uninitialized array element dereferencing()
org.jacodb.analysis.impl.IfdsNpeTest ‑ [100] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_02
org.jacodb.analysis.impl.IfdsNpeTest ‑ [100] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_66a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [101] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_03
org.jacodb.analysis.impl.IfdsNpeTest ‑ [101] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_67a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [102] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_04
org.jacodb.analysis.impl.IfdsNpeTest ‑ [102] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_68a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [103] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_06
org.jacodb.analysis.impl.IfdsNpeTest ‑ [103] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_71a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [104] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_09
org.jacodb.analysis.impl.IfdsNpeTest ‑ [104] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_81a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [105] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_12
org.jacodb.analysis.impl.IfdsNpeTest ‑ [105] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_01
org.jacodb.analysis.impl.IfdsNpeTest ‑ [106] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_13
org.jacodb.analysis.impl.IfdsNpeTest ‑ [106] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_02
org.jacodb.analysis.impl.IfdsNpeTest ‑ [107] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_16
org.jacodb.analysis.impl.IfdsNpeTest ‑ [107] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_03
org.jacodb.analysis.impl.IfdsNpeTest ‑ [108] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_17
org.jacodb.analysis.impl.IfdsNpeTest ‑ [108] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_04
org.jacodb.analysis.impl.IfdsNpeTest ‑ [109] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_21
org.jacodb.analysis.impl.IfdsNpeTest ‑ [109] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_06
org.jacodb.analysis.impl.IfdsNpeTest ‑ [10] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_17
org.jacodb.analysis.impl.IfdsNpeTest ‑ [10] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_17
org.jacodb.analysis.impl.IfdsNpeTest ‑ [110] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_22a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [110] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_09
org.jacodb.analysis.impl.IfdsNpeTest ‑ [111] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_31
org.jacodb.analysis.impl.IfdsNpeTest ‑ [111] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_12
org.jacodb.analysis.impl.IfdsNpeTest ‑ [112] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_41
org.jacodb.analysis.impl.IfdsNpeTest ‑ [112] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_13
org.jacodb.analysis.impl.IfdsNpeTest ‑ [113] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_42
org.jacodb.analysis.impl.IfdsNpeTest ‑ [113] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_16
org.jacodb.analysis.impl.IfdsNpeTest ‑ [114] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_45
org.jacodb.analysis.impl.IfdsNpeTest ‑ [114] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_17
org.jacodb.analysis.impl.IfdsNpeTest ‑ [115] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_51a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [115] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_21
org.jacodb.analysis.impl.IfdsNpeTest ‑ [116] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_52a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [116] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_22a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [117] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_53a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [117] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_31
org.jacodb.analysis.impl.IfdsNpeTest ‑ [118] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_54a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [118] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_41
org.jacodb.analysis.impl.IfdsNpeTest ‑ [119] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_61a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [119] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_42
org.jacodb.analysis.impl.IfdsNpeTest ‑ [11] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_21
org.jacodb.analysis.impl.IfdsNpeTest ‑ [11] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_21
org.jacodb.analysis.impl.IfdsNpeTest ‑ [120] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_67a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [120] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_45
org.jacodb.analysis.impl.IfdsNpeTest ‑ [121] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_68a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [121] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_51a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [122] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_71a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [122] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_52a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [123] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_81a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [123] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_53a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [124] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_54a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [125] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_61a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [126] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_66a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [127] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_67a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [128] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_68a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [129] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_71a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [12] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_22a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [12] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_22a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [130] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_equals_81a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [131] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_01
org.jacodb.analysis.impl.IfdsNpeTest ‑ [132] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_02
org.jacodb.analysis.impl.IfdsNpeTest ‑ [133] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_03
org.jacodb.analysis.impl.IfdsNpeTest ‑ [134] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_04
org.jacodb.analysis.impl.IfdsNpeTest ‑ [135] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_06
org.jacodb.analysis.impl.IfdsNpeTest ‑ [136] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_09
org.jacodb.analysis.impl.IfdsNpeTest ‑ [137] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_12
org.jacodb.analysis.impl.IfdsNpeTest ‑ [138] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_13
org.jacodb.analysis.impl.IfdsNpeTest ‑ [139] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_16
org.jacodb.analysis.impl.IfdsNpeTest ‑ [13] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_31
org.jacodb.analysis.impl.IfdsNpeTest ‑ [13] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_31
org.jacodb.analysis.impl.IfdsNpeTest ‑ [140] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_17
org.jacodb.analysis.impl.IfdsNpeTest ‑ [141] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_21
org.jacodb.analysis.impl.IfdsNpeTest ‑ [142] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_22a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [143] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_31
org.jacodb.analysis.impl.IfdsNpeTest ‑ [144] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_41
org.jacodb.analysis.impl.IfdsNpeTest ‑ [145] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_42
org.jacodb.analysis.impl.IfdsNpeTest ‑ [146] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_45
org.jacodb.analysis.impl.IfdsNpeTest ‑ [147] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_51a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [148] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_52a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [149] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_53a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [14] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_41
org.jacodb.analysis.impl.IfdsNpeTest ‑ [14] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_41
org.jacodb.analysis.impl.IfdsNpeTest ‑ [150] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_54a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [151] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_61a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [152] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_66a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [153] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_67a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [154] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_68a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [155] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_71a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [156] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__System_getProperty_trim_81a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [15] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_42
org.jacodb.analysis.impl.IfdsNpeTest ‑ [15] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_42
org.jacodb.analysis.impl.IfdsNpeTest ‑ [16] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_45
org.jacodb.analysis.impl.IfdsNpeTest ‑ [16] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_45
org.jacodb.analysis.impl.IfdsNpeTest ‑ [17] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_51a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [17] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_51a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [18] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_52a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [18] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_52a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [19] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_53a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [19] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_53a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [1] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_01
org.jacodb.analysis.impl.IfdsNpeTest ‑ [1] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_01
org.jacodb.analysis.impl.IfdsNpeTest ‑ [20] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_54a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [20] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_54a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [21] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_61a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [21] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_61a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [22] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_66a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [22] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_66a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [23] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_67a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [23] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_67a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [24] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_68a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [24] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_68a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [25] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_71a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [25] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_71a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [26] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_81a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [26] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_81a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [27] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_01
org.jacodb.analysis.impl.IfdsNpeTest ‑ [27] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_01
org.jacodb.analysis.impl.IfdsNpeTest ‑ [28] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_02
org.jacodb.analysis.impl.IfdsNpeTest ‑ [28] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_02
org.jacodb.analysis.impl.IfdsNpeTest ‑ [29] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_03
org.jacodb.analysis.impl.IfdsNpeTest ‑ [29] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_03
org.jacodb.analysis.impl.IfdsNpeTest ‑ [2] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_02
org.jacodb.analysis.impl.IfdsNpeTest ‑ [2] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_02
org.jacodb.analysis.impl.IfdsNpeTest ‑ [30] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_04
org.jacodb.analysis.impl.IfdsNpeTest ‑ [30] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_04
org.jacodb.analysis.impl.IfdsNpeTest ‑ [31] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_06
org.jacodb.analysis.impl.IfdsNpeTest ‑ [31] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_06
org.jacodb.analysis.impl.IfdsNpeTest ‑ [32] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_09
org.jacodb.analysis.impl.IfdsNpeTest ‑ [32] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_09
org.jacodb.analysis.impl.IfdsNpeTest ‑ [33] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_12
org.jacodb.analysis.impl.IfdsNpeTest ‑ [33] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_12
org.jacodb.analysis.impl.IfdsNpeTest ‑ [34] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_13
org.jacodb.analysis.impl.IfdsNpeTest ‑ [34] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_13
org.jacodb.analysis.impl.IfdsNpeTest ‑ [35] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_16
org.jacodb.analysis.impl.IfdsNpeTest ‑ [35] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_16
org.jacodb.analysis.impl.IfdsNpeTest ‑ [36] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_17
org.jacodb.analysis.impl.IfdsNpeTest ‑ [36] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_17
org.jacodb.analysis.impl.IfdsNpeTest ‑ [37] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_21
org.jacodb.analysis.impl.IfdsNpeTest ‑ [37] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_21
org.jacodb.analysis.impl.IfdsNpeTest ‑ [38] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_22a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [38] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_22a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [39] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_31
org.jacodb.analysis.impl.IfdsNpeTest ‑ [39] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_31
org.jacodb.analysis.impl.IfdsNpeTest ‑ [3] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_03
org.jacodb.analysis.impl.IfdsNpeTest ‑ [3] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_03
org.jacodb.analysis.impl.IfdsNpeTest ‑ [40] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_41
org.jacodb.analysis.impl.IfdsNpeTest ‑ [40] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_41
org.jacodb.analysis.impl.IfdsNpeTest ‑ [41] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_42
org.jacodb.analysis.impl.IfdsNpeTest ‑ [41] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_42
org.jacodb.analysis.impl.IfdsNpeTest ‑ [42] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_45
org.jacodb.analysis.impl.IfdsNpeTest ‑ [42] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_45
org.jacodb.analysis.impl.IfdsNpeTest ‑ [43] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_51a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [43] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_51a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [44] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_52a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [44] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_52a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [45] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_53a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [45] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_53a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [46] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_54a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [46] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_54a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [47] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_61a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [47] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_61a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [48] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_66a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [48] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_66a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [49] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_67a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [49] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_67a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [4] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_04
org.jacodb.analysis.impl.IfdsNpeTest ‑ [4] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_04
org.jacodb.analysis.impl.IfdsNpeTest ‑ [50] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_68a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [50] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_68a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [51] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_71a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [51] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_71a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [52] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__StringBuilder_81a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [52] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_String_81a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [53] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_01
org.jacodb.analysis.impl.IfdsNpeTest ‑ [53] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_01
org.jacodb.analysis.impl.IfdsNpeTest ‑ [54] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_02
org.jacodb.analysis.impl.IfdsNpeTest ‑ [54] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_02
org.jacodb.analysis.impl.IfdsNpeTest ‑ [55] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_03
org.jacodb.analysis.impl.IfdsNpeTest ‑ [55] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_03
org.jacodb.analysis.impl.IfdsNpeTest ‑ [56] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_04
org.jacodb.analysis.impl.IfdsNpeTest ‑ [56] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_04
org.jacodb.analysis.impl.IfdsNpeTest ‑ [57] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_06
org.jacodb.analysis.impl.IfdsNpeTest ‑ [57] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_06
org.jacodb.analysis.impl.IfdsNpeTest ‑ [58] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_09
org.jacodb.analysis.impl.IfdsNpeTest ‑ [58] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_09
org.jacodb.analysis.impl.IfdsNpeTest ‑ [59] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_12
org.jacodb.analysis.impl.IfdsNpeTest ‑ [59] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_12
org.jacodb.analysis.impl.IfdsNpeTest ‑ [5] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_06
org.jacodb.analysis.impl.IfdsNpeTest ‑ [5] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_06
org.jacodb.analysis.impl.IfdsNpeTest ‑ [60] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_13
org.jacodb.analysis.impl.IfdsNpeTest ‑ [60] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_13
org.jacodb.analysis.impl.IfdsNpeTest ‑ [61] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_16
org.jacodb.analysis.impl.IfdsNpeTest ‑ [61] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_16
org.jacodb.analysis.impl.IfdsNpeTest ‑ [62] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_17
org.jacodb.analysis.impl.IfdsNpeTest ‑ [62] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_17
org.jacodb.analysis.impl.IfdsNpeTest ‑ [63] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_21
org.jacodb.analysis.impl.IfdsNpeTest ‑ [63] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_21
org.jacodb.analysis.impl.IfdsNpeTest ‑ [64] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_22a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [64] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_22a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [65] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_31
org.jacodb.analysis.impl.IfdsNpeTest ‑ [65] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_31
org.jacodb.analysis.impl.IfdsNpeTest ‑ [66] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_41
org.jacodb.analysis.impl.IfdsNpeTest ‑ [66] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_41
org.jacodb.analysis.impl.IfdsNpeTest ‑ [67] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_42
org.jacodb.analysis.impl.IfdsNpeTest ‑ [67] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_42
org.jacodb.analysis.impl.IfdsNpeTest ‑ [68] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_45
org.jacodb.analysis.impl.IfdsNpeTest ‑ [68] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_45
org.jacodb.analysis.impl.IfdsNpeTest ‑ [69] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_51a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [69] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_51a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [6] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_09
org.jacodb.analysis.impl.IfdsNpeTest ‑ [6] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_09
org.jacodb.analysis.impl.IfdsNpeTest ‑ [70] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_52a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [70] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_52a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [71] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_53a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [71] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_53a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [72] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_54a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [72] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_54a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [73] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_61a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [73] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_61a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [74] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_66a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [74] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_66a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [75] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_67a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [75] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_67a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [76] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_68a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [76] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_68a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [77] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_71a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [77] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_71a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [78] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__String_81a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [78] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_equals_81a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [79] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__binary_if_01
org.jacodb.analysis.impl.IfdsNpeTest ‑ [79] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_01
org.jacodb.analysis.impl.IfdsNpeTest ‑ [7] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_12
org.jacodb.analysis.impl.IfdsNpeTest ‑ [7] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_12
org.jacodb.analysis.impl.IfdsNpeTest ‑ [80] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__binary_if_02
org.jacodb.analysis.impl.IfdsNpeTest ‑ [80] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_02
org.jacodb.analysis.impl.IfdsNpeTest ‑ [81] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__binary_if_03
org.jacodb.analysis.impl.IfdsNpeTest ‑ [81] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_03
org.jacodb.analysis.impl.IfdsNpeTest ‑ [82] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__binary_if_04
org.jacodb.analysis.impl.IfdsNpeTest ‑ [82] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_04
org.jacodb.analysis.impl.IfdsNpeTest ‑ [83] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__binary_if_06
org.jacodb.analysis.impl.IfdsNpeTest ‑ [83] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_06
org.jacodb.analysis.impl.IfdsNpeTest ‑ [84] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__binary_if_09
org.jacodb.analysis.impl.IfdsNpeTest ‑ [84] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_09
org.jacodb.analysis.impl.IfdsNpeTest ‑ [85] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__binary_if_12
org.jacodb.analysis.impl.IfdsNpeTest ‑ [85] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_12
org.jacodb.analysis.impl.IfdsNpeTest ‑ [86] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__binary_if_13
org.jacodb.analysis.impl.IfdsNpeTest ‑ [86] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_13
org.jacodb.analysis.impl.IfdsNpeTest ‑ [87] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__binary_if_16
org.jacodb.analysis.impl.IfdsNpeTest ‑ [87] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_16
org.jacodb.analysis.impl.IfdsNpeTest ‑ [88] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__binary_if_17
org.jacodb.analysis.impl.IfdsNpeTest ‑ [88] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_17
org.jacodb.analysis.impl.IfdsNpeTest ‑ [89] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__deref_after_check_01
org.jacodb.analysis.impl.IfdsNpeTest ‑ [89] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_21
org.jacodb.analysis.impl.IfdsNpeTest ‑ [8] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_13
org.jacodb.analysis.impl.IfdsNpeTest ‑ [8] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_13
org.jacodb.analysis.impl.IfdsNpeTest ‑ [90] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__deref_after_check_02
org.jacodb.analysis.impl.IfdsNpeTest ‑ [90] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_22a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [91] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__deref_after_check_03
org.jacodb.analysis.impl.IfdsNpeTest ‑ [91] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_31
org.jacodb.analysis.impl.IfdsNpeTest ‑ [92] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__deref_after_check_04
org.jacodb.analysis.impl.IfdsNpeTest ‑ [92] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_41
org.jacodb.analysis.impl.IfdsNpeTest ‑ [93] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__deref_after_check_06
org.jacodb.analysis.impl.IfdsNpeTest ‑ [93] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_42
org.jacodb.analysis.impl.IfdsNpeTest ‑ [94] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__deref_after_check_09
org.jacodb.analysis.impl.IfdsNpeTest ‑ [94] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_45
org.jacodb.analysis.impl.IfdsNpeTest ‑ [95] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__deref_after_check_12
org.jacodb.analysis.impl.IfdsNpeTest ‑ [95] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_51a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [96] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__deref_after_check_13
org.jacodb.analysis.impl.IfdsNpeTest ‑ [96] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_52a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [97] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__deref_after_check_16
org.jacodb.analysis.impl.IfdsNpeTest ‑ [97] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_53a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [98] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__deref_after_check_17
org.jacodb.analysis.impl.IfdsNpeTest ‑ [98] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_54a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [99] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__int_array_01
org.jacodb.analysis.impl.IfdsNpeTest ‑ [99] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Properties_getProperty_trim_61a
org.jacodb.analysis.impl.IfdsNpeTest ‑ [9] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_16
org.jacodb.analysis.impl.IfdsNpeTest ‑ [9] juliet.testcases.CWE690_NULL_Deref_From_Return.CWE690_NULL_Deref_From_Return__Class_StringBuilder_16
org.jacodb.analysis.impl.IfdsNpeTest ‑ activation points maintain flow sensitivity()
org.jacodb.analysis.impl.IfdsNpeTest ‑ analyze NPE after fun with two exits()
org.jacodb.analysis.impl.IfdsNpeTest ‑ analyze no NPE()
org.jacodb.analysis.impl.IfdsNpeTest ‑ analyze simple NPE()
org.jacodb.analysis.impl.IfdsNpeTest ‑ array aliasing()
org.jacodb.analysis.impl.IfdsNpeTest ‑ assigning null to copy doesn't affect original value()
org.jacodb.analysis.impl.IfdsNpeTest ‑ basic test for NPE on fields()
org.jacodb.analysis.impl.IfdsNpeTest ‑ complex aliasing()
org.jacodb.analysis.impl.IfdsNpeTest ‑ consecutive NPEs handled properly()
org.jacodb.analysis.impl.IfdsNpeTest ‑ context injection in points-to()
org.jacodb.analysis.impl.IfdsNpeTest ‑ dereferencing copy of value saved before null assignment produce no npe()
org.jacodb.analysis.impl.IfdsNpeTest ‑ dereferencing field of null object()
org.jacodb.analysis.impl.IfdsNpeTest ‑ fields resolving should work through interfaces()
org.jacodb.analysis.impl.IfdsNpeTest ‑ mixed array and class aliasing()
org.jacodb.analysis.impl.IfdsNpeTest ‑ no NPE after checked access with field()
org.jacodb.analysis.impl.IfdsNpeTest ‑ no NPE after checked access()
org.jacodb.analysis.impl.IfdsNpeTest ‑ no NPE on array element dereferencing after initialization()
org.jacodb.analysis.impl.IfdsNpeTest ‑ no npe on virtual call when impossible()
org.jacodb.analysis.impl.IfdsNpeTest ‑ npe on virtual call when possible()
org.jacodb.analysis.impl.IfdsNpeTest ‑ overridden null assignment in callee don't affect next caller's instructions()
org.jacodb.analysis.impl.IfdsNpeTest ‑ recursive classes handled correctly()
org.jacodb.analysis.impl.IfdsNpeTest ‑ simple points-to analysis()
org.jacodb.analysis.impl.IfdsNpeTest ‑ test on specific Juliet's testcase()
org.jacodb.analysis.impl.IfdsSqlTest ‑ [100] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [101] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [102] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [103] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [104] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [105] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [106] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [107] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [108] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [109] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [10] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [110] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [111] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [112] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [113] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [114] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [115] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [116] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [117] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [118] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [119] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [11] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [120] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [121] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [122] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [123] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [124] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [125] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [126] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [127] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [128] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [129] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [12] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [130] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_execute_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [131] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [132] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [133] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [134] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [135] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [136] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [137] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [138] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [139] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [13] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [140] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [141] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [142] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [143] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [144] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [145] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [146] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [147] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [148] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [149] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [14] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [150] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [151] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [152] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [153] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [154] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [155] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [156] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_prepareStatement_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [157] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [158] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [159] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [15] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [160] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [161] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [162] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [163] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [164] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [165] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [166] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [167] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [168] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [169] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [16] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [170] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [171] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [172] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [173] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [174] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [175] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [176] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [177] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [178] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [179] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [17] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [180] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [181] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [182] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeBatch_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [183] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [184] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [185] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [186] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [187] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [188] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [189] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [18] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [190] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [191] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [192] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [193] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [194] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [195] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [196] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [197] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [198] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [199] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [19] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [1] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [200] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [201] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [202] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [203] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [204] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [205] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [206] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [207] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [208] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeQuery_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [209] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [20] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [210] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [211] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [212] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [213] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_06
Check notice on line 0 in .github
github-actions / Test results on JDK 19
1325 tests found (test 468 to 939)
There are 1325 tests, see "Raw output" for the list of tests 468 to 939.
Raw output
org.jacodb.analysis.impl.IfdsSqlTest ‑ [214] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [215] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [216] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [217] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [218] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [219] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [21] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [220] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [221] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [222] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [223] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [224] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [225] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [226] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [227] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [228] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [229] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [22] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [230] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [231] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [232] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [233] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [234] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_executeUpdate_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [235] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [236] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [237] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [238] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [239] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [23] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [240] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [241] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [242] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [243] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [244] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [245] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [246] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [247] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [248] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [249] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [24] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [250] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [251] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [252] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [253] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [254] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [255] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [256] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [257] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [258] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [259] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [25] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [260] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_execute_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [261] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [262] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [263] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [264] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [265] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [266] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [267] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [268] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [269] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [26] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [270] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [271] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [272] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [273] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [274] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [275] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [276] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [277] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [278] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [279] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [27] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [280] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [281] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [282] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [283] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [284] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [285] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [286] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__console_readLine_prepareStatement_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [287] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [288] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [289] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [28] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [290] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [291] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [292] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [293] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [294] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [295] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [296] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [297] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [298] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [299] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [29] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [2] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [300] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [301] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [302] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [303] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [304] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [305] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [306] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [307] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [308] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [309] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [30] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [310] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [311] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [312] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeBatch_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [313] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [314] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [315] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [316] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [317] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [318] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [319] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [31] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [320] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [321] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [322] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [323] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [324] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [325] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [326] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [327] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [328] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [329] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [32] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [330] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [331] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [332] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [333] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [334] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [335] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [336] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [337] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [338] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeQuery_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [339] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [33] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [340] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [341] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [342] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [343] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [344] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [345] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [346] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [347] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [348] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [349] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [34] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [350] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [351] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [352] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [353] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [354] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [355] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [356] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [357] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [358] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [359] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [35] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [360] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [361] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [362] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [363] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [364] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_executeUpdate_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [365] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [366] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [367] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [368] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [369] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [36] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [370] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [371] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [372] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [373] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [374] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [375] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [376] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [377] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [378] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [379] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [37] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [380] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [381] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [382] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [383] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [384] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [385] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [386] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [387] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [388] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [389] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [38] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [390] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_execute_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [391] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [392] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [393] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [394] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [395] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [396] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [397] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [398] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [399] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [39] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [3] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [400] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [401] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [402] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [403] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [404] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [405] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [406] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [407] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [408] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [409] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [40] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [410] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [411] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [412] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [413] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [414] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [415] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [416] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__database_prepareStatement_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [417] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [418] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [419] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [41] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [420] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [421] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [422] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [423] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [424] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [425] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [426] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [427] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [428] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [429] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [42] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [430] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [431] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [432] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [433] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [434] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [435] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [436] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [437] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [438] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [439] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [43] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [440] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [441] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [442] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeQuery_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [443] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [444] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [445] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [446] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [447] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [448] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [449] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [44] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [450] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [451] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [452] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [453] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [454] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [455] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [456] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [457] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [458] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [459] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [45] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [460] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [461] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [462] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [463] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [464] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [465] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [466] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [467] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [468] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_executeUpdate_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [469] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [46] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [470] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [471] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [472] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [473] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [474] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [475] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [476] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [477] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [478] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [479] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [47] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [480] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [481] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [482] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [483] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [484] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [485] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [486] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [487] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [488] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [489] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [48] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [490] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [491] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [492] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [493] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [494] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_execute_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [495] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [496] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [497] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [498] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [499] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [49] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [4] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [500] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [501] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [502] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [503] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [504] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [505] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [506] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [507] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [508] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [509] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [50] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [510] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [511] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [512] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [513] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [514] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [515] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [516] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [517] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [518] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [519] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [51] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [520] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__Environment_prepareStatement_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [521] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [522] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [523] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [524] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [525] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [526] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [527] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [528] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [529] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [52] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeBatch_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [530] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [531] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [532] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [533] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [534] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [535] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [536] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [537] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [538] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [539] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [53] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [540] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [541] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [542] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [543] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [544] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [545] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [546] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeBatch_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [547] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [548] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [549] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [54] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [550] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [551] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [552] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [553] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [554] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [555] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [556] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [557] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [558] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [559] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [55] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [560] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [561] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [562] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [563] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [564] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [565] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [566] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [567] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [568] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [569] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [56] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [570] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [571] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [572] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeQuery_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [573] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [574] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [575] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [576] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [577] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [578] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [579] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [57] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [580] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [581] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [582] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [583] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [584] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [585] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [586] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [587] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [588] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [589] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [58] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [590] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [591] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [592] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [593] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [594] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [595] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [596] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [597] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [598] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_executeUpdate_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [599] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [59] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [5] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [600] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [601] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [602] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [603] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [604] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [605] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [606] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [607] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [608] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [609] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [60] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [610] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [611] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [612] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [613] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [614] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [615] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [616] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [617] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [618] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [619] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [61] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [620] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [621] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [622] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [623] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [624] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_execute_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [625] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [626] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [627] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [628] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [629] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [62] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [630] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [631] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [632] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [633] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [634] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [635] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [636] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [637] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [638] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [639] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_42
Check notice on line 0 in .github
github-actions / Test results on JDK 19
1325 tests found (test 940 to 1325)
There are 1325 tests, see "Raw output" for the list of tests 940 to 1325.
Raw output
org.jacodb.analysis.impl.IfdsSqlTest ‑ [63] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [640] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [641] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [642] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [643] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [644] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [645] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [646] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [647] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [648] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [649] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [64] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [650] juliet.testcases.CWE89_SQL_Injection.s02.CWE89_SQL_Injection__File_prepareStatement_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [65] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [66] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [67] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [68] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [69] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [6] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [70] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [71] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [72] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [73] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [74] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_66a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [75] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_67a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [76] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_68a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [77] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_71a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [78] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeQuery_81a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [79] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_01
org.jacodb.analysis.impl.IfdsSqlTest ‑ [7] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [80] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_02
org.jacodb.analysis.impl.IfdsSqlTest ‑ [81] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_03
org.jacodb.analysis.impl.IfdsSqlTest ‑ [82] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_04
org.jacodb.analysis.impl.IfdsSqlTest ‑ [83] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_06
org.jacodb.analysis.impl.IfdsSqlTest ‑ [84] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_09
org.jacodb.analysis.impl.IfdsSqlTest ‑ [85] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_12
org.jacodb.analysis.impl.IfdsSqlTest ‑ [86] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [87] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ [88] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_17
org.jacodb.analysis.impl.IfdsSqlTest ‑ [89] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_21
org.jacodb.analysis.impl.IfdsSqlTest ‑ [8] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_13
org.jacodb.analysis.impl.IfdsSqlTest ‑ [90] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_22a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [91] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_31
org.jacodb.analysis.impl.IfdsSqlTest ‑ [92] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_41
org.jacodb.analysis.impl.IfdsSqlTest ‑ [93] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_42
org.jacodb.analysis.impl.IfdsSqlTest ‑ [94] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_45
org.jacodb.analysis.impl.IfdsSqlTest ‑ [95] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_51a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [96] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_52a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [97] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_53a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [98] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_54a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [99] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__connect_tcp_executeUpdate_61a
org.jacodb.analysis.impl.IfdsSqlTest ‑ [9] juliet.testcases.CWE89_SQL_Injection.s01.CWE89_SQL_Injection__Environment_executeBatch_16
org.jacodb.analysis.impl.IfdsSqlTest ‑ simple SQL injection()
org.jacodb.analysis.impl.IfdsSqlTest ‑ test bidirectional runner and other stuff()
org.jacodb.analysis.impl.IfdsSqlTest ‑ test on specific Juliet instance()
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [10] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_parameter_value_01
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [11] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_parameter_variable_01
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [12] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_StringBuilder_01
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [13] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_StringBuilder_02
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [14] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_StringBuilder_03
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [15] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_StringBuilder_04
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [16] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_StringBuilder_06
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [17] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_StringBuilder_09
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [18] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_StringBuilder_13
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [19] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_StringBuilder_16
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [1] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_init_variable_StringBuilder_01
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [20] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_String_01
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [21] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_String_02
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [22] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_String_03
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [23] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_String_04
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [24] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_String_06
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [25] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_String_09
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [26] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_String_13
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [27] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_String_16
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [28] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_String_17
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [29] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_int_01
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [2] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_init_variable_StringBuilder_02
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [30] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_int_02
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [31] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_int_03
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [32] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_int_04
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [33] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_int_06
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [34] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_int_09
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [35] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_int_13
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [36] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_int_16
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [37] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_int_17
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [38] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_long_01
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [39] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_long_02
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [3] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_init_variable_StringBuilder_03
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [40] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_long_03
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [41] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_long_04
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [42] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_long_06
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [43] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_long_09
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [44] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_long_13
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [45] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_long_16
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [46] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_value_long_17
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [4] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_init_variable_StringBuilder_04
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [5] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_init_variable_StringBuilder_06
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [6] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_init_variable_StringBuilder_09
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [7] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_init_variable_StringBuilder_13
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [8] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_init_variable_StringBuilder_16
org.jacodb.analysis.impl.IfdsUnusedTest ‑ [9] juliet.testcases.CWE563_Unused_Variable.CWE563_Unused_Variable__unused_init_variable_StringBuilder_17
org.jacodb.analysis.impl.IfdsUnusedTest ‑ test on specific Juliet instance()
org.jacodb.analysis.impl.JavaAnalysisApiTest ‑ testCustomBannedPackagesApi()
org.jacodb.analysis.impl.JavaAnalysisApiTest ‑ testJavaAnalysisApi()
org.jacodb.analysis.impl.JodaDateTimeAnalysisTest ‑ test NPE analysis()
org.jacodb.analysis.impl.JodaDateTimeAnalysisTest ‑ test taint analysis()
org.jacodb.analysis.impl.JodaDateTimeAnalysisTest ‑ test unused variables analysis()
org.jacodb.analysis.impl.NullabilityAssumptionAnalysisTest ‑ null-assumption analysis should work 2()
org.jacodb.analysis.impl.NullabilityAssumptionAnalysisTest ‑ null-assumption analysis should work()
org.jacodb.analysis.impl.TaintFlowFunctionsTest ‑ test call flow function assign mark()
org.jacodb.analysis.impl.TaintFlowFunctionsTest ‑ test call flow function copy mark()
org.jacodb.analysis.impl.TaintFlowFunctionsTest ‑ test call flow function remove mark()
org.jacodb.analysis.impl.TaintFlowFunctionsTest ‑ test call to start flow function()
org.jacodb.analysis.impl.TaintFlowFunctionsTest ‑ test exit flow function()
org.jacodb.analysis.impl.TaintFlowFunctionsTest ‑ test obtain start facts()
org.jacodb.analysis.impl.TaintFlowFunctionsTest ‑ test sequential flow function assign mark()
org.jacodb.approximations.ApproximationsTest ‑ integer approximation()
org.jacodb.approximations.ApproximationsTest ‑ java approximation()
org.jacodb.approximations.ApproximationsTest ‑ kotlin approximation()
org.jacodb.approximations.ApproximationsTest ‑ replace approximations in methodBody()
org.jacodb.approximations.ApproximationsTest ‑ replaced fields()
org.jacodb.approximations.ApproximationsTest ‑ replaced methods()
org.jacodb.approximations.ApproximationsTest ‑ run around guava()
org.jacodb.cli.CliTest ‑ test basic analysis cli api()
org.jacodb.taint.configuration.ConfigurationTest ‑ testCleanerMethod()
org.jacodb.taint.configuration.ConfigurationTest ‑ testIsTypeMatcher()
org.jacodb.taint.configuration.ConfigurationTest ‑ testParametersMatches()
org.jacodb.taint.configuration.ConfigurationTest ‑ testPrimitiveParametersInMatcher()
org.jacodb.taint.configuration.ConfigurationTest ‑ testSinkMethod()
org.jacodb.taint.configuration.ConfigurationTest ‑ testSourceMethod()
org.jacodb.taint.configuration.ConfigurationTest ‑ testVirtualMethod()
org.jacodb.taint.configuration.UtilTest ‑ incorrectQuestionMarkSequences()
org.jacodb.taint.configuration.UtilTest ‑ questionMarkOnGroup()
org.jacodb.taint.configuration.UtilTest ‑ splitOnQuestionMarkTest()
org.jacodb.taint.configuration.UtilTest ‑ splitOnQuestionMarkWithoutTheMark()
org.jacodb.taint.configuration.UtilTest ‑ testExtractAlternatives()
org.jacodb.testing.AnnotationsTest ‑ field annotations()
org.jacodb.testing.AnnotationsTest ‑ method annotations()
org.jacodb.testing.AnnotationsTest ‑ method parameter annotations()
org.jacodb.testing.ApiExtTest ‑ autoboxing primitive type()
org.jacodb.testing.ApiExtTest ‑ autoboxing regular type()
org.jacodb.testing.ApiExtTest ‑ isSubtype for regular classes()
org.jacodb.testing.ApiExtTest ‑ unboxing primitive type()
org.jacodb.testing.ApiExtTest ‑ unboxing regular type()
org.jacodb.testing.ClassesTest ‑ all visible fields should work()
org.jacodb.testing.ClassesTest ‑ all visible methods should work()
org.jacodb.testing.ClassesTest ‑ array type names()
org.jacodb.testing.ClassesTest ‑ body of method()
org.jacodb.testing.ClassesTest ‑ class caching feature works for existed class()
org.jacodb.testing.ClassesTest ‑ class caching feature works for not existed class()
org.jacodb.testing.ClassesTest ‑ class override should work()
org.jacodb.testing.ClassesTest ‑ class task should work()
org.jacodb.testing.ClassesTest ‑ classes common hierarchy()
org.jacodb.testing.ClassesTest ‑ classes common methods usages()
org.jacodb.testing.ClassesTest ‑ diagnostics should work()
org.jacodb.testing.ClassesTest ‑ enum constructor methods with fields()
org.jacodb.testing.ClassesTest ‑ enum constructor methods()
org.jacodb.testing.ClassesTest ‑ enum values filter out static instances()
org.jacodb.testing.ClassesTest ‑ enum values()
org.jacodb.testing.ClassesTest ‑ find class from String()
org.jacodb.testing.ClassesTest ‑ find class from build dir folder()
org.jacodb.testing.ClassesTest ‑ find huge number of subclasses()
org.jacodb.testing.ClassesTest ‑ find interface()
org.jacodb.testing.ClassesTest ‑ find method overrides()
org.jacodb.testing.ClassesTest ‑ find subclasses for class()
org.jacodb.testing.ClassesTest ‑ find subclasses for interface()
org.jacodb.testing.ClassesTest ‑ find subclasses with all hierarchy()
org.jacodb.testing.ClassesTest ‑ get all methods()
org.jacodb.testing.ClassesTest ‑ hidden fields()
org.jacodb.testing.ClassesTest ‑ inner and static()
org.jacodb.testing.ClassesTest ‑ local and anonymous classes()
org.jacodb.testing.ClassesTest ‑ method parameters()
org.jacodb.testing.ClassesTest ‑ override existed field and method()
org.jacodb.testing.ClassesTest ‑ static flag on classes()
org.jacodb.testing.ClassesTest ‑ virtual class methods override should work()
org.jacodb.testing.ClassesTest ‑ virtual classes should work()
org.jacodb.testing.ClassesTest ‑ virtual fields and methods of virtual classes()
org.jacodb.testing.DirectUsagesTest ‑ find fields used in method()
org.jacodb.testing.DirectUsagesTest ‑ find methods used in method with broken classpath()
org.jacodb.testing.DirectUsagesTest ‑ find methods used in method()
org.jacodb.testing.HierarchyStabilityTest ‑ should be ok()
org.jacodb.testing.HierarchyStabilityTest ‑ should ok with in-memory feature()
org.jacodb.testing.JarFacadeTest ‑ jmod parsing is working()
org.jacodb.testing.JarFacadeTest ‑ test for java 11()
org.jacodb.testing.JarFacadeTest ‑ test for java 8()
org.jacodb.testing.JarFacadeTest ‑ test for java 9()
org.jacodb.testing.JavaApiTest ‑ createClasspath()
org.jacodb.testing.JavaApiTest ‑ createJcdb()
org.jacodb.testing.JavaApiTest ‑ jcdbOperations()
org.jacodb.testing.JavaVersionTest ‑ java version should be proper for 11 java()
org.jacodb.testing.JavaVersionTest ‑ java version should be proper for 8 java()
org.jacodb.testing.ParameterNamesTest ‑ checkParameterName()
org.jacodb.testing.SignatureTest ‑ get signature of class()
org.jacodb.testing.SignatureTest ‑ get signature of fields()
org.jacodb.testing.SignatureTest ‑ get signature of methods()
org.jacodb.testing.UnknownClassesTest ‑ fields and methods of unknown class is empty()
org.jacodb.testing.UnknownClassesTest ‑ instructions with references to unknown classes are resolved()
org.jacodb.testing.UnknownClassesTest ‑ instructions with references to unknown fields and methods are resolved()
org.jacodb.testing.UnknownClassesTest ‑ parent of class is resolved()
org.jacodb.testing.UnknownClassesTest ‑ unknown class is resolved()
org.jacodb.testing.cfg.IRTest ‑ arrays methods()
org.jacodb.testing.cfg.IRTest ‑ get ir of algorithms lesson 1()
org.jacodb.testing.cfg.IRTest ‑ get ir of asm()
org.jacodb.testing.cfg.IRTest ‑ get ir of binary search tree()
org.jacodb.testing.cfg.IRTest ‑ get ir of guava()
org.jacodb.testing.cfg.IRTest ‑ get ir of kotlin stdlib()
org.jacodb.testing.cfg.IRTest ‑ get ir of kotlinx-coroutines()
org.jacodb.testing.cfg.IRTest ‑ get ir of random class()
org.jacodb.testing.cfg.IRTest ‑ get ir of self()
org.jacodb.testing.cfg.IRTest ‑ get ir of simple method()
org.jacodb.testing.cfg.IincTest ‑ iinc arrayByteIdx should work()
org.jacodb.testing.cfg.IincTest ‑ iinc arrayIntIdx should work()
org.jacodb.testing.cfg.IincTest ‑ iinc custom while()
org.jacodb.testing.cfg.IincTest ‑ iinc for()
org.jacodb.testing.cfg.IincTest ‑ iinc if 2()
org.jacodb.testing.cfg.IincTest ‑ iinc if()
org.jacodb.testing.cfg.IincTest ‑ iinc should work()
org.jacodb.testing.cfg.IincTest ‑ iinc while()
org.jacodb.testing.cfg.IincTest ‑ kotlin iinc()
org.jacodb.testing.cfg.IincTest ‑ kotlin iinc2()
org.jacodb.testing.cfg.IincTest ‑ kotlin iinc3()
org.jacodb.testing.cfg.IincTest ‑ kotlin iinc4()
org.jacodb.testing.cfg.InstructionsTest ‑ Protocol test()
org.jacodb.testing.cfg.InstructionsTest ‑ SMTPSaslAuthenticator test()
org.jacodb.testing.cfg.InstructionsTest ‑ arg assignment()
org.jacodb.testing.cfg.InstructionsTest ‑ assign inst()
org.jacodb.testing.cfg.InstructionsTest ‑ big decimal test()
org.jacodb.testing.cfg.InstructionsTest ‑ call default method should be resolved()
org.jacodb.testing.cfg.InstructionsTest ‑ cmp insts()
org.jacodb.testing.cfg.InstructionsTest ‑ condition in for should work()
org.jacodb.testing.cfg.InstructionsTest ‑ constant ldc instructions()
org.jacodb.testing.cfg.InstructionsTest ‑ hierarchy test()
org.jacodb.testing.cfg.InstructionsTest ‑ instance method ref bug()
org.jacodb.testing.cfg.InstructionsTest ‑ invoke inst()
org.jacodb.testing.cfg.InstructionsTest ‑ java 5 bytecode processed correctly on java 8()
org.jacodb.testing.cfg.InstructionsTest ‑ java 5 bytecode processed correctly on java 9+()
org.jacodb.testing.cfg.InstructionsTest ‑ lambda test()
org.jacodb.testing.cfg.InstructionsTest ‑ locals should work()
org.jacodb.testing.cfg.InstructionsTest ‑ method resolution based on var()
org.jacodb.testing.cfg.InstructionsTest ‑ null ref test()
org.jacodb.testing.cfg.InstructionsTest ‑ private call with invokevirtual instruction()
org.jacodb.testing.cfg.InstructionsTest ‑ properly merged frames for old bytecode()
org.jacodb.testing.cfg.InstructionsTest ‑ ref undefined()
org.jacodb.testing.cfg.InstructionsTest ‑ resolving field descriptors should work()
org.jacodb.testing.cfg.InstructionsTest ‑ resolving primitive types for local variables should work()
org.jacodb.testing.cfg.InstructionsTest ‑ static interface method call()
org.jacodb.testing.cfg.InvokeDynamicTest ‑ test complex invoke dynamic()
org.jacodb.testing.cfg.InvokeDynamicTest ‑ test currying function()
org.jacodb.testing.cfg.InvokeDynamicTest ‑ test method ref unary function()
org.jacodb.testing.cfg.InvokeDynamicTest ‑ test sam function()
org.jacodb.testing.cfg.InvokeDynamicTest ‑ test sam with default function()
org.jacodb.testing.cfg.InvokeDynamicTest ‑ test unary function()
org.jacodb.testing.cfg.KotlinInstructionsTest ‑ kotlin arrays()
org.jacodb.testing.cfg.KotlinInstructionsTest ‑ kotlin default args()
org.jacodb.testing.cfg.KotlinInstructionsTest ‑ kotlin different receivers test()
org.jacodb.testing.cfg.KotlinInstructionsTest ‑ kotlin equals test()
org.jacodb.testing.cfg.KotlinInstructionsTest ‑ kotlin method with exception()
org.jacodb.testing.cfg.KotlinInstructionsTest ‑ kotlin range test 2()
org.jacodb.testing.cfg.KotlinInstructionsTest ‑ kotlin range test()
org.jacodb.testing.cfg.KotlinInstructionsTest ‑ kotlin sequence test()
org.jacodb.testing.cfg.KotlinInstructionsTest ‑ kotlin try catch finally 2()
org.jacodb.testing.cfg.KotlinInstructionsTest ‑ kotlin try catch finally 3()
org.jacodb.testing.cfg.KotlinInstructionsTest ‑ kotlin try catch finally 4()
org.jacodb.testing.cfg.KotlinInstructionsTest ‑ kotlin try catch finally()
org.jacodb.testing.cfg.KotlinInstructionsTest ‑ kotlin typecast()
org.jacodb.testing.cfg.KotlinInstructionsTest ‑ kotlin vararg test()
org.jacodb.testing.cfg.KotlinInstructionsTest ‑ kotlin when expr()
org.jacodb.testing.cfg.KotlinInstructionsTest ‑ simple test()
org.jacodb.testing.cfg.LoopsTest ‑ combined loops()
org.jacodb.testing.cfg.LoopsTest ‑ loop inside loop should work()
org.jacodb.testing.cfg.LoopsTest ‑ simple for loops()
org.jacodb.testing.cfg.LoopsTest ‑ simple while loops()
org.jacodb.testing.features.BuildersTest ‑ java package is not indexed()
org.jacodb.testing.features.BuildersTest ‑ method parameters is took into account()
org.jacodb.testing.features.BuildersTest ‑ simple find builders()
org.jacodb.testing.features.BuildersTest ‑ works for DocumentBuilderFactory for java 8()
org.jacodb.testing.features.BuildersTest ‑ works for DocumentBuilderFactory()
org.jacodb.testing.features.BuildersTest ‑ works for jooq()
org.jacodb.testing.features.BuildersTest ‑ works for methods returns subclasses()
org.jacodb.testing.features.InMemoryHierarchySearchUsagesTest ‑ classes methods usages()
org.jacodb.testing.features.InMemoryHierarchySearchUsagesTest ‑ classes read fields()
org.jacodb.testing.features.InMemoryHierarchySearchUsagesTest ‑ classes write fields coupled()
org.jacodb.testing.features.InMemoryHierarchySearchUsagesTest ‑ classes write fields with rebuild()
org.jacodb.testing.features.InMemoryHierarchySearchUsagesTest ‑ classes write fields()
org.jacodb.testing.features.InMemoryHierarchySearchUsagesTest ‑ find usages of Runnable#run method()
org.jacodb.testing.features.InMemoryHierarchySearchUsagesTest ‑ find usages of System#out field()
org.jacodb.testing.features.InMemoryHierarchyTest ‑ find direct subclasses of Any()
org.jacodb.testing.features.InMemoryHierarchyTest ‑ find direct subclasses of Comparable()
org.jacodb.testing.features.InMemoryHierarchyTest ‑ find huge number of method overrides()
org.jacodb.testing.features.InMemoryHierarchyTest ‑ find huge number of subclasses()
org.jacodb.testing.features.InMemoryHierarchyTest ‑ find regular method overrides()
org.jacodb.testing.features.InMemoryHierarchyTest ‑ find subclasses for class()
org.jacodb.testing.features.InMemoryHierarchyTest ‑ find subclasses for interface()
org.jacodb.testing.features.InMemoryHierarchyTest ‑ find subclasses of Any()
org.jacodb.testing.features.InMemoryHierarchyTest ‑ find subclasses of Comparable()
org.jacodb.testing.features.RegularHierarchyTest ‑ find direct subclasses of Any()
org.jacodb.testing.features.RegularHierarchyTest ‑ find direct subclasses of Comparable()
org.jacodb.testing.features.RegularHierarchyTest ‑ find huge number of method overrides()
org.jacodb.testing.features.RegularHierarchyTest ‑ find huge number of subclasses()
org.jacodb.testing.features.RegularHierarchyTest ‑ find regular method overrides()
org.jacodb.testing.features.RegularHierarchyTest ‑ find subclasses for class()
org.jacodb.testing.features.RegularHierarchyTest ‑ find subclasses for interface()
org.jacodb.testing.features.RegularHierarchyTest ‑ find subclasses of Any()
org.jacodb.testing.features.RegularHierarchyTest ‑ find subclasses of Comparable()
org.jacodb.testing.features.SearchUsagesTest ‑ classes methods usages()
org.jacodb.testing.features.SearchUsagesTest ‑ classes read fields()
org.jacodb.testing.features.SearchUsagesTest ‑ classes write fields coupled()
org.jacodb.testing.features.SearchUsagesTest ‑ classes write fields with rebuild()
org.jacodb.testing.features.SearchUsagesTest ‑ classes write fields()
org.jacodb.testing.features.SearchUsagesTest ‑ find usages of Runnable#run method()
org.jacodb.testing.features.SearchUsagesTest ‑ find usages of System#out field()
org.jacodb.testing.tree.GlobalClassVfsTest ‑ dropping locations()
org.jacodb.testing.tree.GlobalClassVfsTest ‑ handle classes at intermediate level()
org.jacodb.testing.tree.GlobalClassVfsTest ‑ handle classes at limited tree()
org.jacodb.testing.tree.GlobalClassVfsTest ‑ handle classes at top level()
org.jacodb.testing.tree.GlobalClassVfsTest ‑ total locations dropping()
org.jacodb.testing.types.AssignTypesTest ‑ arrays is working()
org.jacodb.testing.types.AssignTypesTest ‑ class type is working()
org.jacodb.testing.types.AssignTypesTest ‑ primitive type is working()
org.jacodb.testing.types.AssignTypesTest ‑ unboxing is working()
org.jacodb.testing.types.IgnoreSubstitutionProblemsTest ‑ should work when params number miss match()
org.jacodb.testing.types.InnerTypesTest ‑ custom parameterization of inner type overrides outer class parameterization()
org.jacodb.testing.types.InnerTypesTest ‑ custom parameterization of method overrides outer class parameterization()
org.jacodb.testing.types.InnerTypesTest ‑ get inner type linked to parameterized method()
org.jacodb.testing.types.InnerTypesTest ‑ get not parameterized inner types()
org.jacodb.testing.types.InnerTypesTest ‑ inner classes linked to method()
org.jacodb.testing.types.InnerTypesTest ‑ inner classes type name should be right()
org.jacodb.testing.types.InnerTypesTest ‑ parameterized inner type with parent type parameterization()
org.jacodb.testing.types.LinkedGenericsTest ‑ custom generics from child types applied to methods()
org.jacodb.testing.types.LinkedGenericsTest ‑ direct generics from child types applied to methods()
org.jacodb.testing.types.LinkedGenericsTest ‑ generics applied for fields of super types()
org.jacodb.testing.types.LinkedGenericsTest ‑ linked generics current parametrization()
org.jacodb.testing.types.LinkedGenericsTest ‑ linked generics fields parametrization()
org.jacodb.testing.types.LinkedGenericsTest ‑ linked generics original parametrization()
org.jacodb.testing.types.MultiParametersTest ‑ first level of parameterization fields()
org.jacodb.testing.types.MultiParametersTest ‑ first level of parameterization methods()
org.jacodb.testing.types.MultiParametersTest ‑ second level of parameterization fields()
org.jacodb.testing.types.MultiParametersTest ‑ second level of parameterization methods()
org.jacodb.testing.types.MultiParametersTest ‑ third level of parameterization fields()
org.jacodb.testing.types.MultiParametersTest ‑ third level of parameterization methods()
org.jacodb.testing.types.OverridesTest ‑ class methods should respect overrides()
org.jacodb.testing.types.OverridesTest ‑ types fields should respect overrides and visibility()
org.jacodb.testing.types.OverridesTest ‑ types methods should respect overrides()
org.jacodb.testing.types.RecursiveTypesTest ‑ declaration of recursive type()
org.jacodb.testing.types.RecursiveTypesTest ‑ extending recursive types in declaration()
org.jacodb.testing.types.RecursiveTypesTest ‑ extending type with recursion in declaration()
org.jacodb.testing.types.RecursiveTypesTest ‑ recursive type()
org.jacodb.testing.types.TypeAnnotationsTest ‑ type annotations on array types()
org.jacodb.testing.types.TypeAnnotationsTest ‑ type annotations on fields()
org.jacodb.testing.types.TypeAnnotationsTest ‑ type annotations on inner types()
org.jacodb.testing.types.TypeAnnotationsTest ‑ type annotations on method parameters()
org.jacodb.testing.types.TypeAnnotationsTest ‑ type annotations on method return value()
org.jacodb.testing.types.TypeAnnotationsTest ‑ type annotations on wildcard bounds()
org.jacodb.testing.types.TypesTest ‑ humanReadableSignature should work()
org.jacodb.testing.types.TypesTest ‑ inner-outer classes recursion()
org.jacodb.testing.types.TypesTest ‑ interfaces types test()
org.jacodb.testing.types.TypesTest ‑ kotlin private inline fun()
org.jacodb.testing.types.TypesTest ‑ parameters test()
org.jacodb.testing.types.TypesTest ‑ parametrized typed method equality()
org.jacodb.testing.types.TypesTest ‑ parametrized types equality()
org.jacodb.testing.types.TypesTest ‑ primitive and array types()
org.jacodb.testing.types.TypesTest ‑ raw types equality()
org.jacodb.testing.types.WildcardTypesTest ‑ direct types()
org.jacodb.testing.types.WildcardTypesTest ‑ lower bound types()
org.jacodb.testing.types.WildcardTypesTest ‑ resolved direct types()
org.jacodb.testing.types.WildcardTypesTest ‑ resolved lower bound types()
org.jacodb.testing.types.WildcardTypesTest ‑ resolved upper bound types()
org.jacodb.testing.types.WildcardTypesTest ‑ upper bound types()
org.jacodb.testing.types.nullability.JavaNullabilityTest ‑ nullability after substitution with NotNull type or type of undefined nullability Java()
org.jacodb.testing.types.nullability.JavaNullabilityTest ‑ nullability after substitution with nullable type Java()
org.jacodb.testing.types.nullability.JavaNullabilityTest ‑ nullability for simple types Java()
org.jacodb.testing.types.nullability.JavaNullabilityTest ‑ nullability on wildcards Java()
org.jacodb.testing.types.nullability.KotlinJavaInteropNullabilityTest ‑ nullability after substitution of Java T with notNull type Kotlin()
org.jacodb.testing.types.nullability.KotlinJavaInteropNullabilityTest ‑ nullability after substitution of Java T with nullable type Kotlin()
org.jacodb.testing.types.nullability.KotlinJavaInteropNullabilityTest ‑ nullability after substitution of Kotlin T with notNull type Java()
org.jacodb.testing.types.nullability.KotlinJavaInteropNullabilityTest ‑ nullability after substitution of Kotlin T with nullable type Java()
org.jacodb.testing.types.nullability.KotlinJavaInteropNullabilityTest ‑ nullability after substitution of Kotlin T with type of undefined nullability Java()
org.jacodb.testing.types.nullability.KotlinNullabilityTest ‑ nullability after passing nullable type through chain of notnull type variables()
org.jacodb.testing.types.nullability.KotlinNullabilityTest ‑ nullability after substitution with notNull type()
org.jacodb.testing.types.nullability.KotlinNullabilityTest ‑ nullability after substitution with nullable type()
org.jacodb.testing.types.nullability.KotlinNullabilityTest ‑ nullability for arrays()
org.jacodb.testing.types.nullability.KotlinNullabilityTest ‑ nullability for extension function()
org.jacodb.testing.types.nullability.KotlinNullabilityTest ‑ nullability for generics with projections()
org.jacodb.testing.types.nullability.KotlinNullabilityTest ‑ nullability for simple generics()
org.jacodb.testing.types.nullability.KotlinNullabilityTest ‑ nullability on type parameters()
org.jacodb.testing.types.nullability.KotlinNullabilityTest ‑ nullability on type variable declarations()
Loading