OlegPowerC (28.02.2020 01:10, просмотров: 289) ответил Evgeny_CD на [Frama-C] - анализатор С кода (С99) ->-
- А инструмент для совращения есть? А то у меня только книжка советских времён. - Крок(28.02.2020 13:46)
- Не факт! Frama имеет весьма привлекательную идеологию, никак не противоречащую эффективности кодогенерации С. - Evgeny_CD(28.02.2020 01:23)