Search results

missing-transfer: Branch-sensitive analysis

area:rules

blocked

enhancementNew feature or requestNew feature or request

Status: Open.

#21 In nowarp/skry;

· jubnzv opened on Jan 26, 2026

Fact stubs for sui-framework

area:coreCore of the analysis: main IRs, pipeline and executionCore of the analysis: main IRs, pipeline and execution

enhancementNew feature or requestNew feature or request

Status: Open.

#19 In nowarp/skry;

· jubnzv opened on Jan 20, 2026

Debug: Ask LLM if it got some redundant information

area:llmAll the things LLM: prompt generation, clients, semantic analysisAll the things LLM: prompt generation, clients, semantic analysis

enhancementNew feature or requestNew feature or request

Status: Open.

#18 In nowarp/skry;

· jubnzv opened on Jan 20, 2026

Use LLM probability of fields classification

area:analysisAll the things related to static anlaysisAll the things related to static anlaysis

enhancementNew feature or requestNew feature or request

Status: Open.

#17 In nowarp/skry;

· jubnzv opened on Jan 20, 2026

Detect lock usage anomalies

area:llmAll the things LLM: prompt generation, clients, semantic analysisAll the things LLM: prompt generation, clients, semantic analysis

area:rules

enhancementNew feature or requestNew feature or request

Status: Open.

#16 In nowarp/skry;

· jubnzv opened on Jan 20, 2026

Support OTW in access control rules

area:analysisAll the things related to static anlaysisAll the things related to static anlaysis

enhancementNew feature or requestNew feature or request

Status: Open.

#15 In nowarp/skry;

· jubnzv opened on Jan 20, 2026

Driver: Inform about the number of LLM prompts before execution

area:coreCore of the analysis: main IRs, pipeline and executionCore of the analysis: main IRs, pipeline and execution

enhancementNew feature or requestNew feature or request

Status: Open.

#14 In nowarp/skry;

· jubnzv opened on Jan 20, 2026

New Rule: Storing sensitive data without encryption

area:rules

enhancementNew feature or requestNew feature or request

Status: Open.

#13 In nowarp/skry;

· jubnzv opened on Jan 20, 2026

New Rule: Detect double-write

area:rules

enhancementNew feature or requestNew feature or request

Status: Open.

#12 In nowarp/skry;

· jubnzv opened on Jan 20, 2026

New Rule: address setters without zero check

area:rules

enhancementNew feature or requestNew feature or request

Status: Open.

#11 In nowarp/skry;

· jubnzv opened on Jan 20, 2026

New Rule: Object destroyed without checking if empty

area:rules

enhancementNew feature or requestNew feature or request

Status: Open.

#10 In nowarp/skry;

· jubnzv opened on Jan 20, 2026

Taint analysis: while conditions tracking

area:analysisAll the things related to static anlaysisAll the things related to static anlaysis

enhancementNew feature or requestNew feature or request

Status: Open.

#8 In nowarp/skry;

· jubnzv opened on Jan 20, 2026