secure-software-engineering / phasar

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

Update Wiki #538

Open fabianbs96 opened 1 year ago

fabianbs96 commented 1 year ago

Story

The Wiki is frequently used to get into PhASAR. However, the content of the Wiki is mostly out-dated. Update it.

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