Skip to content

Ruby: Replace CFG with shared implementation - #22158

Draft
aschackmull wants to merge 4 commits into
github:mainfrom
aschackmull:ruby/cfg-swap
Draft

Ruby: Replace CFG with shared implementation#22158
aschackmull wants to merge 4 commits into
github:mainfrom
aschackmull:ruby/cfg-swap

Conversation

@aschackmull

Copy link
Copy Markdown
Contributor

No description provided.

@github-actions github-actions Bot added the Ruby label Jul 10, 2026
Comment thread ruby/ql/lib/codeql/ruby/controlflow/ControlFlowGraph2.qll Fixed
@aschackmull
aschackmull force-pushed the ruby/cfg-swap branch 3 times, most recently from 597c62a to e8c7a76 Compare July 10, 2026 13:02
@aschackmull
aschackmull force-pushed the ruby/cfg-swap branch 3 times, most recently from 10337a2 to 8b0d578 Compare July 30, 2026 12:03
Comment thread ruby/ql/lib/codeql/ruby/controlflow/internal/Guards.qll Fixed
Comment on lines +16 to +21
guardNode.isAfter(guard.getAstNode()) and
forall(ControlFlowNode pred | pred = guardNode.getAPredecessor() |
pred.getASuccessor(s) = guardNode
) and
s.getValue() = branch and
guardNode.getBasicBlock().dominates(bb)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants