検索結果
"category:/Research"
| タイトルと要約 | 日付/時間 | |
|---|---|---|
|
61
|
PR-Miner: Automatically Extracting Implicit Programming Rules and Detecting Violations in Large Software Code
初めにこの関数を呼んで次にこれを呼んで最... |
2009/03/02 15:13:03 |
|
62
|
Jungloid Mining: Helping to Navigate the API Jungle
典型的な API 呼び出しの順序と返り値のキャストをいちい... |
2009/02/24 21:09:15 |
|
63
|
Construction of the System Dependence Graph for Web Application Slicing
Web アプリケーションのスライシングのための依... |
2009/02/21 22:28:19 |
|
64
|
Type Checking for JavaScript
JavaScript らしさを残した JavaScript のサブセット言語の型システムの話。以前読... |
2009/01/26 11:19:13 |
|
65
|
Towards Automatically Eliminating Integer-Based Vulnerabilities
C プログラムの整数に関わる脆弱性を見つけて... |
2009/01/15 21:05:18 |
|
66
|
Gradual Typing with Unification-based Inference
漸進的型付けの型推論アルゴリズム。動的型... |
2009/01/04 20:16:50 |
|
67
|
BabyJ: From Object Based to Class Based Programming via Types
JavaScript ライクな BabyJ という言語、型情報が書ける BabyJT という言語と型システムと健全性、さらに Java ライクな言語への変換と変換の健全性などの... |
2008/12/23 18:53:40 |
|
68
|
Flow-insensitive Static Analysis for Detecting Integer Anomalies in Programs
整数オーバーフロー、アンダーフローを静的... |
2008/12/21 21:38:38 |
|
69
|
DHTMLにおけるDOMの解析手法
DOM を正規木文法、DOM 操作を top-down tree transducer として表し、JavaScript プログラムによる DOM 操作前後の DOM を得る手法の提案。ショートペーパーのせい... |
2008/12/14 14:51:04 |
|
70
|
Gradual Typing for Objects
Object Calculus における漸進的型付けの話。漸進的型付けは... |
2008/11/12 13:46:46 |
|
71
|
Hiding Program Slices for Software Security
プログラムを不法コピーから守るためには、... |
2008/10/28 19:25:44 |
|
72
|
Korset: Automated, Zero False-Alarm Intrusion Detection for Linux
制御フローグラフに基づいてシステムコール... |
2008/10/01 16:07:06 |
|
73
|
動的解析によるWebアプリケーション・モデル抽出支援手法
HTTPリクエスト・レスポンスに着目した... |
2008/09/15 17:29:22 |
|
74
|
Combining Type-Based Analysis and Model Checking for Finding Counterexamples Against Non-Interference
情報流解析のための型システムで型が付かな... |
2008/09/12 16:53:11 |
|
75
|
Typestate: A Programming Language Concept for Enhancing Software Reliability
変数の型だけでなく、宣言されただけなのか... |
2008/09/10 0:35:55 |
|
76
|
Securing Web Application Code by Static Analysis and Runtime Protection
PHP アプリケーションを対象に flow-sensitive な情報流解析と実行時チェックのためのコー... |
2008/09/02 20:08:06 |
|
77
|
モデル検査技術を利用したプログラム解析器の生成ツール
ある種のプログラム解析はモデル検査である... |
2008/08/06 10:29:24 |
|
78
|
Static Approximation of Dynamically Generated Web Pages
プログラム中で生成される文字列を文脈自由... |
2008/08/01 10:43:31 |
|
79
|
Cross-Language Program Analysis and Refactoring
複数の言語を使って作られるシステムのプロ... |
2008/07/25 11:45:44 |
|
80
|
On Flow-Sensitive Security Types
flow-sensitive な情報流解析のための型システムの提案。型... |
2008/06/06 0:49:53 |