ブロックチェーンのスマートコントラクト監査において、リエントラシー（再入）攻撃などの脆弱性を検出するために有効な手法はどれか。

DevSecOpsの導入監査において、「シフトレフト（Shift Left）」のアプローチが実践されているかを確認する具体例はどれか。