Field Sensitivity for general IFDS analyses

[fabianbs96]

Story

To improve the precision of our analyses, we need to support field-sensitivity in a way that is as generic as possible and applies to all existing IFDS-analyses in PhASAR.

The paper Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers should be a good start.

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.

• Implement an adapter to IDETabulationProblem that uses the edge functions to implement field-sensitivity and forwards the flow-functions to a wrapped IFDSTabulationProblem
• Unittests, based on the XTaint tests
• Performance and precision should at least be on-par with the ExtendedTaintAnalysis

Related Stories

• none

Follow-up Stories

• none