Анализа програма
У рачунарству, анализа програма је процес који аутоматски анализира понашање компјутерских програма. Два основна приступа у анализи програма су статичка анализа програма и динамичка анализа програма. Главне примене анализе програма су у коректности програма и у оптимизацији програма.[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..