組み込みシステムのセキュリティ～攻撃の脅威と防衛策～（4）組み込みシステムのデバッグ環境
第2回でお話したように，マシンコード実行型の脆弱性を解析するためには，ターゲット・システムのデバッグが不可欠です。例えば，バッファ・オーバーフロー脆弱性の攻略には，バッファ・オーバーフロー状態が発生した際のメモリーやレジスタの内容を確認する必要があります。そのための最も有効な手段は，ICE（In-Circuit Emulator）を利用することです。 ICEとは，組み込みシステム用の開発支援装置であり，ターゲット（対象システム）に接続して利用します。リアルタイム・トレースやブレーク，シングル・ステップ，レジスタやメモリーへのデータ・セット等が可能であり，通常，PC上で動作する専用のソフトウエアで制御します。 最近開発されたCPUの多くは，JTAG ICE（JTAGエミュレータ）によるデバッグをサポートしています。JTAG（Joint Test Action Group）とは，IEEE 11
宇宙の果てのだいありー
■[メモ] 記述と現実 記述は常に現実を100%表現しきれない。 しかし、現実は、記述なしにコミュニケートの対象とすることはできない。 だから、本質的に不完全な記述によって、いかに全員の意図をあらかじめより高い精度で表現するか が、目標になるのかな Permalink | コメント(0) | トラックバック(1) ■[本][形式的手法]形式手法の技術講座 入手 形式手法の技術講座―ソフトウェアトラブルを予防する 作者: 佐原伸 出版社/メーカー: ソフトリサーチセンター 発売日: 2008/05 メディア: 単行本 最近は、形式的手法の本がいろいろ出てきていて、普及していくといいなあと思う。 本屋でちらっと見て、著者が佐原さんだし、どう使うかとかどう導入していくかみたいなことが書かれているような気配がしたので買いました。 読まなくては Permalink | コメント(0) | トラックバ
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
産総研：システム検証研究センター
経済産業省近畿経済産業局 報道発表(08.08.29) 組込ソフトウェア開発にかかる仕様統一化のための 「研究推進会議」の設置について CVSは本研究開発の実施者として研究開発に取り組みます。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.truelogic.jp/
