けんき says to YSITD
那有用什麼方式幫助靜態分析嗎