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 analysis, dataflow analysis, software visualization, code review, independent verification and validation, 
 Summary | Full Text:PDF
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 analysis, control-flow analysis, data-dependence analysis, reverse engineering, Java, 
 Summary | Full Text:PDF
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 analysis, runtime monitoring, static analysis, Nop-shadows Analysis, data-flow analysis, 
 Summary | Full Text:PDF
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 analysis, program slicing, variable data-flow graph, visualization, 
 Summary | Full Text:PDF
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: 
Android, WebView, static analysis, access control, 
 Summary | Full Text:PDF
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: 
determinism, data-race detection, alias analysis, static analysis, 
 Summary | Full Text:PDF
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 attack, security, static analysis, XML database, 
 Summary | Full Text:PDF
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 detection, state transition table, static analysis, stack walks, 
 Summary | Full Text:PDF
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 evaluation, differential evaluation, static analysis, abstract interpretation, 
 Summary | Full Text:PDF
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 software, obfuscation, static analysis, computational complexity, 
 Summary | Full Text:PDF
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 driven, soft handoff, throughput, static analysis, dynamic analysis, 
 Summary | Full Text:PDF
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 protocol, wireless communication networks, integration of voice and data, capacity of the channel, static analysis, 
 Summary | Full Text:PDF