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 securityandroidtextual descriptionprogram analysisprivacy leakage
 Summary | Full Text:PDF(1.5MB)

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: 
concurrencyprogram analysisdata race
 Summary | Full Text:PDF(309.3KB)

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 initializationsoftware verificationprogram analysissafety
 Summary | Full Text:PDF(278KB)

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 representationtool platformJavaXMLprogram analysissource code manipulation tools
 Summary | Full Text:PDF(580.5KB)