Qiaosen Liu

Simulation on Hardware

2

## Bug report When I follow the tutorial “[Simulation on Hardware — Dev documentation](https://ardupilot.org/dev/docs/sim-on-hardware.html#)” for hardware simulation, the connection to MissionPlanner keeps showing that the parameters are obtained, as shown...

remote下载的游戏打开就黑屏

6


Does calling andersen analyze modify the .bc file?

2

I have SVF as a lib in order to call its andersen analysis. I saved all the LLVM Inst objects in a map after calling the pointer analysis, when I...

Why does the --vcall-cha option not work when generating icfg?

9

Hi. I am using the following command to generate ICFG: "wpa -ander --vcall-cha --dump-icfg test.ll" In the generated icfg, the virtual function callsite ("call void %14(%"class.test::base "* %10), !dbg !38"...

SVF seems to be incomplete when dealing with virtual calls.

23

I'm using SVF version 2.1. The omission occurs when I write SVF as a lib to get the callsite of all the virtual functions and their targets. As far as...

Is there a way for SVF to get the vitrual function callsite and all possible call targets on the IR?

2

Dear Developers. I have been most looking for a way to statically analyze virtual function calls on IR, and I would like to ask if SVF provides such a feature?...


How to support px4 compilation?

2

hello, I'm trying to generate llvm IR in px4 compilation using your tool, I imported cmake as you requested and added include to CMakeLists.txt, during cmake I see the console...

Dear Developer. I noticed your tool by reading the paper "Gazer-Theta: LLVM-based Verier Portfolio with BMC/CEGAR (Competition Contribution)" and I found that the LLVM IR is converted into a CFA....

How to get the llvm::Function corresponding to SVFFunction?

2

Dear Author. I used the SVF of master branch for the analysis of indirect calls. I found that callee is SVFFunction object and I want to get the corresponding llvm...