List view

IDE Solver Consolidation

cleanup

extensiveBigger piece of workBigger piece of work

technical debt

Status: Open.

#735 In secure-software-engineering/phasar;

· fabianbs96 opened on Oct 21, 2024

Update LLVMBasedAliasAnalysis

blockedA prerequisite for this ticket prevents it from being worked onA prerequisite for this ticket prevents it from being worked on

cleanup

external bugA bug in depending codeA bug in depending code

Status: Draft (not ready).

secure-software-engineering/phasarnumber 610

#610 In secure-software-engineering/phasar;

· fabianbs96 opened on Apr 14, 2023

Modernize UninitializedVariables Analysis

refactoring

technical debt

Status: Draft (not ready).

secure-software-engineering/phasarnumber 616

#616 In secure-software-engineering/phasar;

· fabianbs96 opened on May 3, 2023