Security context

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

tensorflow/probability
main @ a908ce4
3
Fixes
0
CVEs
HIGH
Peak severity
Highlights
Denial of Service: 2 prior fixes. Scrutinize any change in this area.
jaxlib: most-fixed (1 issue). Treat as high-risk during review.
1 high-severity fix in this history; regressions here are high-impact.
Recurring patterns

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

Heap Buffer Overflow: Integer overflows in linear algebra kernels can lead to undersized memory allocations followed by out-of-bounds writes during operations like memcpy or cudaMemcpyAsync, potentially resulting in arbitrary code execution on host or GPU.
Denial of Service: Under-allocation or overflow during LAPACK workspace size calculations can cause immediate crashes or undefined behavior when calling external Cython/LAPACK subroutines.
Denial of Service: Instantiating probability distributions (such as LKJ and CholeskyLKJ) with extremely large dimensions can trigger integer overflows during initialization, leading to denial of service through interpreter crashes.