Analiza programa
U računarstvu, analiza programa je proces koji automatski analizira ponašanje kompjuterskih programa. Dva osnovna pristupa u analizi programa su statička analiza programa i dinamička analiza programa. Glavne primene analize programa su u korektnosti programa i u optimizaciji programa.[1]
Tehnike koje se odnose na analizu programa su:
- kontrola protoka i analiza protoka podataka
- konstantno bazna analiza
- apstraktna interpretacija
- tip i efekat sistema.
Tehnika koja se primenjuje za određene vrste analize programa je seckanje programa.
Srodne oblasti uključuju analize performansi i verifikaciju.
Reference[uredi | uredi izvor]
- ^ Hiralal Agrawal, Joseph R. Horgan, "Dynamic program slicing"
Literatura[uredi | uredi izvor]
- 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.