static-program-analysis

Articles

• Escape analysisDetermination of the dynamic scope of pointers
• Alias analysis
• Dependence analysis
• Taint checkingComputer language security feature
• Pointer analysisDetermining what or where each pointer points to in program code
• Termination analysisDetermination of whether a given program halts for each input
• Shape analysis (program analysis)