-
-
Notifications
You must be signed in to change notification settings - Fork 560
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Closure-capture taint: precise call-relative cell semantics (refine the MAY def-site over-approximation)
advancedDifficult issueDifficult issueenhancementNew feature or requestNew feature or requestStatus: Open.#1211 In vitali87/code-graph-rag;FLOWS_TO: handle-based writes are unmodeled for ALL lean languages, yielding a false NO_FLOW under flow_covered
advancedDifficult issueDifficult issuebugSomething isn't working correctlySomething isn't working correctlyStatus: Open.#1204 In vitali87/code-graph-rag;Build orchestrator prompt sections conditionally on registered tools (semantic_search-less MCP config)
enhancementNew feature or requestNew feature or requestmediumMedium strength issueMedium strength issuetestsRelated to testingRelated to testingStatus: Open.#1201 In vitali87/code-graph-rag;Per-language precision roadmap — compiler-grade fact providers, one language at a time
enhancementNew feature or requestNew feature or requestlanguage supportRelated to programming language supportRelated to programming language supportStatus: Open.#1191 In vitali87/code-graph-rag;Close the eval ground-truth gaps — Dart/Ruby oracles, resolved-edge grading beyond Python, a FLOWS_TO oracle
enhancementNew feature or requestNew feature or requesttestsRelated to testingRelated to testingStatus: Open.#1190 In vitali87/code-graph-rag;Optional LuaLS adapter for annotation-driven Lua types
enhancementNew feature or requestNew feature or requestluaLua languageLua languagepriority: lowLow priorityLow priorityStatus: Open.#1189 In vitali87/code-graph-rag;Overload- and template-aware call facts in the C++ hybrid frontend
advancedDifficult issueDifficult issuecppC++ languageC++ languageenhancementNew feature or requestNew feature or requestStatus: Open.#1188 In vitali87/code-graph-rag;Compiler-verified C# data flow via Roslyn IOperation and AnalyzeDataFlow
advancedDifficult issueDifficult issuecsharpC# languageC# languageenhancementNew feature or requestNew feature or requestStatus: Open.#1187 In vitali87/code-graph-rag;Scala baseline parity, then SemanticDB semantic facts
advancedDifficult issueDifficult issueenhancementNew feature or requestNew feature or requestscalaScala languageScala languageStatus: Open.#1186 In vitali87/code-graph-rag;PHP namespace-aware qualification, then php-parser NameResolver facts
enhancementNew feature or requestNew feature or requestmediumMedium strength issueMedium strength issuephpPHP languagePHP languageStatus: Open.#1185 In vitali87/code-graph-rag;Dart semantic frontend via the official analyzer package
advancedDifficult issueDifficult issueenhancementNew feature or requestNew feature or requestlanguage supportRelated to programming language supportRelated to programming language supportStatus: Open.#1184 In vitali87/code-graph-rag;Python semantic fact provider — Jedi in-process, Pyright opt-in
enhancementNew feature or requestNew feature or requestmediumMedium strength issueMedium strength issuepythonPython languagePython languageStatus: Open.#1183 In vitali87/code-graph-rag;