Skip to content

Bump junit:junit from 4.12 to 4.13.1 #1

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Bump junit:junit from 4.12 to 4.13.1 #1

wants to merge 1 commit into from

Conversation

dependabot[bot]
Copy link

@dependabot dependabot bot commented on behalf of github Jul 31, 2025

Bumps junit:junit from 4.12 to 4.13.1.

Release notes

Sourced from junit:junit's releases.

JUnit 4.13.1

Please refer to the release notes for details.

JUnit 4.13

Please refer to the release notes for details.

JUnit 4.13 RC 2

Please refer to the release notes for details.

JUnit 4.13 RC 1

Please refer to the release notes for details.

JUnit 4.13 Beta 3

Please refer to the release notes for details.

JUnit 4.13 Beta 2

Please refer to the release notes for details.

JUnit 4.13 Beta 1

Please refer to the release notes for details.

Commits

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
    You can disable automated security fix PRs for this repo from the Security Alerts page.

@dependabot
Bump junit:junit from 4.12 to 4.13.1
64eed06 
Bumps [junit:junit](https://github.com/junit-team/junit4) from 4.12 to 4.13.1.
- [Release notes](https://github.com/junit-team/junit4/releases)
- [Changelog](https://github.com/junit-team/junit4/blob/main/doc/ReleaseNotes4.12.md)
- [Commits](junit-team/junit4@r4.12...r4.13.1)

---
updated-dependencies:
- dependency-name: junit:junit
  dependency-version: 4.13.1
  dependency-type: direct:development
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot bot added dependencies Pull requests that update a dependency file java Pull requests that update java code labels Jul 31, 2025
@jpeaks-eroad
Copy link

Logo
Checkmarx One – Scan Summary & Details – 6d62bfd7-b836-464e-a0c8-0ebe189d274b

New Issues (261)

Checkmarx found the following issues in this Pull Request

Severity Issue Source File / Package Checkmarx Insight
CRITICAL Buffer_Overflow_Wrong_Buffer_Size /aws-common-runtime/aws-c-common/source/process_common.c: 55
detailsThe buffer output_buffer created in /aws-common-runtime/aws-c-common/source/process_common.c at line 55 is written to a buffer in /aws-comm...
ID: wkKMIhngkplVPR7GfB9v7TnyoCs%3D
Attack Vector
CRITICAL Buffer_Overflow_Wrong_Buffer_Size /aws-common-runtime/aws-c-common/source/process_common.c: 55
detailsThe buffer output_buffer created in /aws-common-runtime/aws-c-common/source/process_common.c at line 55 is written to a buffer in /aws-comm...
ID: djv0fT4uv2Rq4XLuCn%2BAIQgDTWU%3D
Attack Vector
CRITICAL Buffer_Overflow_Wrong_Buffer_Size /aws-common-runtime/aws-c-common/source/process_common.c: 55
detailsThe buffer output_buffer created in /aws-common-runtime/aws-c-common/source/process_common.c at line 55 is written to a buffer in /aws-comm...
ID: cQ%2FA80XIOKuANv%2B8rYFuWcsUdYM%3D
Attack Vector
CRITICAL Buffer_Overflow_Wrong_Buffer_Size /aws-common-runtime/aws-c-common/source/process_common.c: 55
detailsThe buffer output_buffer created in /aws-common-runtime/aws-c-common/source/process_common.c at line 55 is written to a buffer in /aws-comm...
ID: B5gkSMjHEc78YJrCIt5HAI6FDJM%3D
Attack Vector
CRITICAL Buffer_Overflow_Wrong_Buffer_Size /aws-common-runtime/s2n/pq-crypto/bike_r2/bike_r2_kem.c: 19
detailsThe buffer raw created in /aws-common-runtime/s2n/pq-crypto/bike_r2/bike_r2_kem.c at line 19 is written to a buffer in /aws-common-runtime...
ID: SuYnXSuqiC%2BwM%2BTHcW5C1IQXrUc%3D
Attack Vector
CRITICAL Buffer_Overflow_Wrong_Buffer_Size /aws-common-runtime/s2n/pq-crypto/bike_r1/bike_r1_kem.c: 20
detailsThe buffer raw created in /aws-common-runtime/s2n/pq-crypto/bike_r1/bike_r1_kem.c at line 20 is written to a buffer in /aws-common-runtime...
ID: OIaQMWcNdCoUwL%2Fgh4Y2T8MwEh8%3D
Attack Vector
CRITICAL Buffer_Overflow_Wrong_Buffer_Size /aws-common-runtime/aws-c-common/source/process_common.c: 55
detailsThe buffer output_buffer created in /aws-common-runtime/aws-c-common/source/process_common.c at line 55 is written to a buffer in /aws-comm...
ID: GGo2%2BbtPpUNeTFYZ3cG5xT8F2Hk%3D
Attack Vector
CRITICAL Buffer_Overflow_Wrong_Buffer_Size /aws-common-runtime/aws-c-io/source/stream.c: 38
detailsThe buffer Address created in /aws-common-runtime/aws-c-io/source/stream.c at line 38 is written to a buffer in /aws-common-runtime/aws-c-...
ID: R5p%2FSScbtTPOFepW59jq4eU5%2Bss%3D
Attack Vector
CRITICAL Buffer_Overflow_Wrong_Buffer_Size /aws-common-runtime/aws-c-io/source/stream.c: 38
detailsThe buffer Address created in /aws-common-runtime/aws-c-io/source/stream.c at line 38 is written to a buffer in /aws-common-runtime/aws-c-...
ID: yi3ZFiphmf%2FZZeUyFZBIGoOy6gA%3D
Attack Vector
CRITICAL Buffer_Overflow_Wrong_Buffer_Size /aws-common-runtime/aws-c-io/source/stream.c: 38
detailsThe buffer Address created in /aws-common-runtime/aws-c-io/source/stream.c at line 38 is written to a buffer in /aws-common-runtime/aws-c-...
ID: ZfwhE5hJZvdpZm8s5JF3dhXTVzs%3D
Attack Vector
CRITICAL Buffer_Overflow_Wrong_Buffer_Size /aws-common-runtime/aws-c-io/source/stream.c: 38
detailsThe buffer Address created in /aws-common-runtime/aws-c-io/source/stream.c at line 38 is written to a buffer in /aws-common-runtime/aws-c-...
ID: 6WDssLT05GP7K0pSXgPe8RYTgK4%3D
Attack Vector
CRITICAL Buffer_Overflow_Wrong_Buffer_Size /aws-common-runtime/aws-c-io/source/stream.c: 38
detailsThe buffer Address created in /aws-common-runtime/aws-c-io/source/stream.c at line 38 is written to a buffer in /aws-common-runtime/aws-c-...
ID: O1xIc%2FzqVrau1U2w1mFNjbOP1Zs%3D
Attack Vector
CRITICAL Buffer_Overflow_Wrong_Buffer_Size /aws-common-runtime/aws-c-io/source/stream.c: 38
detailsThe buffer Address created in /aws-common-runtime/aws-c-io/source/stream.c at line 38 is written to a buffer in /aws-common-runtime/aws-c-...
ID: 5AgNZ9Xx7o0IanbmFRwdU8wheb4%3D
Attack Vector
CRITICAL Buffer_Overflow_Wrong_Buffer_Size /aws-common-runtime/aws-c-common/source/process_common.c: 55
detailsThe buffer output_buffer created in /aws-common-runtime/aws-c-common/source/process_common.c at line 55 is written to a buffer in /aws-comm...
ID: SWM1WaHI11auCSFQ25s0Gt3dIiY%3D
Attack Vector
CRITICAL Buffer_Overflow_Wrong_Buffer_Size /aws-common-runtime/aws-c-http/bin/elasticurl/main.c: 556
detailsThe buffer argv created in /aws-common-runtime/aws-c-http/bin/elasticurl/main.c at line 556 is written to a buffer in /aws-common-runtime/aw...
ID: Bor%2FPUwHDXkf2HNDzSpMp3w1MCA%3D
Attack Vector
HIGH Download_of_Code_Without_Integrity_Check /aws-common-runtime/aws-c-http/bin/elasticurl/main.c: 556
detailsThe method in the file /aws-common-runtime/aws-c-http/bin/elasticurl/main.c at line 556 loads and executes external code without running an i...
ID: YV6jjoLvnJK9Oqrlsd0l6tVQNy0%3D
Attack Vector
HIGH Off_by_One_Error /aws-common-runtime/aws-c-io/source/posix/socket.c: 552
detailsThe size from sizeof in /aws-common-runtime/aws-c-io/source/posix/socket.c at line 552 does not correctly account for the actual size of the b...
ID: KWAzLALGcY2I03%2FDJ4rpk1crR18%3D
Attack Vector
HIGH Off_by_One_Error /aws-common-runtime/aws-c-io/source/posix/socket.c: 719
detailsThe size from sizeof in /aws-common-runtime/aws-c-io/source/posix/socket.c at line 719 does not correctly account for the actual size of the b...
ID: ZM7%2Bm46OJt%2BYgKvi8HPJ8RAzYhE%3D
Attack Vector
HIGH Use_After_Free /aws-common-runtime/aws-c-common/verification/cbmc/sources/proof_allocators.c: 204
detailsThe pointer ptr at /aws-common-runtime/aws-c-common/verification/cbmc/sources/proof_allocators.c in line 215 is being used after it has been ...
ID: 35t0gtHxur4DdHtkr1yN%2BA5hmSc%3D
Attack Vector
HIGH Use_After_Free /aws-common-runtime/s2n/tests/fuzz/s2n_select_server_cert_test.c: 284
detailsThe pointer certs at /aws-common-runtime/s2n/tests/fuzz/s2n_select_server_cert_test.c in line 285 is being used after it has been freed.
ID: M04qvLv9dMKgAqgS%2BcXWVGKyyHQ%3D
Attack Vector
HIGH Use_After_Free /aws-common-runtime/aws-c-common/verification/cbmc/sources/proof_allocators.c: 94
detailsThe pointer ptr at /aws-common-runtime/aws-c-common/verification/cbmc/sources/proof_allocators.c in line 220 is being used after it has been ...
ID: ePV9i%2BJFl4vgcePTapZhkMqWKpk%3D
Attack Vector
HIGH Use_After_Free /aws-common-runtime/s2n/tests/unit/s2n_release_non_empty_buffers.c: 112
detailsThe pointer private_key_pem at /aws-common-runtime/s2n/tests/unit/s2n_release_non_empty_buffers.c in line 206 is being used after it has b...
ID: ojcceLTHkV9wQWPP6vlSsynhX2s%3D
Attack Vector
HIGH Use_After_Free /aws-common-runtime/s2n/tests/unit/s2n_release_non_empty_buffers.c: 111
detailsThe pointer cert_chain_pem at /aws-common-runtime/s2n/tests/unit/s2n_release_non_empty_buffers.c in line 205 is being used after it has be...
ID: Rwrm2EuHmu6w6AKH4gJH7zkuDoc%3D
Attack Vector
HIGH Use_After_Free /aws-common-runtime/s2n/tests/unit/s2n_self_talk_custom_io_test.c: 115
detailsThe pointer cert_chain_pem at /aws-common-runtime/s2n/tests/unit/s2n_self_talk_custom_io_test.c in line 179 is being used after it has be...
ID: 70oc48Nf1gJ122SgT0LifBCo6vQ%3D
Attack Vector
HIGH Use_After_Free /aws-common-runtime/s2n/tests/unit/s2n_self_talk_custom_io_test.c: 116
detailsThe pointer private_key_pem at /aws-common-runtime/s2n/tests/unit/s2n_self_talk_custom_io_test.c in line 180 is being used after it has b...
ID: sEDPhy2L0wVnKpm4WyfDjq3tgzQ%3D
Attack Vector
HIGH Use_After_Free /aws-common-runtime/s2n/tests/unit/s2n_self_talk_custom_io_test.c: 117
detailsThe pointer dhparams_pem at /aws-common-runtime/s2n/tests/unit/s2n_self_talk_custom_io_test.c in line 181 is being used after it has been ...
ID: Lv0UGmkr6WVz3v%2BRbIlRHWQV%2BCU%3D
Attack Vector
MEDIUM Divide_By_Zero /aws-common-runtime/aws-c-common/tests/hash_table_test.c: 1035
detailsThe application performs an illegal operation in , in /aws-common-runtime/aws-c-common/tests/hash_table_test.c. In line 1056, the program a...
ID: 9czc7Qb3MlyQtEGRHzJltRZCw6c%3D
Attack Vector
MEDIUM Divide_By_Zero /aws-common-runtime/aws-c-common/tests/hash_table_test.c: 1035
detailsThe application performs an illegal operation in , in /aws-common-runtime/aws-c-common/tests/hash_table_test.c. In line 1059, the program a...
ID: vTJOndhBXoJnuu9tVTp%2By%2FWY0gU%3D
Attack Vector
MEDIUM Environment_Variable_Injection /aws-common-runtime/s2n/tests/unit/s2n_asn1_time_test.c: 128
detailsThe user-provided value in getenv in /aws-common-runtime/s2n/tests/unit/s2n_asn1_time_test.c in line 128 is set as an environment variable b...
ID: kO2N0PRH7jNAS%2Big6RpjHd0m7vI%3D
Attack Vector
MEDIUM Insufficiently_Protected_Credentials /aws-common-runtime/s2n/tests/unit/s2n_kem_test.c: 57
detailsMethod at line 57 of /aws-common-runtime/s2n/tests/unit/s2n_kem_test.c gets a user password from the ciphertext element. This element’s valu...
ID: YIV3URU%2B%2BywbSIUp7igoikb78kg%3D
Attack Vector
MEDIUM Insufficiently_Protected_Credentials /aws-common-runtime/s2n/tests/unit/s2n_kem_test.c: 50
detailsMethod at line 50 of /aws-common-runtime/s2n/tests/unit/s2n_kem_test.c gets a user password from the ciphertext element. This element’s valu...
ID: 7IZwCwG%2B4y50N%2FTb55mWAVEqQoE%3D
Attack Vector
MEDIUM Plaintext_Storage_Of_A_Password /aws-common-runtime/aws-c-auth/tests/sigv4_tests.c: 639
detailsThe password 639 did not used a secure scheme to store the password - this may allow attackers to retrieve it, and use it to access authenticated ...
ID: iUJPH7oTRm6pEQ3z%2Bjkh7jz2vIo%3D
Attack Vector
MEDIUM Plaintext_Storage_Of_A_Password /aws-common-runtime/aws-c-auth/tests/sigv4_tests.c: 640
detailsThe password 640 did not used a secure scheme to store the password - this may allow attackers to retrieve it, and use it to access authenticated ...
ID: 6vC%2BVClpMYkgEaMRf1NbjAgpPeU%3D
Attack Vector

More results are available on the CxOne platform

Fixed Issues (355)
Great job! The following issues were fixed in this Pull Request

Severity Issue Source File / Package
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tls/s2n_record_read_stream.c: 61
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tls/s2n_record_read_stream.c: 60
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_x509_validator_test.c: 485
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_server_finished_test.c: 169
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_server_finished_test.c: 165
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_server_finished_test.c: 88
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_server_finished_test.c: 82
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_record_aead_test.c: 365
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_record_aead_test.c: 364
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_record_aead_test.c: 307
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_record_aead_test.c: 294
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_record_aead_test.c: 238
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_record_aead_test.c: 205
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_record_aead_test.c: 200
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_record_aead_test.c: 199
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_record_aead_test.c: 193
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_record_aead_test.c: 187
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_record_aead_test.c: 182
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_client_finished_test.c: 169
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_client_finished_test.c: 165
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_client_finished_test.c: 88
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_client_finished_test.c: 82
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_tls13_cert_verify_test.c: 261
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_session_ticket_test.c: 509
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_session_ticket_test.c: 508
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_server_hello_test.c: 200
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_server_hello_test.c: 197
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_server_hello_test.c: 179
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_record_test.c: 383
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_record_test.c: 382
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_record_test.c: 208
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_extensions_server_key_share_select_test.c: 135
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_extensions_server_key_share_select_test.c: 111
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_extensions_server_key_share_select_test.c: 110
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_extensions_server_key_share_select_test.c: 86
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_choose_supported_group_test.c: 77
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_choose_supported_group_test.c: 57
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_change_cipher_spec_test.c: 123
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_change_cipher_spec_test.c: 97
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_aead_chacha20_poly1305_test.c: 152
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_aead_aes_test.c: 333
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/tests/unit/s2n_aead_aes_test.c: 152
HIGH Buffer_Improper_Index_Access /aws-common-runtime/s2n/pq-crypto/sike_r1/sidh_r1.c: 18
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-io/tests/pipe_test.c: 92
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-http/tests/test_h2_headers.c: 298
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-http/tests/test_connection.c: 159
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-http/tests/test_connection.c: 140
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-http/tests/stream_test_helper.c: 78
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-common/verification/cbmc/stubs/memset_using_uint64.c: 56
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-common/verification/cbmc/stubs/memset_using_uint64.c: 55
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-common/verification/cbmc/stubs/memset_using_uint64.c: 54
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-common/verification/cbmc/stubs/memset_using_uint64.c: 53
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-common/verification/cbmc/stubs/memset_using_uint64.c: 52
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-common/verification/cbmc/stubs/memset_using_uint64.c: 51
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-common/verification/cbmc/stubs/memset_using_uint64.c: 50
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-common/verification/cbmc/stubs/memset_using_uint64.c: 49
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-common/verification/cbmc/stubs/memset_using_uint64.c: 41
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-common/verification/cbmc/stubs/memset_using_uint64.c: 39
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-common/verification/cbmc/stubs/memset_using_uint64.c: 37
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-common/verification/cbmc/stubs/memset_using_uint64.c: 35
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-common/verification/cbmc/stubs/memset_using_uint64.c: 33
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-common/verification/cbmc/stubs/memset_using_uint64.c: 31
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-common/verification/cbmc/stubs/memset_using_uint64.c: 29
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-common/verification/cbmc/stubs/memset_override_0.c: 29
HIGH Buffer_Improper_Index_Access /aws-common-runtime/aws-c-common/verification/cbmc/stubs/memset_override.c: 19

More results are available on the CxOne platform

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

dependencies Pull requests that update a dependency file java Pull requests that update java code

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@jpeaks-eroad