Security context

What an agent needs to avoid regressing past fixes and find the next vuln in this repo.

cossacklabs/themis
master @ dc37d03
37
Fixes
2
CVEs
HIGH
Peak severity
22.6%
Coverage
Highlights
Information Disclosure: 10 prior fixes. Scrutinize any change in this area.
src/themis/secure_session.c: most-fixed (3 issues). Treat as high-risk during review.
17 high-severity fixes in this history; regressions here are high-impact.
Recurring patterns

The bug types that recur here, drawn from past fixes, not open vulnerabilities.

Double Free: RSA key generation routines previously triggered double-free vulnerabilities when error handling paths incorrectly freed resources already managed by the OpenSSL/BoringSSL contexts. Developers must ensure structured resource cleanup using strict NULL-assignment or unified goto patterns.
Auth Bypass: The Secure Comparator protocol was vulnerable to complete verification bypasses due to a lack of validation for malicious or invalid Elliptic Curve points (such as identity generator points).
Signature Malleability: ECDSA signature verification failed to properly validate the exact positive return code of OpenSSL's EVP_DigestVerifyFinal, potentially allowing forged signatures to register as valid.