Я использую инструмент frama-c для анализа кода ниже. int main (int argc, char *argv[])
{
int i,a;
for (i = 0; i < 100; i += 1)
{
a=0;
if (a==0)
{
continue
Я ищу несколько экспериментов с проектом с открытым исходным кодом Frama-C и хотел бы установить инструменты на компьютере под управлением Windows 7. Похоже, что предыдущие версии имеют двоичные устан