Category:Program analysis

C

• Compiler optimizations‎ (65 P)
• Control-flow analysis‎ (6 P)

D

• Data-flow analysis‎ (8 P)
• Dynamic program analysis‎ (2 P)

I

• Incremental computing‎ (1 C, 4 P)

S

• Software metrics‎ (48 P)
• Static program analysis‎ (3 C, 19 P)

• Program analysis

A

• Abstract interpretation
• Aliasing (computing)

C

• Compiler-compiler

D

• Dynamic program analysis

E

• Effect system

F

• Flow-sensitive typing

H

• Hyperproperty

K

• KPI-driven code analysis

P

• Path explosion
• Perl::Critic
• Polyvariance
• Program slicing

R

• Reaching definition

S

• Search-based software engineering
• Semantic analysis (compilers)
• Static program analysis
• Symbolic execution

T

• Type system
• Typestate analysis
• Typing environment
• Typing rule