Keyword : program analysis

Understanding the Inconsistency between Behaviors and Descriptions of Mobile Apps
Takuya WATANABE Mitsuaki AKIYAMA Tetsuya SAKAI Hironori WASHIZAKI Tatsuya MORI 
Publication:   
Publication Date: 2018/11/01
Vol. E101-D  No. 11 ; pp. 2584-2599
Type of Manuscript:  Special Section PAPER (Special Section on Information and Communication System Security)
Category: Mobile Application and Web Security
Keyword: 
mobile security, android, textual description, program analysis, privacy leakage, 
 Summary | Full Text:PDF
Software Analysis Techniques for Detecting Data Race
Pilsung KANG 
Publication:   
Publication Date: 2017/11/01
Vol. E100-D  No. 11 ; pp. 2674-2682
Type of Manuscript:  SURVEY PAPER
Category: Fundamentals of Information Systems
Keyword: 
concurrency, program analysis, data race, 
 Summary | Full Text:PDF
A Static Bug Detector for Uninitialized Field References in Java Programs
Sunae SEO Youil KIM Hyun-Goo KANG Taisook HAN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2007/10/01
Vol. E90-D  No. 10 ; pp. 1663-1671
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
Java object initialization, software verification, program analysis, safety, 
 Summary | Full Text:PDF
A Tool Platform Using an XML Representation of Source Code Information
Katsuhisa MARUYAMA Shinichiro YAMAMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/07/01
Vol. E89-D  No. 7 ; pp. 2214-2222
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
source code representation, tool platform, Java, XML, program analysis, source code manipulation tools, 
 Summary | Full Text:PDF