Keyword : static analysis


Visualization of Inter-Module Dataflow through Global Variables for Source Code Review
Naoto ISHIDA Takashi ISHIO Yuta NAKAMURA Shinji KAWAGUCHI Tetsuya KANDA Katsuro INOUE 
Publication:   
Publication Date: 2018/12/01
Vol. E101-D  No. 12 ; pp. 3238-3241
Type of Manuscript:  LETTER
Category: Software System
Keyword: 
static analysisdataflow analysissoftware visualizationcode reviewindependent verification and validation
 Summary | Full Text:PDF(213.2KB)

Dependency-Based Extraction of Conditional Statements for Understanding Business Rules
Tomomi HATANO Takashi ISHIO Joji OKADA Yuji SAKATA Katsuro INOUE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/04/01
Vol. E99-D  No. 4 ; pp. 1117-1126
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
static analysiscontrol-flow analysisdata-dependence analysisreverse engineeringJava
 Summary | Full Text:PDF(613.7KB)

Optimization Methods for Nop-Shadows Typestate Analysis
Chengsong WANG Xiaoguang MAO Yan LEI Peng ZHANG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/06/01
Vol. E98-D  No. 6 ; pp. 1213-1227
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
typestate analysisruntime monitoringstatic analysisNop-shadows Analysisdata-flow analysis
 Summary | Full Text:PDF(1.2MB)

Variable Data-Flow Graph for Lightweight Program Slicing and Visualization
Yu KASHIMA Takashi ISHIO Shogo ETSUDA Katsuro INOUE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/06/01
Vol. E98-D  No. 6 ; pp. 1194-1205
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
static analysisprogram slicingvariable data-flow graphvisualization
 Summary | Full Text:PDF(794.5KB)

Access Control to Prevent Malicious JavaScript Code Exploiting Vulnerabilities of WebView in Android OS
Jing YU Toshihiro YAMAUCHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/04/01
Vol. E98-D  No. 4 ; pp. 807-811
Type of Manuscript:  Special Section LETTER (Special Section on Information and Communication System Security―Against Cyberattacks―)
Category: Access Control
Keyword: 
AndroidWebViewstatic analysisaccess control
 Summary | Full Text:PDF(331.3KB)

DRDet: Efficiently Making Data Races Deterministic
Chen CHEN Kai LU Xiaoping WANG Xu ZHOU Zhendong WU 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/10/01
Vol. E97-D  No. 10 ; pp. 2676-2684
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
determinismdata-race detectionalias analysisstatic analysis
 Summary | Full Text:PDF(1.1MB)

Deciding Schema k-Secrecy for XML Databases
Chittaphone PHONHARATH Kenji HASHIMOTO Hiroyuki SEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/06/01
Vol. E96-D  No. 6 ; pp. 1268-1277
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Static Analysis
Keyword: 
inference attacksecuritystatic analysisXML database
 Summary | Full Text:PDF(656KB)

Efficient Context-Sensitive Intrusion Detection Based on State Transition Table
Jingyu HUA Mingchu LI Yizhi REN Kouichi SAKURAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2011/01/01
Vol. E94-A  No. 1 ; pp. 255-264
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: Network Security
Keyword: 
intrusion detectionstate transition tablestatic analysisstack walks
 Summary | Full Text:PDF(2MB)

Differential Evaluation of Fixpoints of Non-distributive Functions
Joonseon AHN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/12/01
Vol. E86-D  No. 12 ; pp. 2710-2721
Type of Manuscript:  PAPER
Category: Theory and Models of Software
Keyword: 
fixpoint evaluationdifferential evaluationstatic analysisabstract interpretation
 Summary | Full Text:PDF(423.9KB)

Software Obfuscation on a Theoretical Basis and Its Implementation
Toshio OGISO Yusuke SAKABE Masakazu SOSHI Atsuko MIYAJI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2003/01/01
Vol. E86-A  No. 1 ; pp. 176-186
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: Protocols etc.
Keyword: 
tamper-resistant softwareobfuscationstatic analysiscomputational complexity
 Summary | Full Text:PDF(744.1KB)

On the Feasibility of High Data Rate Services in Wireless System Using Code Division Multiple Access
Jie ZHOU Ushio YAMAMOTO Yoshikuni ONOZATO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/07/25
Vol. E83-A  No. 7 ; pp. 1347-1355
Type of Manuscript:  Special Section PAPER (Special Section on Multi-dimensional Mobile Information Networks)
Category: 
Keyword: 
distance drivensoft handoffthroughputstatic analysisdynamic analysis
 Summary | Full Text:PDF(1.2MB)

An Integrated Voice and Data Transmission System with Idle Signal Multiple Access--Static Analysis--
Gang WU Kaiji MUKUMOTO Akira FUKUDA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1993/09/25
Vol. E76-B  No. 9 ; pp. 1186-1192
Type of Manuscript:  PAPER
Category: Communication Systems and Transmission Equipment
Keyword: 
channel access protocolwireless communication networksintegration of voice and datacapacity of the channelstatic analysis
 Summary | Full Text:PDF(604KB)