摘要：IDA查看Exports有3个TlsCallback 只有TlsCallback_2有用 其中创建6个线程用于代码动态解码smc 只有前三个线程有用 分别对check_part1,check_part2,check_part3代码解码 thread_smc1 thread_smc2 thread_s 阅读全文

摘要：z3 download http://z3.codeplex.com/releases z3 documentation http://z3prover.github.io/api/html/namespacez3py.html 阅读全文

摘要：分析发现这是RSA算法，提供了N和D，输入e和p进行匹配。其计算公式如下： 其中的invert是求模反元素的函数调用。 阅读全文

摘要：1、直接运行起来，再用OD附加 在此处luajit加载并调用main函数 2、在luaL_loadbuffer出下断开dump下luajit的bytecode 使用luajit-decomp进行反编译，注意：可以此处是LuaJIT-2.1.0-beta3，需编译替换luajit-decomp中对应的 阅读全文