Talk:Shape analysis (program analysis)