1、As3Eval简介
这是一个由Tamarin衍生出的as3库,作者把Tamarin的思想融合到了as3的库中。支持as3和ES4两种格式的动态编译、运行,有AS3来解释AS3或ES4,是不是很神奇呢?
这是一个不折不扣的AS3写的AS3脚本引擎。可以编译很多AS3代码,包括类、方法等。同时也可以融合JS和abc文件,进行多方面编程。
这里是DEMO。此库提供在线源码和源码下载,还提供编译好的SWC组件
2、简单测试As3Eval
首先我们新建一个Script类
- package util.script {
- import com.hurlant.eval.ByteLoader;
- import com.hurlant.eval.Debug;
- import com.hurlant.eval.Evaluator;
- import com.hurlant.test.ILogger;
- import flash.utils.ByteArray;
- public class Script {
- public function eval(src : String) : void {
- var evaluator:Evaluator = new Evaluator
- var bytes:ByteArray = evaluator.eval(src);
- ByteLoader.loadBytes(bytes);
- }
- }
- }
这样,我们就可以使用动态的脚本来工作了
比如令var str : String = "function test() : String {" + "return 'test'; " +"};";
然后new Script().eval(str);
这样我们就eval了这个test方法
3、自定义外部方法
之后我们可以建立一个实现类,为了方便,我们选择在顶层包建立
- package {
- public class Util {
- public static function print(str : String):void {
- trace(str);
- }
- }
- }
然后我们来扩展实现这个test
new Script().eval(str + " var temp = test(); Util.print(temp)");
就相当于
- function test() : String {
- return 'test';
- }
- var temp = test();
- Util.print(temp);
可以看出Util.print来自eval外部,但是测试通过,说明eval脚本引擎可以与外部类和方法进行沟通。
=========================================
那么还等什么,为脚本引擎发愁的各位,尽情地发挥自己的想象,享受动态脚本带来的好处吧。
关于深入as3eval,请继续关注tamarin系列文章
相关推荐
资源来自pypi官网。 资源全名:tamarin-utils-0.14.5.tar.gz
学习tamarin的必读文档之一,建议在阅读tamarin用户手册之前先阅读该文档。该文档为tamarin-prover的入门级介绍文档,可以快速了解tamarin的用途、使用方式与效果。
Tamarin证明者资料库 本自述文件描述了Tamarin证明者用于安全协议验证的存储库的组织。 它的目标受众是Tamarin证明者的感兴趣的用户和将来的开发人员。 有关Tamarin证明器的安装和使用说明,请参见手册的第2章: : ...
资源来自pypi官网。 资源全名:tamarin-utils-0.15.1.tar.gz
资源来自pypi官网。 资源全名:tamarin-utils-0.8.5.tar.gz
python库。 资源全名:tamarin-utils-0.15.4.tar.gz
gem 'tamarin' 然后执行: $ bundle 或者自己安装: $ gem install tamarin 用法 运行服务器: bundle exec ruby lib / tamarin 然后,在其他终端运行: curl http : //localhost :3030 贡献 分叉它( )...
是GNU脚本,用于生成目标模型并对其进行Tamarin分析。 *.oracle是证明支持的*.oracle 。 包含自动生成的目标模型( .spthy )及其证明( .proof )。 以HTML格式显示分析结果。 包含有用的脚本: 是一个Python...
近期国内外很多安全研究人员使用Tamarin对一些经典安全协议进行分析,并发现了经典协议的漏洞,其中包括TLS核5G通信协议,以及最近火爆流行的ECU安全通信协议SecOC。 本文档为Tamarin用户手册,是学习Tamarin的最佳...
语言:English (United States) 包括Tamarin的HD图像动作冒险视频游戏。 对于Banjo Kazooie Donkey Kong和Mario 64的粉丝! 包括Tamarin的高清图像,动作冒险视频游戏。... 3:没有广告或恼人的弹出窗口
EM验证 这是EMV标准的模型,是我们IEEE S&P 2021论文EMV标准:Break,Fix,Verify的补充材料。 有关这项工作的详细信息,请访问 。... :GNU脚本,用于生成目标模型并对其进行Tamarin分析。 *.oracle
基于Tamarin的5G AKA协议形式化分析及其改进方法_.pdf
redtamarin, 在 命令行/server 端,运行 AS3 redtamarin简而言之,redtamarin是基于 Tamarin项目( 例如。 Flash Player 虚拟机),并允许在命令行上运行AS3代码。因为Tamarin只支持,( 对象,array,等等 ),...
Thane 是 Tamarin ( ) 的一个轻微修改版本,具有部分 Flash Player 兼容层,主要用 ActionScript 编写,并带有一点原生胶水。 引擎本身被修改为在 x86_64 架构下的 Unix 平台上运行。 现有的 Windows/64 支持已扩展...
形式化分析、安全协议分析
monkey.org的数据过于杂乱,将其分开并分类处理
文章中所做的测试所需要的东西,包括Tamarin、asc.jar、builtin.abc、toplevel.abc等 博文链接:https://rednaxelafx.iteye.com/blog/196278