search

secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
927 stars 140 forks source link

Using custom entry point function with arguments #549

Closed Luweicai closed 1 year ago

Luweicai commented 1 year ago

Hello, I find that if I give phasar a entry point function which have arguments (except main), it will report a warning. Why can not use a entry point function with arguments? Or is it safe (that not affect the analysis result) to use entry point function with arguments?

fabianbs96 commented 1 year ago

Hi @Luweicai, the detection of global initializers currently only works properly when the entrypoints are functions without parameters or main. So, if you want to use other functions as entry-points I suggest to turn off the detection of global initializers by setting the IncludeGlobals parameter of the LLVMBasedICFG constructor to false.

MMory commented 1 year ago

Can we consider this issue as resolved? @Luweicai