ソースコードを解析して、プログラム内の不自然な箇所やエラーの予備軍を特定するツールはどれか。

電源供給が停止しても記憶内容を保持でき、電気的にデータの消去・書き換えができるメモリはどれか。