cafebabe.jp 日々のよしなしごとをのたまうブログ.

114月/110

jmark ― Java言語向け電子透かしツール

Javaクラスファイルに対する電子透かしのためのツールで, http://se.naist.jp/jmark/ で公開されている.

このツールはダミーのメソッドに透かし情報を埋め込む.ダミーであるため,実行することに影響はないが,Java言語にはベリファイアという機能がある.クラスファイルのロード時にクラスファイルのフォーマットが間違っていないか,また,危険なコードが含まれていないかを検証する機構である.

そのため,int 型の変数に対してdouble型の足し算を行う命令を実行するとVerifyErrorが発生する.jmarkではこのようなVerifyErrorが発生しないように電子透かしを埋め込む.