Skip to content
CI Checks

[V4.2.5] Fix Buffer Over-read (CWE-126), Null Pointer Dereference (CWE-476) and Invalid Pointer Dereference (CWE-822) #6991

Sign in to view logs

[V4.2.5] Fix Buffer Over-read (CWE-126), Null Pointer Dereference (CWE-476) and Invalid Pointer Dereference (CWE-822)

[V4.2.5] Fix Buffer Over-read (CWE-126), Null Pointer Dereference (CWE-476) and Invalid Pointer Dereference (CWE-822) #6991

Triggered via pull request October 10, 2025 03:50
@tony-josi-awstony-josi-aws
synchronize #1295
tony-josi-aws:final_s2_patch_008_off_v4.2.3
Status Success
Total duration 16m 46s
Artifacts 1

ci.yml

on: pull_request
unittest
7m 55s
unittest
spell-check
3m 14s
spell-check
formatting
24s
formatting
doxygen
2m 8s
doxygen
verify-manifest
17s
verify-manifest
link-verifier
16m 42s
link-verifier
build-checks
3m 15s
build-checks
complexity
32s
complexity
git-secrets
4s
git-secrets
proof_ci
12m 30s
proof_ci
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_FreeRTOS-Plus-TCP_2025_10_10_04_03_00 Expired
5.49 MB
sha256:4cbea7ec4e48ef9cd38033a6138843a0052fe2e1b9d3a7d4b7f0840b23802da3