シェープ解析
Shape analysis (program analysis)
type of method to analyze computer programs without actually executing the programs