devs/cproof
1
2
Fork 1
Code Issues 43 Pull Requests 8 Actions Packages Projects 1 Releases Wiki Activity

fix(security): prevent CWE-134 format string injection
All checks were successful
CI Code / Check spelling (pull_request) Successful in 18s
Details
CI Code / Check coding style (pull_request) Successful in 32s
Details
CI Code / Code Coverage (pull_request) Successful in 5m1s
Details
CI Code / Linux (ubuntu) (pull_request) Successful in 6m19s
Details
CI Code / Linux (arch) (pull_request) Successful in 6m23s
Details
CI Code / Linux (debian) (pull_request) Successful in 9m10s
Details

Browse Source 
- add "%s" to unsafe cons_show/log_*/win_println calls
- add check-cwe134.sh static analysis script
- integrate security check into CI pipeline

Closes #85
This commit is contained in:
jabber.developer2
2026-02-05 17:22:04 +03:00
parent b772bd8c86
commit 7d7615f10d
12 changed files with 90 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ci-build.sh
View File

@@ -168,6 +168,10 @@ num_cores()
# Run test failure detection verification first
verify_test_failure_detection
# Run CWE-134 format string vulnerability check
echo "=== Running CWE-134 security check ==="
./check-cwe134.sh || { echo "CWE-134 check failed!"; exit 1; }
# Parse arguments
COVERAGE_ONLY=no
for arg in "$@"; do