静态解析与探索