mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-19 14:06:21 +00:00
- 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