Javacard转换器规格
在尝试将 javacard cap 文件反转为类文件时，我正在寻找转换器规范。到目前为止，我在 PVS 中“仅”找到了一个非常不完整的正式模型。 javacard vm规范详细描述了cap文件格式，但没有详细说明转换器所做的优化和操作。有几本书和资源描述了转换器如何将类转换为 cap 的某些方面，但我找不到全面的文档。Sun（Oracle）的文档没有描述转换机制，并且 cap 文件格式规范不足以了解如何重构类文件。是否有文档详细解释了类到 cap 文件的转换？
In the attempt of reversing a javacard cap file into a class file , I am looking for a converter specifications. So far I found 'only' a very partial formal model in PVS. The javacard vm specifications describes in detail the cap files format but do not detail the optimization and operation made by the converter. There are several books and resources who describes some aspects of how the converter transforms class into cap but I could not find a comprehensive documentation.Sun(Oracle)'s documentation do not describes the conversion mechanism and the cap file format specification is no enough to understand how to reconstitute a class file .Is there a document where class to cap file conversion is explained and detailed ?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
我没有找到转换器的规格，但我发现 javacard jdk3 标准化器可以用作类转换的上限
I did not found the converter's specs but I figured it out that the javacard jdk3 normalizer could be used as cap to class conversion