文献

J-GLOBAL ID：202002280266145660   整理番号：20A0470928

[数式:原文を参照]:TINT解析結果の後方文脈依存フロー再構成【JST・京大機械翻訳】

[Formula : see text]: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results

著者 (4件)： Ferrara Pietro (JuliaSoft SRL, Verona, Italy) ,  Olivieri Luca (JuliaSoft SRL, Verona, Italy) ,  Olivieri Luca (Universita di Verona, Verona, Italy) ,  Spoto Fausto (Universita di Verona, Verona, Italy)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11990  ページ： 23-43  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： ユーザ入力のような情報源から来るデータがSQL質問のようなシンクに流れるというデータを検出することができるかどうかは,明らかになっていない(適切に回避されていない)。実世界ソフトウェアにおける注入脆弱性を検出するために,静的および動的な両解析が広く適用されている。静的解析の主な欠点は,それが誤警報を生成できることである。さらに,分析の結果から汚染されたデータの流れを手動で説明することは非常に時間がかかり,何故特定の警告が生じたかを理解することができる。本論文では,[数式:原文を参照]を定式化した。これは,tainント解析エンジンの結果から出発し,プログラム内のデータがどのように流れるかを再構成し,ソースをシンクに接続する経路を構築する。[数式:原文を参照]はJuliaの静的taint分析に実装されている。標準ベンチマークの集合に関する実験結果は,[数式:原文を参照]が注入警報のためのタットグラフを生成するとき,そのような警告が真の警報であるという経験的証拠があることを示した。さらに,[数式:原文を参照]は実世界のプログラムにスケールする。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 再構成 ,  ベンチマーク ,  情報源 ,  ソフトウェア ,  *警報 ,  定式化
準シソーラス用語： 誤警報 ,  静的解析 ,  脆弱性 ,  ユーザ入力 , 【Automatic Indexing@JST】

分類 (2件)： 分子・遺伝情報処理  (JE15040B) ,  進化論一般  (EC03010Q)

タイトルに関連する用語 (5件)： 数式 ,  参照 ,  解析結果 ,  フロー ,  再構成