Category:Program analysis

C

• Compiler optimizations (65 P)
• Control-flow analysis (7 P)

D

• Data-flow analysis (9 P)
• Dynamic program analysis (2 P)

I

• Incremental computing (1 C, 4 P)

S

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

• Program analysis

A

• Abstract interpretation
• Aliasing (computing)

C

• Compiler-compiler
• Context-free language reachability

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