A fast algorithm to compute heap memory bounds of Java']Java Card applets

被引：1

作者：

Pham, Tuan-Hung ^{[1
]}

Truong, Anh-Hoang ^{[1
]}

Truong, Ninh-Thuan ^{[1
]}

Chin, Wei-Ngan ^{[2
]}

机构：

[1] Vietnam Natl Univ, Coll Technol, 144 Xuan Thuy, Hanoi, Vietnam

[2] Natl Univ Singapore, Sch Comp, Singapore 117543, Singapore

来源：

SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS | 2008年

关键词：

D O I：

10.1109/SEFM.2008.30

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then collapses cycles of the CFG to produce a directed acyclic graph (DAG). Based on the DAG, we propose a linear-time algorithm to solve the problem of finding the single-source largest path in it. We also have implemented a prototype tool, tested it on several sample applications, and then compared the bounds found by our tool with the actual heap bounds of the programs. The experiment shows that our tool returns good estimation of heap bounds, runs fast, and has a small memory footprint.

引用

页码：259 / +

页数：2

共 34 条

[1] Static program analysis for Java']Java Card applets
Almaliotis, Vasilios
Loizidis, Alexandros
Katsaros, Panagiotis
Louridas, Panagiotis
Spinellis, Diomidis
[J]. SMART CARD RESEARCH AND ADVANCED APPLICATIONS, PROCEEDINGS, 2008, 5189 : 17 - +
[2] Verification of JAVA']JAVA CARD applets behavior with respect to transactions and card tears
Marche, Claude
Rousset, Nicolas
[J]. SEFM 2006: FOURTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2006, : 137 - +
[3] Automatic test generation for Java']Java-Card applets
Martin, H
du Bousquet, L
[J]. JAVA ON SMART CARDS: PROGRAMMING AND SECURITY, 2001, 2041 : 121 - 136
[4] Managing the life cycle of Java']Java Card applets in other Java']Java virtual machines
Roland, Michael
Langer, Josef
Mayrhofer, Rene
[J]. INTERNATIONAL JOURNAL OF PERVASIVE COMPUTING AND COMMUNICATIONS, 2014, 10 (03) : 291 - +
[5] Educational Java']Java applets for visualizing MOS memory
Yuan, Z
Wie, CR
[J]. 2001 INTERNATIONAL CONFERENCE ON MICROELECTRONIC SYSTEMS EDUCATION, PROCEEDINGS: DESIGNING MICROSYSTEMS IN THE NEW MILLENNIUM, 2001, : 67 - 68
[6] Reverse engineering Java']Java card applets using power analysis
Vermoen, Dennis
Witteman, Marc
Gaydadjiev, Georgi N.
[J]. INFORMATION SECURITY THEORY AND PRACTICES: SMART CARDS, MOBILE AND UBIQUITOUS COMPUTING SYSTEMS, PROCEEDINGS, 2007, 4462 : 138 - +
[7] Reverse engineering a Java']Java Card memory management algorithm
Mesbah, Abdelhak
Lanet, Jean-Louis
Mezghiche, Mohamed
[J]. COMPUTERS & SECURITY, 2017, 66 : 97 - 114
[8] Experimental Comparison of Concolic and Random Testing for Java']Java Card Applets
Kahkonen, Kari
Kindermann, Roland
Heljanko, Keijo
Niemela, Ilkka
[J]. MODEL CHECKING SOFTWARE, 2010, 6349 : 22 - 39
[9] From finite state machines to provably correct Java']Java card applets
Hubbers, E
Oostdijk, M
Poll, E
[J]. SECURITY AND PRIVACY IN THE AGE OF UNCERTAINTY, 2003, 122 : 465 - 470
[10] A constructive approach to correctness, exemplified by a generator for certified Java']Java Card applets
Coglio, Alessandro
Green, Cordell
[J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 57 - 63

← 1 2 3 4 →