Search results

[frontend] Report Export to PDF/CSV for Compliance/Audit Teams

component: frontendNext.js dashboardNext.js dashboard

difficulty: mediumRequires domain knowledge, ~1-3 daysRequires domain knowledge, ~1-3 days

priority: p2Normal backlogNormal backlog

Stellar WaveIssues in the Stellar wave programIssues in the Stellar wave program

type: featureNew capability or enhancementNew capability or enhancement

Status: Open.

#424 In HyperSafeD/Sanctifier;

· Gbangbolaoluwagbemiga opened on Mar 28, 2026

·  

v0.4.0 – Dashboard Live

[cli] Interactive terminal UI dashboard (sanctifier tui)

component: clisanctifier-cli binarysanctifier-cli binary

difficulty: hardComplex, ~1-2 weeksComplex, ~1-2 weeks

priority: p3Nice to haveNice to have

Stellar WaveIssues in the Stellar wave programIssues in the Stellar wave program

type: featureNew capability or enhancementNew capability or enhancement

Status: Open.

#421 In HyperSafeD/Sanctifier;

· Gbangbolaoluwagbemiga opened on Mar 28, 2026

·  

v1.0.0 – The Ultimate IDE Engine

[cli] sanctifier watch mode: hot-reloading analysis on file save

component: clisanctifier-cli binarysanctifier-cli binary

difficulty: mediumRequires domain knowledge, ~1-3 daysRequires domain knowledge, ~1-3 days

priority: p2Normal backlogNormal backlog

Stellar WaveIssues in the Stellar wave programIssues in the Stellar wave program

type: featureNew capability or enhancementNew capability or enhancement

Status: Open.

#419 In HyperSafeD/Sanctifier;

· Gbangbolaoluwagbemiga opened on Mar 28, 2026

·  

v1.0.0 – The Ultimate IDE Engine

[engine] Fuzz-Harness Generator: Export native Afl.rs/honggfuzz test scaffolds

component: clisanctifier-cli binarysanctifier-cli binary

difficulty: expertRequires deep expertise, ~2+ weeksRequires deep expertise, ~2+ weeks

priority: p3Nice to haveNice to have

Stellar WaveIssues in the Stellar wave programIssues in the Stellar wave program

type: featureNew capability or enhancementNew capability or enhancement

Status: Open.

#415 In HyperSafeD/Sanctifier;

· Gbangbolaoluwagbemiga opened on Mar 28, 2026

·  

v2.0.0 – Deep Verification Ecosystem

[engine] Automatic Soroban SDK version detection and deprecation warnings

component: analysis-enginesanctifier-core static analysis librarysanctifier-core static analysis library

difficulty: easy~1-4 hours, good first issue~1-4 hours, good first issue

priority: p3Nice to haveNice to have

Stellar WaveIssues in the Stellar wave programIssues in the Stellar wave program

type: featureNew capability or enhancementNew capability or enhancement

Status: Open.

#407 In HyperSafeD/Sanctifier;

· Gbangbolaoluwagbemiga opened on Mar 28, 2026

·  

v0.2.0 – Full Detection

[engine] Support Custom Rules via YAML DSL (User-defined assertions)

component: analysis-enginesanctifier-core static analysis librarysanctifier-core static analysis library

difficulty: expertRequires deep expertise, ~2+ weeksRequires deep expertise, ~2+ weeks

priority: p2Normal backlogNormal backlog

Stellar WaveIssues in the Stellar wave programIssues in the Stellar wave program

type: featureNew capability or enhancementNew capability or enhancement

Status: Open.

#406 In HyperSafeD/Sanctifier;

· Gbangbolaoluwagbemiga opened on Mar 28, 2026

·  

v2.0.0 – Deep Verification Ecosystem

[engine] Rule: Require explicit event emission for privileged state changes

component: analysis-enginesanctifier-core static analysis librarysanctifier-core static analysis library

difficulty: hardComplex, ~1-2 weeksComplex, ~1-2 weeks

priority: p2Normal backlogNormal backlog

Stellar WaveIssues in the Stellar wave programIssues in the Stellar wave program

type: featureNew capability or enhancementNew capability or enhancement

Status: Open.

#405 In HyperSafeD/Sanctifier;

· Gbangbolaoluwagbemiga opened on Mar 28, 2026

·  

v0.2.0 – Full Detection

[engine] Rule: Detect unchecked return values from external Soroban calls

component: analysis-enginesanctifier-core static analysis librarysanctifier-core static analysis library

difficulty: mediumRequires domain knowledge, ~1-3 daysRequires domain knowledge, ~1-3 days

priority: p2Normal backlogNormal backlog

Stellar WaveIssues in the Stellar wave programIssues in the Stellar wave program

type: featureNew capability or enhancementNew capability or enhancement

Status: Open.

#404 In HyperSafeD/Sanctifier;

· Gbangbolaoluwagbemiga opened on Mar 28, 2026

·  

v0.2.0 – Full Detection

[engine] Rule: Detect unbounded loop iterations mapping to target inputs (Gas Exhaustion/DoS)

component: analysis-enginesanctifier-core static analysis librarysanctifier-core static analysis library

difficulty: hardComplex, ~1-2 weeksComplex, ~1-2 weeks

priority: p1High value, near-termHigh value, near-term

type: featureNew capability or enhancementNew capability or enhancement

Status: Open.

#403 In HyperSafeD/Sanctifier;

· Gbangbolaoluwagbemiga opened on Mar 28, 2026

·  

v0.2.0 – Full Detection

[engine] Constant Folding and Propagation to reduce false positives in arithmetic

component: analysis-enginesanctifier-core static analysis librarysanctifier-core static analysis library

difficulty: hardComplex, ~1-2 weeksComplex, ~1-2 weeks

priority: p2Normal backlogNormal backlog

type: featureNew capability or enhancementNew capability or enhancement

Status: Open.

#402 In HyperSafeD/Sanctifier;

· Gbangbolaoluwagbemiga opened on Mar 28, 2026

·  

v0.2.0 – Full Detection

[engine] Implement Data Flow and Taint Analysis for precise variable tracking

component: analysis-enginesanctifier-core static analysis librarysanctifier-core static analysis library

difficulty: expertRequires deep expertise, ~2+ weeksRequires deep expertise, ~2+ weeks

priority: p1High value, near-termHigh value, near-term

type: featureNew capability or enhancementNew capability or enhancement

Status: Open.

#401 In HyperSafeD/Sanctifier;

· Gbangbolaoluwagbemiga opened on Mar 28, 2026

·  

v2.0.0 – Deep Verification Ecosystem

[ci] Release workflow: build pre-compiled binaries for Linux, macOS, and Windows

component: ci

difficulty: mediumRequires domain knowledge, ~1-3 daysRequires domain knowledge, ~1-3 days

priority: p1High value, near-termHigh value, near-term

Stellar WaveIssues in the Stellar wave programIssues in the Stellar wave program

type: featureNew capability or enhancementNew capability or enhancement

Status: Open.

#331 In HyperSafeD/Sanctifier;

· Gbangbolaoluwagbemiga opened on Mar 23, 2026

·  

v0.1.0 – Stable Core