secure-software-engineering/phasar

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

fabianbs96 opened this issue · 0 comments

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

  • issue x

Out Of Scope

  • A isn't part of this

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.

  • Criterion 1
  • Criterion 2

Related Stories

  • none

Follow-up Stories

  • none