open-quantum-safe / liboqs

82%

main: 82%

LAST BUILD ON BRANCH deliverable/cbmc-owned-code

branch: deliverable/cbmc-owned-code

CHANGE BRANCH

x

Reset

• deliverable/cbmc-owned-code
• 2238_fix_msvc_warnings
• 2249_mlkem_licenses
• CROSS-no-inlined-exp
• acvp-lat
• add-markdown-linter
• add-poutine
• add_parantheses
• afi/enable-gcc-14
• armhf-tier-two
• ash_missing_lms_parms
• bbb_sntrup
• bench-to-weekly
• bhe-acvp-tst-fix
• bhe-commondep-inclonly
• bhe-memopt-build
• bhe-ppc-mlkem
• bhe-upd-mayo
• bhe-weekly-tests
• charishma_build_script
• ci-image-refresh-fixes
• ci/add_custom_timeout
• code-coverage
• codeql-openssl-return-check
• cross-2.2
• ct-tooling
• declassify_after_api_call
• deliverable/ci-fuzzing
• deliverable/ci-mutation-testing
• deliverable/docs-security-guidance
• dependabot/github_actions/github-actions-3c815a503c
• dependabot/github_actions/github-actions-5d7b3baceb
• dependabot/github_actions/github-actions-754f0868f5
• dependabot/github_actions/github-actions-f253957208
• dependabot/pip/dot-github/workflows/idna-3.15
• dependabot/pip/dot-github/workflows/pip-09003775a4
• dependabot/pip/dot-github/workflows/pip-0f4be5aedf
• dependabot/pip/dot-github/workflows/pip-10fbcadc1c
• dependabot/pip/dot-github/workflows/pip-1439961f8a
• dependabot/pip/dot-github/workflows/pip-15ce36172b
• dependabot/pip/dot-github/workflows/pip-92bafd94cf
• dependabot/pip/dot-github/workflows/pip-9aa78c80e7
• dependabot/pip/dot-github/workflows/pip-d05869f971
• dependabot/pip/scripts/copy_from_upstream/idna-3.15
• deprecate-remove-dilithium
• dev
• dev_keccak_extract_arg_fix
• ds-0.14.0-release
• ds-0.14.1-dev
• ds-ai-pr-issue
• ds-algorithms-table
• ds-calloc-overflow
• ds-demote-armhf
• ds-dependabot-fixes
• ds-disable-travis
• ds-doxygen-style
• ds-fix-ci-permissions
• ds-fix-typo
• ds-governance-codeowners
• ds-kyber-codeowner
• ds-pip-updates
• ds-remove-sphincsplus
• ds-sha3-avx512vl-comment
• ds-sphincs-aliasing
• dsa_update
• encaps_derand
• extmu
• feature-allow-cmake-fetch-dependencies
• fix-OV-III-pkc-skc
• fix-issue-2042-digest-squeeze
• fix-memoire-wycheproof
• fix-platforms-typo
• fix-poutine-scan
• fix-readme
• fix-windows-warnings
• fix-zero-sig-len
• fix/alternative-intel-sde-9.53.0-source
• fix/constant-time-failures-mceliece-avx2
• fix/cupqc-mlkem-derand-symbols
• fix/ghsa-jr5q-r9qx-v738
• fix/icicle-ml-kem-encap-derand
• fix/icicle_ml_kem_768
• fix/sha3-512-inc-avx512-rate-boundary
• fix_fuzzers
• fuzz-lms-sig-stfl-verify
• fuzz-xmss-sig-stfl-verify
• ghsa-5c97-hp95-vg56
• gitpython-update
• gyx-0.15.0-full-release
• gyx-0.15.0-release-candidate-2
• gyx-0.15.0-release-notes
• gyx-0.15.0-release-notes-typos
• gyx-2045-algorithm-support-table
• gyx-2203-swap-slhdsa-with-sphincs-in-std-algs
• gyx-2279-remove-git-tracked-acvp-test-vec
• gyx-2304-document-alpine-linux-support
• gyx-2311-slhdsa-c-integration-refactor
• gyx-additional-acvp-vectors-test
• gyx-cache-acvp-vectors
• gyx-global-compiler-optimiation-opt
• gyx-hqc-20250822
• gyx-oqsbuilder-structured-oqsbuildfile
• gyx-pin-wycheproof-commit
• gyx-remove-dilithium
• gyx-sunset-alpine-platform-test
• hss_hash_sets
• impl-docs
• issue-2265-test-kem-ntru-memory-sanitizer-failure
• kem_acvp
• lat_wyche
• main
• mb-securitystmt
• mldsa-native
• mldsa-native-v1.0.0-beta
• mldsa-native-v1.0.0-beta2
• mlkem-native-v1.1.0
• na_add_nist_lms_kat
• na_fix_lms_#2321
• na_fix_over_read_xmss
• optimize-basic-checks
• patch-1
• pqc_upstream_release_rc1
• prehash_dsa
• rand-seed-nonce-mldsa-sigs
• release/0.16.0-rc1
• remove-armel-comment
• revive_ntru
• rng-improvement
• sha3-dispatch-fix
• sig-sftl-keygen-supported
• single_call_hash_shims
• slh_acvp
• slh_dsa
• slh_shims
• sqisign
• stfl
• sw-code-coverage
• sw-pr-poc
• tests/improve_sha3_test
• update-mlkem-native-v1.2.0
• update_alg_info
• update_nixpkgs
• verified-nix-installation
• wyche
• wyche_dsa

Build # 28263059952

Build Type

Pull #2480

github

Committed by web-flow

Commit Message

Merge 3ddfc11c4 into aa294f56b

Pull Request Pull Request #2480: Add bounded CBMC proofs for liboqs-owned code

Coverage Stats

210173 of 255401 relevant lines covered (82.29%)

8120509.35 hits per line