Shape analysis (program analysis)
subject: Category:Static program analysis
subject: Category:Articles with example C++ code
hypernym: Technique
label: シェープ解析 @ja
description: type of method to analyze computer programs without actually executing the programs