2 matches found
[SECURITY] Fedora 45 Update: apron-0.9.15-21.fc45
The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables, like 1=3Dx+y=3Dz, wh ich holds during any execution of the program. The APRON library is intended to ...
7.9CVSS7.3AI score0.00331EPSS
SaveExploits0
20