-
Notifications
You must be signed in to change notification settings - Fork 149
Open
Labels
enhancementNew feature or requestNew feature or requestextensiveBigger piece of workBigger piece of work
Milestone
Description
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 PhASAR analyses.
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 wrappedIFDSTabulationProblem
- 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
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or requestextensiveBigger piece of workBigger piece of work