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.

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.

Literatura

• 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.