Анализа програма

Из Википедије, слободне енциклопедије

У рачунарству, анализа програма је процес који аутоматски анализира понашање компјутерских програма. Два основна приступа у анализи програма су статичка анализа програма и динамичка анализа програма. Главне примене анализе програма су у коректности програма и у оптимизацији програма.[1]

Технике које се односе на анализу програма су:

Техника која се примењује за одређене врсте анализе програма је сецкање програма.

Сродне области укључују анализе перформанси и верификацију.

Референце[уреди]

  1. Hiralal Agrawal, Joseph R. Horgan, "Dynamic program slicing"

Литература[уреди]

  • Wang Chunlei, Zhao Gang, Dai Yiqi, "An Efficient Control Flow Security Analysis Approach for Binary Executables"
  • Flemming Nielson, Hanne Riis Nielson, Chris Hankin (2005). "Principles of Program Analysis". Springer.