動的情報追跡による注入攻撃の普遍的な検出方式の実用化