У рачунарству, анализа програма је процес који аутоматски анализира понашање компјутерских програма. Два основна приступа у анализи програма су статичка анализа програма и динамичка анализа програма. Главне примене анализе програма су у коректности програма и у оптимизацији програма.Hiralal Agrawal, Joseph R. Horgan, "Dynamic program slicing"
Технике које се односе на анализу програма су: контрола протока и анализа протока података константно базна анализа апстрактна интерпретација тип и ефекат система.
Техника која се примењује за одређене врсте анализе програма је сецкање програма.
Сродне области укључују анализе перформанси и верификацију.
Референце
Литература
Wang Chunlei, Zhao Gang, Dai Yiqi, "An Efficient Control Flow Security Analysis Approach for Binary Executables" .