cbcv は Java クラスとバイト コード検証ツールです。静的クラス ファイル構造、外部参照が検証され、オペランド スタックやバイト コード実行エミュレーションを介してローカルの変数を分析します。CLDC の標準的な検証が含まれています。
