Ondokuz / frama-c-base

Platform dedicated to the analysis of source code written in C (without gui)



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmibir frama-c-base 20201209+titanium-4.1
yirmiuc frama-c-base 20220511-manganese-3+b4