コードパターンの検出に適したC言語前処理系解析器の開発
スポンサーリンク
概要
- 論文の詳細を見る
我々はソースコードレビューに頼って検出を行っていた定式化ができない不具合を検出するために,コードパターンを用いた解析手法を考案し,ANSI-C 言語で記述された組み込みソフトウェア向けの検査ツールとして実装し評価を行ったが,C 言語前処理系によって処理が行われる識別子を含むパターンについては正しく処理できない問題があった.そこで,C 言語前処理系の置換動作などを制御可能とすることでこの問題を解決するコードパターンの検出に適した C 言語前処理系を提案し,作成・評価した.その結果,従来は検出を行うことが出来なかった不具合をコードパターン化し,検出可能であることがわかった.
- 2010-05-25
著者
-
猪股 俊光
岩手県立大学大学院ソフトウェア情報学研究科
-
新井 義和
岩手県立大学大学院ソフトウェア情報学研究科
-
曽我 正和
岩手県立大学 地域連携研究センター
-
曽我 正和
三菱電機(株)情報電子研究所
-
曽我 正和
岩手県立大学地域連携研究センター
-
福原 和哉
岩手県立大学大学院ソフトウェア情報学研究科
-
新井 義和
岩手県立大学ソフトウェア情報学部
-
新井 義和
岩手県立大
-
猪股 俊光
岩手県立大学ソフトウェア情報学部
-
曽我 正和
Department Of Computer Science Faculty Ofcomputer Works Mitsubishi Electric Corpora-information &
-
猪股 俊光
岩手県立大学
-
福原 和哉
岩手県立大学
-
猪股 俊光
岩手県立大学大学院ソフトウエア情報学研究科
-
福原 和哉
岩手県立大学いわてものづくり・ソフトウェア融合テクノロジーセンター
関連論文
- 非接触ICカード用セキュアプロセッサSEP-6の開発(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
- 非接触ICカード用セキュアプロセッサSEP-6の開発(システム設計・開発,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 1N-3 接触型ICカード用セキュアプロセッサSEP-7の開発(組込みとセキュリティ,学生セッション,アーキテクチャ)
- 形式手法による通信ソフトウェア試験データの生成とその試験法
- マルチ移動ロボット環境における衝突回避のための局所的な通信を利用したセンサシステムの開発 (ロボットの知能化)
- 3ZD-9 制動力保持機構を持つブレーキシステムにおける学習手法を用いた保持制御(センシング・複雑系・その他,学生セッション,人工知能と認知科学)
- 2ZH-7 アーキテクチャ学習のためのCPUシミュレータの設計と評価(プログラム教育,学生セッション,コンピュータと人間社会)
- 5ZB-2 サイドチャネル攻撃に対するセキュアプロセッサSEP-6の耐タンパ性の評価(セキュリティ(5),学生セッション,セキュリティ)
- 1ZB-8 ホームページ改ざん検知システムにおけるコンテンツ更新状況に基づく更新作業効率化(セキュリティ(1),学生セッション,セキュリティ)
- 4ZA-3 制動力保持機構を持つブレーキ制御システムのための自動起動手法の実車試験による評価(ITS運転支援・画像処理,学生セッション,ネットワーク)
- 1X-4 枝打ロボットのための切断機動作計画アルゴリズム : 実環境に向けた評価と改良(ロボット,学生セッション,人工知能と認知科学)
- 2Q-6 ソフトウェアの不具合箇所のパターン群を用いた検出法(検査,検証,解析,学生セッション,ソフトウェア科学・工学)
- 6P-5 予防接種支援システムにおける接種計画作成法に関する研究(数理モデルの応用,学生セッション,ソフトウェア科学・工学)
- D-3-8 ソフトウェア製品の不具合原因コードパターン検出のための静的解析法(D-3. ソフトウェアサイエンス,一般セッション)
- 枝認識システムを有する枝打ロボットのための小型な切断機構の開発
- 非接触ICカード用セキュアプロセッサSEP-6の開発(システム設計・開発,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 再利用可能なコード設計によるクロックレベルシミュレータの開発
- 携帯電話を用いた予防接種支援システムの開発
- 視覚特性を利用した画像型ディジタルコンテンツの不正コピー防止(セキュリティと社会, 多様な社会的責任を担うコンピュータセキュリティ技術)
- 1P1-N-031 枝検出システムを有する枝打ちロボットのための枝マップ構築(非接触センシング,生活を支援するロボメカ技術のメガインテグレーション)
- D-6-6 セキュアプロセッサSEP-5用シミュレータの開発(D-6. コンピュータシステム, 情報・システム1)
- A-9-2 相互監視による障害検知システムにおけるハートビート自動挿入(A-9. 信頼性, 基礎・境界)
- 分散システムにおける障害検知方式(安全性,信頼性国際規格,保全性,信頼性一般)
- ユーザ生成情報を利用したホームページ改竄検知システム
- インターネットにおける動的データ改竄検知方式
- 分散システムにおける障害検知方式(安全性,信頼性国際規格,保全性,信頼性一般)
- セキュアプロセッサの開発(アーキテクチャ全般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- セキュリティ対策選定の実用的な一手法の提案とその評価(セキュリティと社会)(プライバシを保護するコンピュータセキュリティ技術)
- メカニズムベースPKI : 指紋からの秘密鍵動的生成(セキュリティ基盤技術)(プライバシを保護するコンピュータセキュリティ技術)
- 経験による想起の容易さを利用した認証方式(セッション5A 高信頼プラットフォームと暗号要素技術)
- ウイルスとワクチンの拡散形態によるウイルス感染状況の変化(セッション2A ウィルス)
- RSA暗号の秘密鍵保護機能と暗号計算機能をもつICカード用汎用プロセッサの設計
- A-9-1 相互監視による高信頼度分散システム(ハートビート発生方式)
- ライトワンス文書管理システム(セキュリティプロトコル・電子公証)(新たな脅威に立ち向かうコンピュータセキュリティ技術)
- ディジタル署名とパトロールを用いた電子情報改ざん検知方式とWWWへの応用(ネットワークセキュリティ)(新たな脅威に立ち向かうコンピュータセキュリティ技術)
- 賞金稼ぎの仕組みを利用したディジタルコンテンツの監視方式(ソフトウェア・著作権保護)(新たな脅威に立ち向かうコンピュータセキュリティ技術)
- セキュリティ対策案選択問題のモデル化
- セキュリティ対策案選択問題のモデル化
- ミニマム・オンライン・アプリケーション方式によるプログラムの不正使用防止
- ハイブリッドチャネルによるセキュア通信方式
- ハイブリッドチャネルによるセキュア通信方式
- Web上の著作コンテンツを監視する方式の比較検討 : 賞金稼ぎの仕組みを利用したディジタル著作物の監視方式の有効性
- リソース指向分散環境 RODS の提案と実現
- コードパターンの検出に適したC言語前処理系解析器の開発
- 環境の差異を考慮したセンサデータ処理手法の一検討
- 環境の差異を考慮したセンサデータ処理手法の一検討
- 環境の差異を考慮したセンサデータ処理手法の一検討
- コードパターンの検出に適したC言語前処理系解析器の開発
- Web上の著作コンテンツを監視する方式の比較検討 : 賞金稼ぎの仕組みを利用したディジタル著作物の監視方式の有効性
- サーバ・クライアント間の同期型情報管理によるソフトウェア保護
- 輝度値変更型変調方式による画像型ディジタルコンテンツの不正コピー防止 : 復元された画像についての視覚実験
- サーバ・クライアント間の同期型情報管理によるソフトウェア保護
- 輝度値変更型変調方式による画像型ディジタルコンテンツの不正コピー防止 : 復元された画像についての視覚実験
- ダブルチェック型文書管理システム
- ダブルチェック型文書管理システム
- ダブルチェック型文書管理システム
- 動的復号型表示方式による画像コンテンツの不正コピー防止(21世紀のコンピュータセキュリティ技術)
- 再構成可能計算機を用いた不正コピーの防止
- 再構成可能計算機を用いた不正コピーの防止
- データのスクラッチングと動的復元によるバイナリープログラムの不正コピー防止方式
- 2000-CSEC-10-7 プログラムの冗長化に関する検討
- ISEC2000-29 プログラムの冗長化に関する検討
- ホームページ改竄パトロール方式
- コードパターンの検出に適したC言語前処理系解析器の開発
- 1X-1 専門学部を含む学部混成クラスを対象とした一般情報処理教育の実践(1)(情報処理教育,一般講演,コンピュータと人間社会)
- 線形論理によるペトリネット設計の一手法とその実装(システムと制御)
- 故障発生の診断が可能な耐故障回路
- 2ZA-1 制動力保持機構を持つブレーキ制御システムにおける可視光通信を用いた保持制御(ITS応用,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- プログラミング学習のためのロボット制御システムの開発
- WWW 環境を用いたプログラミング教育に関する考察
- 3ZA-2 利用者の操作負荷を軽減した駐車場における車両探索システム(ナビゲーションシステム,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 1ZB-2 ネットワーク負荷を考慮したセンサデータ処理の一手法(ユビキタスデータ管理,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 故障診断機能を有する耐故障組合せ回路 : ゲート間配線の単一断線故障に対する耐故障化
- 環境埋め込み情報に基づく自律移動ロボットの自己位置同定
- 2P1-D03 群ロボット環境における距離情報に基づくナビゲーション
- 2P1-F1 時分割スケジューリングに基づく複数移動ロボットの環境地図獲得(30. マルチエージェントロボットシステムII)
- 動的復号型暗号方式による画像コンテンツの不正コピー防止
- ホームページ改竄パトロール方式
- 動的復号型暗号方式による画像コンテンツの不正コピー防止
- 2G-6 ユーザに対して秘匿される秘密情報の受け渡し
- 情報セキュリティ実現に関する一考察
- 群ロボット環境における局所的通信に基づく衝突回避
- 1P1-I11 赤外光入射角の検出に基づいた移動ロボットの絶対位置計測
- 2P2-N10 半自律移動ロボットの遠隔操作システム : 適応性と信頼性を両立するインターフェースの開発(33. VRとインターフェース)
- 1P2-N-112 視覚弱者のための触覚による環境知覚支援システムに関する基礎研究(医療福祉ロボティクス・メカトロニクス2,生活を支援するロボメカ技術のメガインテグレーション)
- 2P1-44-065 実世界作業ロボットのナビゲーション : オプティカル・フローによるアプローチ
- A-12-3 線形論理により構成されるペトリネットを用いた仕様検証の一手法
- 動作推定のための個人適応性を考慮したセンサデータ処理手法の一検討
- 群ロボット環境における自律的ナビゲーションに関する研究
- 1P1-H06 枝打ロボットのための枝マップ構築システムの評価と改良(非接触センシング)
- 2P1-D31 枝打ちロボットのための切断機構の動作計画アルゴリズム
- 2P1-C40 枝打ちロボットのための枝マップ構築システムの性能評価
- 研究シーズから製品化までの道のり : 産学連携のひとつの溝
- ニューラルネットワークの耐最悪故障化学習
- 1J-11 耐最悪故障化学習の拡張
- モデルベース開発におけるモデリングと解析に関する考察 (システム数理と応用)
- A-9-1 パターン照合を用いた対話型静的検査ツールの開発(A-9.信頼性,一般セッション)
- コードレピュー支援システムのための関数・変数関係の可視化実現法
- プライバシーとセキュリテイ
- プログラムの関数・変数関係の表現法