caxapa.ru :: [Frama-C] - анализатор С кода (С99) ->

Evgeny_CD^{Архитектор} (02.06.2018 03:32, просмотров: 5780)

[Frama-C] - анализатор С кода (С99) -> http://frama-c.com/features.html

Ответить

- Вот.... скоро совратим всех на Аду :-) - OlegPowerC(28.02.2020 01:10)
  - А инструмент для совращения есть? А то у меня только книжка советских времён. - Крок(28.02.2020 13:46)
  - Не факт! Frama имеет весьма привлекательную идеологию, никак не противоречащую эффективности кодогенерации С. - Evgeny_CD(28.02.2020 01:23)
- Причем пилят его как-то очень активно! - Evgeny_CD(28.02.2020 00:52)
- YES!!!! [ACSL] The ANSI/ISO C Specification Langage Язык описания поведения анализатора кода! -> Копались в моей голове.... Evgeny_CD(221 знак., 28.02.2020 00:22, ссылка)
  - Осторожнее Евгений, на всех вашей головы не хватит! :) - Ralex(28.02.2020 11:20)
  - Офигеть! Да что же сегодня за день такой - когда открываются тайны Вселенной... Свежая книга Introduction to C program proof with Frama-C and its WP plugin Лицензия свободная. Evgeny_CD(250 знак., 28.02.2020 01:01)
    - :) - Vit(28.02.2020 11:35, youtube)
  - Статья Evgeny_CD(28.02.2020 00:55)
  - вот m16_home(28.02.2020 00:25)
    - Спасибо! - Evgeny_CD(28.02.2020 00:31)
      - если у тебя FireFox m16_home(100 знак., 28.02.2020 00:35)
        
        Хром. - Evgeny_CD(28.02.2020 00:41)
- OlegPowerC -> --> А кто-нибудь еще это чудо щупал? - Evgeny_CD(27.02.2020 23:39, ссылка, ссылка)
  - Да, есть у меня человек, он очень хорошо в этом разбирается - OlegPowerC(27.02.2020 23:54)

Средства и методы разработки