Search results

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

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

Swift Taint Tests

enhancementNew feature or requestNew feature or request

extensiveBigger piece of workBigger piece of work

Status: Draft (not ready).

secure-software-engineering/phasarnumber 592

#592 In secure-software-engineering/phasar;

· janniclas opened on Feb 24, 2023

Unit Tests compareResults numeric ID based ground truth values are fragile

extensiveBigger piece of workBigger piece of work

Status: Open.

#328 In secure-software-engineering/phasar;

· blipper opened on Apr 18, 2021

Create thread safe version of llvm::CFLAndersAA and llvm::CFLSteensAA

extensiveBigger piece of workBigger piece of work

external contribution appreciatedA good issue for contribution outside of the SSE groupA good issue for contribution outside of the SSE group

Status: Open.

#319 In secure-software-engineering/phasar;

· blipper opened on Apr 17, 2021

Parallelize LLVMBaseICFG

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

enhancementNew feature or requestNew feature or request

extensiveBigger piece of workBigger piece of work

external contribution appreciatedA good issue for contribution outside of the SSE groupA good issue for contribution outside of the SSE group

Status: Open.

#313 In secure-software-engineering/phasar;

· blipper opened on Apr 16, 2021