Deng Yifan

icon company Communication University of China icon location China icon location Deng Yifan is a current student at the Communication University of China.

Results 2 comments of Deng Yifan

Prompt unable to find Z3！

> 2025年1月13日 00:25，Lime-Cocoa ***@***.***> 写道： I have the same problem. My environment is Ubuntu 22.04. I build Z3 using make and GCC/Clang. Have you solved this problem? image.png (view on...

Add VM Deployment Template and Debugging Documentation

Hello, we are also working on rt-thread kernel fuzz testing recently. Have you solved this problem? And I want to know whether it is feasible to use syzkaller to test...