-
Notifications
You must be signed in to change notification settings - Fork 6
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
[Verdict Pattern] Confirms findings in unreachable / test-only / mock code (no production-reachability check)
llm-verificationLLM verification / triage / questionsLLM verification / triage / questionsover-confirmedVulnHunterX said TP but the finding is FP (over-confirmation)VulnHunterX said TP but the finding is FP (over-confirmation)triage-qualityVerdict accuracy / false-positive reportsVerdict accuracy / false-positive reportsStatus: Open.#162 In vinsoc-cyber/VulnHunterX;[Tech Debt] --local-path silently ignored when repos/<lang>/<name> already exists (stale symlink reused)
cliCommand-line interfaceCommand-line interfacetech-debtRefactor, cleanup, or latent-defect hardening (internal code quality)Refactor, cleanup, or latent-defect hardening (internal code quality)Status: Open.#158 In vinsoc-cyber/VulnHunterX;[Tech Debt] Verification is nondeterministic (temperature>0, no seed) and post-processing keys off free-text phrasing
llm-verificationLLM verification / triage / questionsLLM verification / triage / questionstech-debtRefactor, cleanup, or latent-defect hardening (internal code quality)Refactor, cleanup, or latent-defect hardening (internal code quality)Status: Open.#150 In vinsoc-cyber/VulnHunterX;[Tech Debt] Python question bank coaches benchmark-derived "OWASP FP traps" — over-dismissal + overfit risk
llm-verificationLLM verification / triage / questionsLLM verification / triage / questionstech-debtRefactor, cleanup, or latent-defect hardening (internal code quality)Refactor, cleanup, or latent-defect hardening (internal code quality)triage-qualityVerdict accuracy / false-positive reportsVerdict accuracy / false-positive reportsStatus: Open.#145 In vinsoc-cyber/VulnHunterX;[Verdict Pattern] Self-contradiction: opposite verdicts on the same line/dataflow
llm-verificationLLM verification / triage / questionsLLM verification / triage / questionstriage-qualityVerdict accuracy / false-positive reportsVerdict accuracy / false-positive reportsStatus: Open.#122 In vinsoc-cyber/VulnHunterX;[Verdict Pattern] Over-hedges NMD when the missing fact is in the repo
llm-verificationLLM verification / triage / questionsLLM verification / triage / questionstriage-qualityVerdict accuracy / false-positive reportsVerdict accuracy / false-positive reportsStatus: Open.#121 In vinsoc-cyber/VulnHunterX;[Verdict Pattern] Confirms the construct without checking impact → over-confirmed non-bugs
llm-verificationLLM verification / triage / questionsLLM verification / triage / questionsover-confirmedVulnHunterX said TP but the finding is FP (over-confirmation)VulnHunterX said TP but the finding is FP (over-confirmation)triage-qualityVerdict accuracy / false-positive reportsVerdict accuracy / false-positive reportsStatus: Open.#119 In vinsoc-cyber/VulnHunterX;- Status: Open.#103 In vinsoc-cyber/VulnHunterX;
- Status: Open.#102 In vinsoc-cyber/VulnHunterX;