secure-software-engineering / phasar

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

FlowEdgeFunction Documentation #543

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

Story

For non-PhASAR-experts, the implementations of our flow-function- and edge-function factories is hard to understand. We should improve their documentation (also visually by drawing the affected ESG edges with ASCII-art).

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

fabianbs96 commented 1 year ago

See f-CleanupFFTemplates

https://github.com/secure-software-engineering/phasar/pull/550