Search results

Handling Extern Callbacks in CallGraph

enhancementNew feature or requestNew feature or request

Status: Open.

#786 In secure-software-engineering/phasar;

· fabianbs96 opened on Jul 24, 2025

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

·  

PhASAR 2603

5 tests fail

bugSomething isn't workingSomething isn't working

freebsd

Status: Open.

#761 In secure-software-engineering/phasar;

· yurivict opened on Mar 16, 2025

·  

PhASAR 2510

Update Code Formatter

technical debt

Status: Open.

#756 In secure-software-engineering/phasar;

· fabianbs96 opened on Mar 13, 2025

·  

PhASAR 2603

Testing Conan Integration in CI

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

technical debt

Status: Open.

#745 In secure-software-engineering/phasar;

· fabianbs96 opened on Feb 7, 2025

Stable ICFG Export

enhancementNew feature or requestNew feature or request

technical debt

Status: Open.

#741 In secure-software-engineering/phasar;

· fabianbs96 opened on Dec 15, 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

·  

PhASAR 2603

Dataflow facts disappear when using PropagateOntoStrategy in backward analysis

Status: Open.

#729 In secure-software-engineering/phasar;

· yuffon opened on Jul 4, 2024

Phasar does not support exit() as exit points when calling getAllExitPoints()

Status: Open.

#728 In secure-software-engineering/phasar;

· yuffon opened on Jun 28, 2024

Indices in uninit variables analysis

enhancementNew feature or requestNew feature or request

Status: Open.

#720 In secure-software-engineering/phasar;

· StamesJames opened on Apr 29, 2024

Tutorial (https://phasar.org/tutorial/) doesn't explain how to run Phasar

Status: Open.

#716 In secure-software-engineering/phasar;

· yurivict opened on Apr 14, 2024

Phasar conflicts with the pre-installed nlohmann-json during the run-time

Status: Open.

#715 In secure-software-engineering/phasar;

· yurivict opened on Apr 14, 2024