IPアドレスの不足を解消するために考案された、128ビットのアドレス体系を持つ規格はどれか。

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