secure-software-engineering / phasar

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

DI-based TypeHierarchy #623

Closed fabianbs96 closed 4 months ago

fabianbs96 commented 1 year ago

Story

The current LLVMTypeHierarchy implementation relies on unrealistic assumptions about the code structure in LLVM IR and is of only little use in practice. We need a more robust implementation that relies on debug-information.

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