List view

Remove Boost Graph

cleanup

refactoring

Status: Open.

#547 In secure-software-engineering/phasar;

· sritejakv opened on Dec 5, 2022

Update Code Formatter

technical debt

Status: Open.

#756 In secure-software-engineering/phasar;

· fabianbs96 opened on Mar 13, 2025

C++20

refactoring

usability

Status: Open.

#734 In secure-software-engineering/phasar;

· fabianbs96 opened on Oct 21, 2024

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

Field Sensitivity for general IFDS/IDE analyses

enhancementNew feature or requestNew feature or request

extensiveBigger piece of workBigger piece of work

Status: Open.

#777 In secure-software-engineering/phasar;

· fabianbs96 opened on Jun 9, 2025

LLVM > 15

dependenciesPull requests that update a dependency filePull requests that update a dependency file

technical debt

Status: Open.

#780 In secure-software-engineering/phasar;

· fabianbs96 opened on Jun 9, 2025