Using Control Dependencies for Space-Aware Bytecode Verification-Reference-Cited by-同舟云学术

Using Control Dependencies for Space-Aware Bytecode Verification

Published:2006-01-23 Issue:2 Volume:49 Page:234-248
ISSN:1460-2067
Container-title:The Computer Journal
language:en
Short-container-title:

Author:

Bernardeschi C.,Lettieri G.,Martini L.,Masci P.

Publisher

Oxford University Press (OUP)

Subject

General Computer Science

Link

http://academic.oup.com/comjnl/article-pdf/49/2/234/1199659/bxh161.pdf

Reference20 articles.

1. Bernardeschi, C., Lettieri, G., Martini, L. and Masci, P. (2005) Space Aware Data Flow Analysis. Technical report IET-05-03, Dipartimento di Ingegneria dell'Informazione, Università di Pisa, Italy. Available at http://www.ing.unipi.it/~o1103499/papers/IET-05-03.pdf.

2. Apache Foundation (2002) ByteCode Engineering Library (BCEL) User Manual. Available at http://jakarta.apache.org/index.html.

3. Chen, Z. (2000) Java Card Technology for Smart Cards: Architecture and Programmer's Guide. Addison-Wesley Longman Publishing Co., Inc., Reading, MA.

4. Lindholm, T. and Yellin, F. (1999) Java Virtual Machine Specification (2nd ed). Addison-Wesley Longman Publishing Co., Inc., Reading, MA.

5. Cousot, P. and Cousot, R. (1977) Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proc. Conf. Record of the Fourth Annual ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages, Los Angeles, CA, January 17–19, pp. 238–252. ACM Press, New York, NY.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Systematic Review of Dependencies in Source Code of Software and Their Categorization;Proceedings of 2nd International Conference on Communication, Computing and Networking;2018-09-08

2. Using abstract interpretation to add type checking for interfaces in Java bytecode verification;Theoretical Computer Science;2010-05

3. Decomposing bytecode verification by abstract interpretation;ACM Transactions on Programming Languages and Systems;2008-12

4. Instruction-level security analysis for information flow in stack-based assembly languages;Information and Computation;2007-09