シンボリック実行において、パスごとの制約条件を解くために使用されるエンジンを何と呼ぶか。

「性能プロファイリング」において、特定の関数の呼び出し頻度が異常に高い場合に疑うべき不具合はどれか。