search

secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
942 stars 142 forks source link

Dataflow result at @llvm.dbg instruction is empty #712

Closed yuffon closed 7 months ago

yuffon commented 8 months ago

Hi, I find dataflow result at call void @llvm.dbg.declare instruction is empty. Is that designed on purpose in Phasar? If yes, are there some other types of instructions where Phasar does not assign dataflow facts?

yuffon commented 7 months ago

We can filter out llvm.dbg.* instructions.