让我们再回顾一下tamarin
|-- tamarin-tracing // tamarin源码工程
|-- axscript // 客户端脚本引擎
|-- build
|-- configure
|-- configure.py
|-- core
|-- esc
|-- extensions
|-- localization
|-- manifest.mk
|-- nanojit
|-- pcre
|-- platform
|-- shell
|-- space
|-- test
|-- utils
`-- zlib
我们看到axscript是tamarin的一部分,它主要用于在浏览器中能够解释ES4脚本以代替Javascript。
项目最好是tamarin-central (下载地址在 http://hg.mozilla.org/tamarin-central/)
如果是tamarin-tracing可能会缺少很多包而不能编译通过
然后我们先编译整个tamarin项目,项目文件在platform里,我们选择用win32去编译
然后进入axscript ,用VC编译,成功。
axscript是一个ATL项目,通过axtam.rgs注册到系统中,这样我们通过名称application/javascript;version=2或
application/javascript;version=4 就拥有解释es4的能力了
例子1:simple.html
<html> <head> <title>Tamarin</title> </head>
<script language="application/javascript;version=2">
// alert dialog
window.alert('Hello from Tamarin')
// XXX - we don't have correct global semantics yet
// so the 'window.' prefix must always be used.
var document = window.document
// add content to the document
document.write("Hello from tamarin<br>")
document.write("This document is at <code>" + document.location + "<code>") </script>
</html>
使用IE即可执行这段代码
例子2:wsh_simple.es4
WScript.Echo("Hello from es4/wsh") WScript.Echo("WSH version is " + WScript.Version)
我们使用cscript wsh_simple.es4 即可运行这个es4脚本代码
=========================================================
这个axscript是要单独拉出个项目的,它并不能屈就于只是tamarin的一个子项目。后期可能整合到ScreamingMonkey之内。
因为mozilla的“猴子计划”中对ScreamingMonkey的介绍为:
ScreamingMonkey is the project to add script-engine integration glue to Tamarin, so that it can handle
<script type="application/ecmascript;version=4">
and
<script type="application/javascript;version=2">
tags in other browsers, starting with IE (using ActiveScript interfaces).
跟这个是同一个口径,所以日后肯定会移植出去到ScreamingMonkey等“猴子”项目中。
具体的内部结构本节不再赘述,毕竟只是tamarin的另类shell,关于用作脚本解释的ATL,请自行研究;如日后有时间,可能会深入。
相关推荐
Tamarin Prover是一款强大的工具,专门用于形式化分析和验证安全协议的安全性。它由Simon Meier、Benedikt Schmidt、Cas Cremers和David Basin等专家开发,结合了瑞士ETH Zurich的信息安全研究所和西班牙IMDEA软件...
**PyPI 官网下载 | tamarin-utils-0.14.5.tar.gz** 这个压缩包文件`tamarin-utils-0.14.5.tar.gz`来源于Python的官方软件仓库PyPI(Python Package Index),它是一个包含众多Python库的地方,方便开发者下载和分享...
**网络安全协议形式化分析验证工具Tamarin用户手册** Tamarin是一款强大的形式化分析验证工具,专用于网络安全协议的分析和验证。它在符号模型中进行安全协议分析,可以帮助研究人员发现潜在的安全漏洞,如在TLS、...
Tamarin证明者资料库 本自述文件描述了Tamarin证明者用于安全协议验证的存储库的组织。 它的目标受众是Tamarin证明者的感兴趣的用户和将来的开发人员。 有关Tamarin证明器的安装和使用说明,请参见手册的第2章: : ...
EM验证 这是EMV标准的模型,是我们IEEE S&P 2021论文EMV标准:Break,Fix,Verify的补充材料。 有关这项工作的详细信息,请访问 。... :GNU脚本,用于生成目标模型并对其进行Tamarin分析。 *.oracle
《PyPI上的tamarin-utils-0.15.1.tar.gz:Python库解析与应用》 在Python的世界里,PyPI(Python Package Index)是最重要的软件仓库,它为开发者提供了无数的工具和库,便于他们构建和分享自己的项目。本文将深入...
`tamarin-utils`正是针对这样的需求而设计的,它提供了一系列与Zookeeper交互的Python接口,使得开发者可以更方便地在Python代码中使用Zookeeper的服务。这包括但不限于创建、删除、更新Zookeeper节点,以及监视节点...
gem 'tamarin' 然后执行: $ bundle 或者自己安装: $ gem install tamarin 用法 运行服务器: bundle exec ruby lib / tamarin 然后,在其他终端运行: curl http : //localhost :3030 贡献 分叉它( )...
基于 Tamarin 的 5G AKA 协议形式化分析及其改进方法 本文主要介绍了基于 Tamarin 的 5G AKA 协议形式化分析及其改进方法。在 5G 移动通信网络中,3GPP 组织标准化了 5G AKA 协议,用以身份认证和密钥协商。文章...
《Python库tamarin-utils-0.15.4:实用工具集详解》 在Python的广阔天地里,各种库犹如繁星点缀,为开发者提供了强大的功能支持。其中,`tamarin-utils`是一个实用的工具集合,它在版本0.15.4中为我们带来了诸多...
是GNU脚本,用于生成目标模型并对其进行Tamarin分析。 *.oracle是证明支持的*.oracle 。 包含自动生成的目标模型( .spthy )及其证明( .proof )。 以HTML格式显示分析结果。 包含有用的脚本: 是一个Python...
ActionScript 引擎 Thane 是 Tamarin ( ) 的一个轻微修改版本,具有部分 Flash Player 兼容层,主要用 ActionScript 编写,并带有一点原生胶水。 引擎本身被修改为在 x86_64 架构下的 Unix 平台上运行。 现有的 ...
包括Tamarin的HD图像动作冒险视频游戏。 对于Banjo Kazooie Donkey Kong和Mario 64的粉丝! 包括Tamarin的高清图像,动作冒险视频游戏。 对于Banjo Kazooie,Donkey Kong和Mario 64的粉丝! 我们总是更新图像,以便...
2. **SSL/TLS协议**:这是Internet上最常用的安全协议之一,用于保护Web通信的安全。SSL/TLS协议位于应用层和传输层之间,主要由两部分组成: - 上层协议:包括TLS握手协议、TLS密码变化协议和TLS警告协议。 - ...
2. **ActionScript执行引擎**:为了执行ActionScript代码,需要构建一个简单的虚拟机或者利用现有的开源项目,如as3vm或Tamarin(Mozilla的一个ActionScript虚拟机)。这将允许解释和执行在SWF文件中找到的动作脚本...
2. Thorpe Park位于萨里,有Derren Brown's Ghost Train,这是一次包含现场表演、4D特效的10-15分钟火车之旅。此外,还有"I'm a Celebrity... Maze"以及一些欧洲最高的快速游乐设施。成人票价从£28起,儿童票价从£...
7. **数据分析**:使用合适的统计方法或机器学习算法对分类后的数据进行深入分析。例如,可以使用分类算法来识别模式,或使用聚类分析来发现数据的自然群体。 8. **结果解释与报告**:最后,我们需要解释分析结果,...
为了进一步推动AS3的发展,Adobe采取了一系列开源措施,包括将AVM2虚拟机开源并捐赠给Mozilla的Tamarin项目。这一举措不仅增强了开发者对AS3的信心,也促进了AS3技术的广泛应用和发展。 #### 五、Adobe Integrated ...
- **Tamarin项目**:源码捐赠给Mozilla的Tamarin项目,这表明AS3正积极拥抱开源社区。 #### 4. Adobe AIR的意义 - **跨系统运行时**:2007年推出的Adobe AIR Beta版本,实现了RIA程序可以在多个操作系统上运行的...