-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
- #20 · jubnzv opened
on Jan 26, 2026
Issues
is:issue state:open
is:issue state:open
Search results
missing-transfer: Branch-sensitive analysisenhancementNew feature or requestNew feature or requestStatus: Open.#21 In nowarp/skry;Fact stubs for
sui-frameworkarea:coreCore of the analysis: main IRs, pipeline and executionCore of the analysis: main IRs, pipeline and executionenhancementNew feature or requestNew feature or requestStatus: Open.#19 In nowarp/skry;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 analysisenhancementNew feature or requestNew feature or requestStatus: Open.#18 In nowarp/skry;Use LLM probability of fields classification
area:analysisAll the things related to static anlaysisAll the things related to static anlaysisenhancementNew feature or requestNew feature or requestStatus: Open.#17 In nowarp/skry;Detect lock usage anomalies
area:llmAll the things LLM: prompt generation, clients, semantic analysisAll the things LLM: prompt generation, clients, semantic analysisenhancementNew feature or requestNew feature or requestStatus: Open.#16 In nowarp/skry;Support OTW in access control rules
area:analysisAll the things related to static anlaysisAll the things related to static anlaysisenhancementNew feature or requestNew feature or requestStatus: Open.#15 In nowarp/skry;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 executionenhancementNew feature or requestNew feature or requestStatus: Open.#14 In nowarp/skry;New Rule: Storing sensitive data without encryption
enhancementNew feature or requestNew feature or requestStatus: Open.#13 In nowarp/skry;New Rule: Detect double-write
enhancementNew feature or requestNew feature or requestStatus: Open.#12 In nowarp/skry;New Rule:
addresssetters without zero checkenhancementNew feature or requestNew feature or requestStatus: Open.#11 In nowarp/skry;New Rule: Object destroyed without checking if empty
enhancementNew feature or requestNew feature or requestStatus: Open.#10 In nowarp/skry;Taint analysis:
whileconditions trackingarea:analysisAll the things related to static anlaysisAll the things related to static anlaysisenhancementNew feature or requestNew feature or requestStatus: Open.#8 In nowarp/skry;