secure-software-engineering / phasar

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

Fix Crash in GlobalCtorDtor Handling #597

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

To handle global constructors and destructors we are generating wrapper functions that call these. In some (rare) cases the generated call-sites was incompatible with the expected callee-signature (some missing pointe-bitcasts). As this is only checked with debug-assertions on LLVM-side, this error only shows up when using a debug-build of LLVM (for example in the in-tree build).

This PR fixes the issue on phasar side.