動的プログラム解析