secure-software-engineering / phasar

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

Opaque Pointers #533

Closed fabianbs96 closed 5 months ago

fabianbs96 commented 1 year ago

Currently, PhASAR relies on being able to query pointer-element-types. When moving to LLVM 15, this won't be possible anymore by default (there might be some configuration options to re-enable them for some time, but we should get used to not using them anymore).

This PR removes the dependencies to non-opaque pointers wherever possible without changing the semantics. For some cases, this is not (easily) possible, so they got marked as deprecated.