Known vulnerabilities in frama-c (Debian package) 20220511-manganese-1.2

20201209+titanium-1 20201209+titanium-2 20201209+titanium-3 20201209+titanium-4 20201209+titanium-4.1 20211203-chromium-1 20220511-manganese-1 20220511-manganese-1.1 20220511-manganese-1.2 20220511-manganese-1.3 20220511-manganese-2 20220511-manganese-3 20220511-manganese-4 20220511-manganese-5 20200625+scandium-2 20200625+scandium 20200625+scandium-1 20161101+silicon+dfsg-5+b1 20191204+calcium 20171101+sulfur+dfsg 20161101+silicon+dfsg 20140301+neon+dfsg 20191204+calcium-0.1 20171101+sulfur+dfsg-2 20171101+sulfur+dfsg-1 20170501+phosphorus+dfsg-2 20170501+phosphorus+dfsg-1 20161101+silicon+dfsg-6 20150201+sodium+dfsg-1 20150201+sodium+dfsg-2 20151002+magnesium+dfsg-1 20161101+silicon+dfsg-1 20161101+silicon+dfsg-2 20161101+silicon+dfsg-3 20161101+silicon+dfsg-4 20161101+silicon+dfsg-5 20130601+fluorine3+dfsg-1 20130601+fluorine3+dfsg-2 20140301+neon+dfsg-1 20140301+neon+dfsg-2 20140301+neon+dfsg-3 20081201.dfsg-1 20081201.dfsg-2 20081201.dfsg-3 20090601~beta1+dfsg-1 20090901+beryllium+dfsg-1 20090901+beryllium+dfsg-2 20090902+beryllium+dfsg-1 20090902+beryllium+dfsg-2 20090902+beryllium+dfsg-3 20090902+beryllium+dfsg-4 20090902+beryllium+dfsg-5 20100401+boron+dfsg-1 20100401+boron+dfsg-2 20100401+boron+dfsg-3 20100401+boron+dfsg-4 20100401+boron+dfsg-5 20110201+carbon+dfsg-1 20110201+carbon+dfsg-2 20111001+nitrogen+dfsg-1 20111001+nitrogen+dfsg-2 20111001+nitrogen+dfsg-3 20111001+nitrogen+dfsg-4