Skip to content
CI Checks

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

Sign in to view logs

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

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

Triggered via pull request October 10, 2025 05:04
@tony-josi-awstony-josi-aws
synchronize #1296
tony-josi-aws:final_s2_patch_008_off_v4.3.2
Status Success
Total duration 15m 9s
Artifacts 1

ci.yml

on: pull_request
unittest
6m 19s
unittest
spell-check
3m 12s
spell-check
formatting
26s
formatting
doxygen
33s
doxygen
verify-manifest
21s
verify-manifest
link-verifier
15m 4s
link-verifier
build-checks
1m 24s
build-checks
complexity
30s
complexity
git-secrets
6s
git-secrets
proof_ci
9m 3s
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_05_13_05 Expired
5.5 MB
sha256:497e1b019cb13d5a0fce2c613aab7fe6ccdb4ad435e1249aab3f1ab78ae1b3f8