secure-software-engineering / phasar

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

Fix getReceiverType() #502

Closed fabianbs96 closed 2 years ago

fabianbs96 commented 2 years ago

The receiver (i.e. the this pointer) is not always the first parameter (index 0). In case of sret (return of large or non-trially movable types) the return value is the first parameter and the receiver is the second