Skip to content
Build and run tests

add correct processing for createarraywithbuffer #1612

Sign in to view logs

add correct processing for createarraywithbuffer

add correct processing for createarraywithbuffer #1612

Triggered via push June 1, 2024 13:04
@MaxMilshinMaxMilshin
pushed 70d630c
lipen/taint-panda
Status Failure
Total duration 23m 2s
Artifacts 1

build-and-test.yml

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

Annotations

3 errors and 47 warnings
Run tests on JDK 8
Process completed with exit code 1.
Run tests on JDK 19
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/.
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]
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]
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]
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 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 0s]
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 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]
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/.
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]
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 0s]
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]
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 30s]
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 - 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 parser on binary subtraction() (parser.IRParserBinarySamplesTest) failed: parser.IRParserBinarySamplesTest#L0
jacodb-panda-dynamic/build/test-results/test/TEST-parser.IRParserBinarySamplesTest.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 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 - 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 - 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 30s]
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 - 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 - 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 - 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 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/.
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
29.6 MB