• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

PAIS Lab seminar: Binary and source code analysis for developing high quality program systems // Ph.D. Katerina Troshina

Katerina Troshina — Ph.D., SmartDec

Binary and source code analysis for developing high quality program systems

SDL (Security Development Lifecycle) is a software development process that helps developers build more secure software and address security compliance requirements while reducing development cost. Source code analysis is very important SDL practice used on implementation and verification steps.

Binary analysis is useful for analyzing software programs at their low-level (executable) form when the source code is not available. One of the best tools for code analysis is HP Fortify.

This talk will cover the detailed description of

  • implementation binary analysis technics for HP Fortify,
  • HP Fortify tool for static source code analysis,
  • HP Fortify and SDL.

Slides:  Особенности статического анализа и его место в разработке.pptx

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!