secure-software-engineering / phasar

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

Create LLVM-independent interface for TaintConfig and implement it in LLVMTaintConfig #581

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

Story

All generic phasar structures (such as AliasInfo, ICFG, ...)come in two flavors: As generic interface template and as concrete implementation based on LLVM. However, this does not hold for the TaintConfig which only exists as LLVM-based version, aothough it is largely LLVM independent.

Hence: Create LLVM-independent interface for TaintConfig and implement it in LLVMTaintConfig.

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