secure-software-engineering / phasar

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

Prepare for LLVM 15 #591

Closed fabianbs96 closed 4 months ago

fabianbs96 commented 1 year ago

Story

Prepare PhASAR for LLVM 15 and beyond:

Edit: Now that LLVM 16 is already released we may skip LLVM 15 and go to 16 directly.

Prerequisites

Out Of Scope

Acceptance Criteria

The following acceptance criteria are defined regarding the result of this story: Clarify what the final result should be, not how to accomplish it.

Related Stories

Follow-up Stories