test(dsl): type_constrained_call + VDG integration tests (PR-07)#598
Merged
shivasurya merged 1 commit intomainfrom Mar 12, 2026
Merged
test(dsl): type_constrained_call + VDG integration tests (PR-07)#598shivasurya merged 1 commit intomainfrom
shivasurya merged 1 commit intomainfrom
Conversation
SafeDep Report SummaryNo dependency changes detected. Nothing to scan. This report is generated by SafeDep Github App |
Codecov Report✅ All modified and coverable lines are covered by tests. Additional details and impacted files@@ Coverage Diff @@
## main #598 +/- ##
=======================================
Coverage 83.84% 83.84%
=======================================
Files 155 155
Lines 20936 20936
=======================================
Hits 17554 17554
Misses 2737 2737
Partials 645 645 ☔ View full report in Codecov by Sentry. 🚀 New features to boost your workflow:
|
Owner
Author
This was referenced Mar 12, 2026
Owner
Author
Merge activity
|
Add 10 integration tests in dataflow_executor_querytype_test.go covering: - type_constrained_call source with VDG local analysis (direct flow, no flow) - fallbackMode "none" rejects matches without type inference data - Mixed call_matcher + type_constrained_call sources (full and partial flow) - Global inter-procedural detection with type_constrained_call sources - Global sanitizer blocking with type_constrained_call sources - fallbackMode "name" matches by method name without type data - Multiple receiver types matching via ReceiverTypes array - summaryConfirmsFlow integration with type-constrained matches Co-Authored-By: Claude Opus 4.6 <[email protected]>
a7567b1 to
15604c9
Compare
Code Pathfinder Security ScanNo security issues detected.
Powered by Code Pathfinder |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.




Part 7/8 of V5 QueryType × VDG Integration. Integration tests for TypeConstrainedCallExecutor → VDG reachability → detections.