Инструменты тестировщика
NIST пиарит набор утилит для тестирования исходников в том числе пару для криптографических протоколов. Но сразу оговаривается, что
DISCLAIMER: Certain trade names and company products are mentioned in the text or identified. In no case does such identification imply recommendation or endorsement by the National Institute of Standards and Technology (NIST), nor does it imply that the products are necessarily the best available for the purpose.
В любом случае какие-то критерии отбора в список не могут не быть. Хоть о них (критериях) достоверно не известно, но – это первый вопрос для обсуждения.
Прогнав один и тот же код через разные анализаторы, можно получить разные результаты. Пишите, плз, об известных вам инструментах. Желательно с инструкцией о том, как ими пользоваться.
http://samate.nist.gov/index.p.....urity_Analyzers.html
комментариев: 450 документов: 10 редакций: 13