一、概述
lundump.h和lundump.c是lua预编译二进制代码的加载器。
不同于llex/lparser/lcode串联起来对文本脚本的解析和编译,
lundump解析的是二进制脚本文件(由luac编译生成)。
它的公开接口luaU_undump和luaY_parser的声明原型是相同的,
所以可以把lundump看成是lparser的另一种实现。
另外,由于lundump解析的二进制文件的结构是嵌套而且动态变长的,
所以lundump大多时候是手工解码,而且依赖于ldump的写入格式。
二、头文件
#include "lobject.h"
#include "lzio.h"
#include <string.h>
#include "lua.h"
#include "ldebug.h"
#include "ldo.h"
#include "lfunc.h"
#include "lmem.h"
#include "lobject.h"
#include "lstring.h"
#include "lundump.h"
#include "lzio.h"
三、宏
1. #define LUAC_VERSION
0x51
二进制文件的头,指示现在为Lua 5.1
2. #define LUAC_FORMAT
0
二进制文件的头,指示这是官方格式
3. #define LUAC_HEADERSIZE
12
二进制文件的头长度
4. #define lundump_c
表示在lundump.c中
5. #define LUA_CORE
表示lundump为Lua的内部实现
6. #define IF(c,s)
#define IF(c,s)
if (c) error(S,s)
可以在某个条件满足时报告错误并抛出异常。
可以用LUAC_TRUST_BINARIES宏屏蔽(默认不屏蔽)
7. #define error(S,s)
用LUAC_TRUST_BINARIES宏屏蔽错误和避免抛异常(默认不屏蔽)
8. #define LoadMem(S,b,n,size)
LoadBlock(S,b,(n)*(size))
从S中读取n * size大小的内存,保存至b。
9. #define
LoadByte(S) (lu_byte)LoadChar(S)
从S中读取一个字节的内容,然后返回。
10. #define LoadVar(S,x)
LoadMem(S,&x,1,sizeof(x))
从S中读取变量x的值(字节长度和x相同),保存至x。
11. #define LoadVector(S,b,n,size)
LoadMem(S,b,n,size)
从S中读取n * size大小的数组,保存至b。
四、结构体
1. typedef struct {
lua_State* L;
ZIO* Z;
Mbuffer* b;
const char* name;
} LoadState;
加载状态,lundump的数据中心,携带L状态机。
2.
五、静态私有函数
1. static void error(LoadState* S, const char* why)
使用S中的L状态机报告错误并抛出LUA_ERRSYNTAX异常。
2. static void LoadBlock(LoadState* S, void* b, size_t size)
从S中读取size大小的字节块,输出到b。
3. static int LoadChar(LoadState* S)
从S中读取char变量(实际上返回int)
4. static int LoadInt(LoadState* S)
从S中读取int值(实际上返回的是非负整数)
5. static lua_Number LoadNumber(LoadState* S)
从S中读取lua_Number值。
6. static TString* LoadString(LoadState* S)
从S中读取TString字符串(符号表字符串)。
过程如下:
* 读取size_t型的size变量(字符串长度,包括末尾的\0)
* 如果长度为0,直接返回空指针
* 确保S->b中的变长内存块足够大,否则就扩大。
* 读出size长度的字节块
* 删除末尾的\0,然后转换为TString字符串。
7. static void LoadCode(LoadState* S, Proto* f)
从S中读取代码(指令数组),填充原型f。
过程如下:
* 读取整型值n(指令数)
* 创建一个Instruction[n]数组,保存到f->code
* f->sizecode就是n
* 读取并填充f->code数组。
8. static void LoadConstants(LoadState* S, Proto* f)
从S中加载常数表,填充原型f
过程如下:
* 读取整型值n(TValue个数)
* 创建数组TValue[n],保存到f->k
* f->sizek就是n
* 把f->k[n]填充为nil
* 填充f->k[n]为实际的值:
第一个char值表示常数类型,如下:
LUA_TNIL表示nil,
LUA_TBOOLEAN表示布尔值,再读一个char得到它的值。
LUA_TNUMBER表示数值,再读一个Number得到它的值。
LUA_TSTRING表示字符串,再读一个TString得到它的值。
如果出现其他类型值,则报错。
* 读取整型值n(嵌套函数的个数)
* 创建Proto*[n],保存至f->p
* f->sizep就是n
* 清空f->p[n]数组
* 加载n个嵌套函数到f->p[n](函数内嵌套的函数被认为是特殊的常数)
* 嵌套函数的缺省源文件名为父函数的源文件名。
9. static void LoadDebug(LoadState* S, Proto* f)
加载调试信息。
过程如下:
* 读取整型值n
* 在S->L上分配int[n]数组,地址赋值给f->lineinfo
* f->sizelineinfo就是n
* 从S中把int[n]数组读到f->lineinfo数组中
* 读取整型值n
* 在S->L上分配LocVar[n]数组,地址赋值给f->locvars
* f->sizelocvars就是ns
* 清空所有f->locvars[i].varname为NULL
* 从S中读取并填充每个f->locvars[i]的域
varname : 字符串
startpc : 整型
endpc : 整型
* 读取整型值n
* 在S->L上分配TString*[n]数组,地址赋值给f->upvalues
* f->sizeupvalues就是n
* 清空f->upvalues[i]为NULL
* 从S中读取字符串数组并填充f->upvalues[n]
10. static Proto* LoadFunction(LoadState* S, TString* p)
加载函数
过程如下
* 检查嵌套是否超过LUAI_MAXCCALLS
(使用L->nCcalls,把嵌套层数看成C调用的个数)
* 创建新的函数原型f
* 把f压进S->L栈(通过L栈为以后嵌套的函数提供相关信息)
* 从S中读取字符串作为f->source(源文件名)。
* 如果f->source为空(通常嵌套的函数读到的是空字符串),则赋参数p。
* 从S中读取整型f->linedefined(定义的行号)
* 从S中读取整型f->lastlinedefined(定义的最后行号)
* 从S中读取字节值f->nups(上值个数)
* 从S中读取字节值f->numparams(参数个数)
* 从S中读取字节值f->is_vararg(判断参数表是否变长)
* 从S中读取字节值f->maxstacksize(最大堆栈大小)
* 从S中读取代码数组保存到f
* 从S中读取常数表(包括嵌套函数)保存到f
* 从S中读取调试信息保存到f
* 从头到尾模拟运行一次进行代码检查
* 还原栈顶和嵌套层数
11. static void LoadHeader(LoadState* S)
加载文件头
过程如下:
* 创建对于当前平台是正确的文件头h[LUAC_HEADERSIZE]
* 从S中读取LUAC_HEADERSIZE长度的字节块,保存到s[LUAC_HEADERSIZE]
* 比较h和s,内容必须完全相同
六、公开的导出函数
1. Proto* luaU_undump (lua_State* L, ZIO* Z, Mbuffer* buff, const char* name)
加载预编译二进制文件的内容
(注意,开头的<esc>Lua已经被读取)。
过程如下:
* 创建局部变量S(加载状态)
* 用参数name确定S.name
(name可能是@开头,=开头,<esc>Lua,一般字符串)
* 把参数L、Z、buff都保存到S中
* 加载文件头
* 加载函数,缺省的源文件名为=?
2. void luaU_header (char* h)
制作适合当前程序的正确文件头
(在lundump中用于校验读取到的文件头内容)
格式为:
1 byte : 版本号
1 byte : 格式号
1 byte : 数的小端是否在前
1 byte : int的长度
1 byte : size_t的长度
1 byte : 指令类型Instruction的长度
1 byte : 数lua_Number的长度
这些值都在编译期决定
七、值得观察的代码
1. LoadFunction / LoadConstants
这两个函数相互调用(嵌套分析二进制代码)
lundump认为嵌套的子函数属于常量表,
而子函数可能包含常量表和它自己的子函数,
直至没有子函数为止。
2. luaU_undump
lundump模块的入口。
最开始认为整个文件(除头部外)是一个函数。
然后递归地加载其中的所有常量表和子函数代码。
分享到:
相关推荐
a utf-8 support module for Lua and LuaJIT 源码地址:https://github.com/starwing/luautf8 编译后可用的库: Linux版:lua-utf8.so Windows版:lua-utf8.dll(若是用在openresty中,openresty版本需使用32位版本...
├─5.1 │ └─bin │ liblua51.lib │ lua.exe │ lua51.dll │ lua51.lib │ luac.exe │ luadec.exe │ luaopswap.exe │ luareplace.exe │ ├─5.2 │ └─bin │ liblua52.lib │ lua.exe │ lua52.dll │ ...
Praxis 是基于 Lua,Lisp 和 Forth 的在线编码环境。 特性 OpenGL 实时音频生成 Midi 立体引擎 可编程的文本编辑器 等等 Introduction: https://www.youtube.com/watch?v=1VRtRazMYSA Running the ...
本文件包括Lua5.1的《Lua Programming》第二版的中文版、英文版以及Lua5.1的中文手册。
ZeroBrane Studio是一个免费、开源、跨平台(Windows、MacOSX和Linux)的Lua集成开发环境(IDE),它提供了代码提示、远程调试、代码分析、语法高亮等功能,支持Lua 5.1、Lua 5.2、Lua 5.3、LuaJIT和其他Lua引擎1。
木头Cocos2d-x教程 Lua篇 Demo源代码。 教程地址: 第1章:http://blog.csdn.net/musicvs/article/details/8440707 第2章:http://blog.csdn.net/musicvs/article/details/8440919 第3章:...
Lua 5.1 Reference Manual.是5.1的版本的Rerfence Manual.希望可以给大家提供帮助.
lua.pas+lua5.1.dll即可以调用.lua 此处是lua5.1.dll
lua5.1.lib文件缺失,LNK1181
lsqlite3 链接 lua 使用了LuaForWindows v5.1.4 的 lua5.1.lib 库,故运行时需要 lua5.1.dll 1. lsqlite3 链接 sqlite 使用的 sqlite3.lib 来源于 M$ 的 lib.exe 应用,参阅 ...
NULL 博文链接:https://lua.iteye.com/blog/1139611
图书馆goluago旨在成为Go语言工具链(最早的8c / 6c / 5c,最终可能是纯Go语言)的Lua 5.1解释器的移植端口。 该库尚处于开发的早期阶段(功能尚未完善/尚未投入生产),但一些重要目标已经成功完成:状态截至2016年...
windows下使用的luac 基于5.1版本 lua51.dll luac.exe tolua++.exe
这个程序是基于 nginx lua module . 运行平台是 linux freebsd 的 nginx 。。 WIN 的 你可以用个 linux 的 nginx 做反向代理 保护后面的服务。 Belial 目前包含的模块有 : GET 、 POST 、 COOKIE SQL注入防御、...
cjson.dll 需要lua5.1.dll 调用require “cjson” cjson.dll 需要lua5.1.dll 调用require “cjson”
lua 5.1 manual.chm lua 5.1 manual.chm lua 5.1 manual.chm
这个是云风大侠翻译的 Lua5.1 参考手册 翻译在云风个人网站上,地址为http://www.codingnow.com/2000/download/lua_manual.html#pdf-require 并非全部翻译,但是前面的大部分和重点都翻译,真的很有用,所以转换成...
Lua-5.1.5-部分源码注释.rar
( Lua 5.1 参考手册.doc )游戏编程必备参考手册