Skip to content
Build and run tests

extend argument-parameter correspondence analysis for functions with … #1615

Sign in to view logs

extend argument-parameter correspondence analysis for functions with …

extend argument-parameter correspondence analysis for functions with … #1615

Triggered via push June 2, 2024 14:40
@MaxMilshinMaxMilshin
pushed 3e06a6c
lipen/taint-panda
Status Failure
Total duration 25m 11s
Artifacts 1

build-and-test.yml

on: push
Run lifecycle tests
4m 52s
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 8
Process completed with exit code 1.
Run tests on JDK 11
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 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 - 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]
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 - 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 - 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 - 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 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 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/.
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 30s]
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 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 - 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]
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]
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/.
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 30s]
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]
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]
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 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 - 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 30s]
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]
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 - 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 30s]
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/.
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
31.3 MB