Skip to content
Build and run tests

Fix import #1611

Sign in to view logs

Fix import

Fix import #1611

Triggered via push May 31, 2024 17:44
@LipenLipen
pushed 660d5b9
lipen/taint-panda
Status Failure
Total duration 23m 44s
Artifacts 1

build-and-test.yml

on: push
Run lifecycle tests
4m 42s
Run lifecycle tests
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 47 warnings
Run tests on JDK 19
Process completed with exit code 1.
Run tests on JDK 11
Process completed with exit code 1.
Run tests on JDK 8
Process completed with exit code 1.
Run lifecycle tests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2, codecov/codecov-action@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test parser on binary subtraction() (parser.IRParserBinarySamplesTest) failed: parser.IRParserBinarySamplesTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-parser.IRParserBinarySamplesTest.xml [took 0s]
counterexample - untrusted bound in while loop() (analysis.TaintSamples$UntrustedLoopBoundTest) failed: analysis.TaintSamples$UntrustedLoopBoundTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$UntrustedLoopBoundTest.xml [took 30s]
counterexample - untrusted bound in for loop() (analysis.TaintSamples$UntrustedLoopBoundTest) failed: analysis.TaintSamples$UntrustedLoopBoundTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$UntrustedLoopBoundTest.xml [took 0s]
counterexample - sql injection that lead to dropping table() (analysis.TaintSamples$SQLInjectionTest) failed: analysis.TaintSamples$SQLInjectionTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$SQLInjectionTest.xml [took 0s]
counterexample - not validating user data lead to xss attack() (analysis.TaintSamples$XSSTest) failed: analysis.TaintSamples$XSSTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$XSSTest.xml [took 0s]
positive example - print encrypted password to console (with forgotten cleaner)() (analysis.TaintSamples$PasswordLeakTest) failed: analysis.TaintSamples$PasswordLeakTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$PasswordLeakTest.xml [took 0s]
counterexample - print unencrypted password to console() (analysis.TaintSamples$PasswordLeakTest) failed: analysis.TaintSamples$PasswordLeakTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$PasswordLeakTest.xml [took 0s]
counterexample - program that read some unresolved variables() (analysis.PrimaryStaticAnalysisTest$UnresolvedVariableTest) failed: analysis.PrimaryStaticAnalysisTest$UnresolvedVariableTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.PrimaryStaticAnalysisTest$UnresolvedVariableTest.xml [took 0s]
test taint analysis on case3 - send plain information with sensitive data() (analysis.PandaIfds) failed: analysis.PandaIfds#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.PandaIfds.xml [took 1s]
test taint analysis on case2 - untrusted array buffer size scenario() (analysis.PandaIfds) failed: analysis.PandaIfds#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.PandaIfds.xml [took 0s]
test taint analysis on TypeMismatch() (analysis.PandaIfds) failed: analysis.PandaIfds#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.PandaIfds.xml [took 0s]
test taint analysis on case1 - untrusted loop bound scenario() (analysis.PandaIfds) failed: analysis.PandaIfds#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.PandaIfds.xml [took 0s]
counterexample - potential exposure of unencrypted password() (analysis.TaintSamples$PasswordExposureFPTest) failed: analysis.TaintSamples$PasswordExposureFPTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$PasswordExposureFPTest.xml [took 0s]
counterexample - potential exposure of unencrypted password (false positive tho)() (analysis.TaintSamples$PasswordExposureFPTest) failed: analysis.TaintSamples$PasswordExposureFPTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$PasswordExposureFPTest.xml [took 0s]
Run tests on JDK 19
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
counterexample - sql injection that lead to dropping table() (analysis.TaintSamples$SQLInjectionTest) failed: analysis.TaintSamples$SQLInjectionTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$SQLInjectionTest.xml [took 0s]
test taint analysis on case3 - send plain information with sensitive data() (analysis.PandaIfds) failed: analysis.PandaIfds#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.PandaIfds.xml [took 1s]
test taint analysis on case2 - untrusted array buffer size scenario() (analysis.PandaIfds) failed: analysis.PandaIfds#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.PandaIfds.xml [took 0s]
test taint analysis on TypeMismatch() (analysis.PandaIfds) failed: analysis.PandaIfds#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.PandaIfds.xml [took 0s]
test taint analysis on case1 - untrusted loop bound scenario() (analysis.PandaIfds) failed: analysis.PandaIfds#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.PandaIfds.xml [took 1m 0s]
counterexample - untrusted bound in while loop() (analysis.TaintSamples$UntrustedLoopBoundTest) failed: analysis.TaintSamples$UntrustedLoopBoundTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$UntrustedLoopBoundTest.xml [took 0s]
counterexample - untrusted bound in for loop() (analysis.TaintSamples$UntrustedLoopBoundTest) failed: analysis.TaintSamples$UntrustedLoopBoundTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$UntrustedLoopBoundTest.xml [took 0s]
counterexample - potential exposure of unencrypted password() (analysis.TaintSamples$PasswordExposureFPTest) failed: analysis.TaintSamples$PasswordExposureFPTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$PasswordExposureFPTest.xml [took 0s]
counterexample - potential exposure of unencrypted password (false positive tho)() (analysis.TaintSamples$PasswordExposureFPTest) failed: analysis.TaintSamples$PasswordExposureFPTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$PasswordExposureFPTest.xml [took 0s]
counterexample - program that read some unresolved variables() (analysis.PrimaryStaticAnalysisTest$UnresolvedVariableTest) failed: analysis.PrimaryStaticAnalysisTest$UnresolvedVariableTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.PrimaryStaticAnalysisTest$UnresolvedVariableTest.xml [took 0s]
counterexample - not validating user data lead to xss attack() (analysis.TaintSamples$XSSTest) failed: analysis.TaintSamples$XSSTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$XSSTest.xml [took 30s]
test parser on binary subtraction() (parser.IRParserBinarySamplesTest) failed: parser.IRParserBinarySamplesTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-parser.IRParserBinarySamplesTest.xml [took 0s]
positive example - print encrypted password to console (with forgotten cleaner)() (analysis.TaintSamples$PasswordLeakTest) failed: analysis.TaintSamples$PasswordLeakTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$PasswordLeakTest.xml [took 0s]
counterexample - print unencrypted password to console() (analysis.TaintSamples$PasswordLeakTest) failed: analysis.TaintSamples$PasswordLeakTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$PasswordLeakTest.xml [took 0s]
Run tests on JDK 11
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test parser on binary subtraction() (parser.IRParserBinarySamplesTest) failed: parser.IRParserBinarySamplesTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-parser.IRParserBinarySamplesTest.xml [took 1s]
counterexample - program that read some unresolved variables() (analysis.PrimaryStaticAnalysisTest$UnresolvedVariableTest) failed: analysis.PrimaryStaticAnalysisTest$UnresolvedVariableTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.PrimaryStaticAnalysisTest$UnresolvedVariableTest.xml [took 0s]
counterexample - not validating user data lead to xss attack() (analysis.TaintSamples$XSSTest) failed: analysis.TaintSamples$XSSTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$XSSTest.xml [took 30s]
test taint analysis on case3 - send plain information with sensitive data() (analysis.PandaIfds) failed: analysis.PandaIfds#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.PandaIfds.xml [took 1s]
test taint analysis on case2 - untrusted array buffer size scenario() (analysis.PandaIfds) failed: analysis.PandaIfds#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.PandaIfds.xml [took 0s]
test taint analysis on TypeMismatch() (analysis.PandaIfds) failed: analysis.PandaIfds#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.PandaIfds.xml [took 1m 0s]
test taint analysis on case1 - untrusted loop bound scenario() (analysis.PandaIfds) failed: analysis.PandaIfds#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.PandaIfds.xml [took 1m 0s]
counterexample - potential exposure of unencrypted password() (analysis.TaintSamples$PasswordExposureFPTest) failed: analysis.TaintSamples$PasswordExposureFPTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$PasswordExposureFPTest.xml [took 0s]
counterexample - potential exposure of unencrypted password (false positive tho)() (analysis.TaintSamples$PasswordExposureFPTest) failed: analysis.TaintSamples$PasswordExposureFPTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$PasswordExposureFPTest.xml [took 0s]
positive example - print encrypted password to console (with forgotten cleaner)() (analysis.TaintSamples$PasswordLeakTest) failed: analysis.TaintSamples$PasswordLeakTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$PasswordLeakTest.xml [took 0s]
counterexample - print unencrypted password to console() (analysis.TaintSamples$PasswordLeakTest) failed: analysis.TaintSamples$PasswordLeakTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$PasswordLeakTest.xml [took 0s]
counterexample - sql injection that lead to dropping table() (analysis.TaintSamples$SQLInjectionTest) failed: analysis.TaintSamples$SQLInjectionTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$SQLInjectionTest.xml [took 0s]
counterexample - untrusted bound in while loop() (analysis.TaintSamples$UntrustedLoopBoundTest) failed: analysis.TaintSamples$UntrustedLoopBoundTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$UntrustedLoopBoundTest.xml [took 0s]
counterexample - untrusted bound in for loop() (analysis.TaintSamples$UntrustedLoopBoundTest) failed: analysis.TaintSamples$UntrustedLoopBoundTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-analysis.TaintSamples$UntrustedLoopBoundTest.xml [took 0s]
Run tests on JDK 8
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Deprecation notice: v1, v2, and v3 of the artifact actions
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "gradle-reports". Please update your workflow to use v4 of the artifact actions. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/

Artifacts

Produced during runtime
Name Size
gradle-reports Expired
28.2 MB