search

secure-software-engineering / phasar

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

Adds helper function to determine if a function was generated by phasar #665

Closed vulder closed 10 months ago

vulder commented 10 months ago

During global analysis, phasar generates helper function to correctly handle global ctors/dtors and other global code fragments. With the new checking function, users can determine whether a given function was generated by phasar or not, e.g., for global analysis.

MMory commented 10 months ago

In the course of this we should use consts instead of magic string literals. Somewhere we use them, somewhere we don't. I'm gonna make a commit in this branch to fix this.

MMory commented 10 months ago

@vulder @fabianbs96 could you have a look at the changes I just committed?

vulder commented 10 months ago

Looks good overall, let's merge this