ubuntu20.04中的verdi的vdCov无法正常使用

ham8665746 · 发表于 2023-12-22 20:47:21

这个fixSegfaultVCS怎么fix verdi的vdCov段错误，md中的patch libvcsnew.so没作用

补充内容 (2023-12-25 10:29):
已找到，用fixSegfaultVCS去patch，verdi工具出现段错误的那个libucapi.so，就可以

小兵# · 发表于 2024-7-28 22:22:25

mrpp 发表于 2023-11-24 22:23
完整图片

同样出现这个问题，但是看不出来是哪patch的问题，请问这个怎么确认呢？

liude19832006 · 发表于 2024-9-2 14:28:17

ham8665746 发表于 2023-12-22 20:47
这个fixSegfaultVCS怎么fix verdi的vdCov段错误，md中的patch libvcsnew.so没作用

补充内容 (2023-12-25 1 ...

进入到$VERDI_HOME/linux64/lib/目录下，把patcher.py拷贝到当前目录下，执行：
./patcher.py libucapi.so

是这样吗？

54478huhseng · 发表于 2024-9-21 22:25:21

liude19832006 发表于 2024-9-2 14:28
进入到$VERDI_HOME/linux64/lib/目录下，把patcher.py拷贝到当前目录下，执行：
./patcher.py l ...

成功了吗？我对这个文件patch后还是报错，到底需要对哪些文件进行patch，应该有个.so的list, 而不是单单这一个文件

54478huhseng · 发表于 2024-9-21 22:27:04

mrpp 发表于 2023-12-3 09:51
问题已解决，patch不完全的问题，github搜索mperov的fixSegfaultVCS即可

我下载了这个patch的python脚本，但是实测vcs2022还是无效，大佬能说明一下需要patch哪些.so文件吗？

54478huhseng · 发表于 2024-9-22 12:21:08

这是报错日志

mrpp · 发表于 2024-9-22 12:26:50

54478huhseng 发表于 2024-9-21 22:27
我下载了这个patch的python脚本，但是实测vcs2022还是无效，大佬能说明一下需要patch哪些.so文件吗？

...

github里有说的，issue和readme里

zhuchao1016 · 发表于 2024-11-15 16:44:18

mrpp 发表于 2023-12-1 01:31
我的问题解决了，链接:https://github.com/mperov/fixSegfaultVCS

请问下这个问题怎么解决的 +v 15026615973

mrpp · 发表于 2024-11-15 18:16:20

zhuchao1016 发表于 2024-11-15 16:44
请问下这个问题怎么解决的 +v 15026615973

看issue，把他的那个pythin脚本给verdi的一个so文件也patch下就行

mi_smart · 发表于 2024-12-17 20:34:44

我的patch后能解决问题，不再闪退，就是看覆盖率特别卡顿

[求助] ubuntu20.04中的verdi的vdCov无法正常使用