反汇编分析多线程调用DLL文本型返回值

SoloCat

看到论坛有多线程调用DLL崩溃的问题得不到解决。于是反编译跟了一下具体的代码流程。附上测试代码：

DLL代码：

  

子程序名	返回值类型	公开	备 注
test	文本型

变量名	类 型	静态	数组	备 注
z	文本型

z ＝ “aaaaaaaaaaaaaaaaaaaaaaaaaaaaa”
返回 (z)

.版本 2<br /> <br /> .子程序 test, 文本型, 公开<br /> .局部变量 z, 文本型<br /> <br /> z ＝ “aaaaaaaaaaaaaaaaaaaaaaaaaaaaa”<br /> 返回 (z)

EXE代码：

  

DLL命令名	返回值类型	公开	备 注
test	文本型
DLL库文件名:
C:\Users\31852\Desktop\abc.dll
在DLL库中对应命令名:
test
参数名	类 型	传址	数组	备 注

.版本 2<br /> <br /> .DLL命令 test, 文本型, "C:\Users\31852\Desktop\abc.dll", "test", 公开

  

子程序名	返回值类型	公开	备 注
_窗口1_创建完毕

输出调试文本 (test ())
计次循环首 (20, )
线程_启动 (&子程序1, 0)
计次循环尾 ()

子程序名	返回值类型	公开	备 注
子程序1

变量名	类 型	静态	数组	备 注
ret	文本型

判断循环首 (真)
ret ＝ test ()
如果真 (取文本左边 (ret, 1) ≠ “a”)
输出调试文本 (ret)
暂停 ()

判断循环尾 ()

.版本 2<br /> <br /> .子程序 _窗口1_创建完毕<br /> <br /> 输出调试文本 (test ())<br /> .计次循环首 (20, )<br />     线程_启动 (&子程序1, 0)<br /> .计次循环尾 ()<br /> <br /> .子程序 子程序1<br /> .局部变量 ret, 文本型<br /> <br /> <br /> .判断循环首 (真)<br />     ret ＝ test ()<br />     .如果真 (取文本左边 (ret, 1) ≠ “a”)<br />         输出调试文本 (ret)<br />         暂停 ()<br />     .如果真结束<br /> <br /> .判断循环尾 ()

反编译代码：
易语言套的一层

[C++] 纯文本查看 复制代码

char *test()
{
  char *result; // eax
  char *v1; // [esp-4h] [ebp-10h]

  v1 = sub_69C7108C();//得到拷贝后的副本返回值
  sub_69C71158(lpMem);
  result = v1;
  lpMem = v1;
  return result;//返回副本
}

实际的函数代码

[C++] 纯文本查看 复制代码

char *sub_69C7108C()
{
  char *v0; // eax
  char *v1; // eax
  unsigned int v3; // [esp-8h] [ebp-Ch]
  char *v4; // [esp-4h] [ebp-8h]

  v0 = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaa";//这里每次的内存指针都不一样  但是多线程并发起来就不好说了。不具备测试条件
  if ( "aaaaaaaaaaaaaaaaaaaaaaaaaaaaa" )
  {
    v1 = sub_69C71021("aaaaaaaaaaaaaaaaaaaaaaaaaaaaa");// 获取长度
    v0 = (char *)sub_69C7115E((SIZE_T)(v1 + 1));// 申请指定长度的内存 并包含0结尾
    qmemcpy(v0, "aaaaaaaaaaaaaaaaaaaaaaaaaaaaa", v3);// 拷贝数据到新的内存
  }
  v4 = v0;
  if ( "aaaaaaaaaaaaaaaaaaaaaaaaaaaaa" )
    sub_69C71158("aaaaaaaaaaaaaaaaaaaaaaaaaaaaa");// 释放字符串内存
  return v4;
}

从代码上看。一切都正常。没有逻辑上的问题。

使用C++的话 测试也是不存在问题的。

后来根据C++的标准 用易语言实现了一下 申请内存 拷贝数据。 直接返回指针。而不是文本型。问题就都解决了
解决方案：

  

子程序名	返回值类型	公开	备 注
test	整数型

变量名	类 型	静态	数组	备 注
z	文本型
a	整数型

z ＝ “aaaaaaaaaaaaaaaaaaaaaaaaaaaaa”
a ＝ 申请内存 (取文本长度 (z) ＋ 1, 真)
写到内存 (z, a, 取文本长度 (z) ＋ 1)
返回 (a)

i支持库列表	支持库注释
spec	特殊功能支持库

.版本 2<br /> .支持库 spec<br /> <br /> .子程序 test, 整数型, 公开<br /> .局部变量 z, 文本型<br /> .局部变量 a, 整数型<br /> <br /> z ＝ “aaaaaaaaaaaaaaaaaaaaaaaaaaaaa”<br /> <br /> a ＝ 申请内存 (取文本长度 (z) ＋ 1, 真)<br /> 写到内存 (z, a, 取文本长度 (z) ＋ 1)<br /> 返回 (a)

按理说。。从反汇编的代码分析。他那个也确实是拷贝了副本。进行了返回。估计还是代码的问题。可能多线程下 有些隐患。反汇编应该也看的不是很清楚。 就像释放内存的那几个操作。都有可能造成 内存被释放。但实际上已经属于脏数据了。调试的话 还是正常的。  但这些代码已经不是使用者可以修改的了。这是易语言封装的代码。没必要深究。
以后搞DLL开发 不管是文本型还是字节集型 最好是欺骗IDE把变量指针拿出来 或者自己构造内存 当整数型返回。 其他类型可以直接返回 不涉及这个问题。

大山猫

感谢分享又学一招

SoloCat

自由天下 发表于 2024-1-17 14:38
但是申请内存了，写到内存了，没有进行释放啊，那内存会不会越来愈大

有变量接受 就不会成为野指针。 只有返回没有变量接受才会野指针

自由天下

但是申请内存了，写到内存了，没有进行释放啊，那内存会不会越来愈大

揰掵佲

  

子程序名	返回值类型	公开	备 注
test	整数型

变量名	类 型	静态	数组	备 注
z	文本型

z ＝ “aaaaaaaaaaaaaaaaaaaaaaaaaaaaa”
返回 (取指针文本_ (z))

.版本 2<br /> <br /> <br /> <br /> .子程序 test, 整数型, 公开<br /> .局部变量 z, 文本型<br /> <br /> z ＝ “aaaaaaaaaaaaaaaaaaaaaaaaaaaaa”<br /> 返回 (取指针文本_ (z))

就可以了

冬夏

#在这里快速回复#那申请的内存忘记释放就会造成内存泄漏的

枕风宿雪多年

感谢分享又学一招