Ruby: Add another dataflow copy

This commit is contained in:
Tom Hvitved
2022-10-03 19:47:20 +02:00
committed by Arthur Baars
parent 9d7d6c29f9
commit 6e61ef10b8
8 changed files with 4456 additions and 6 deletions

File diff suppressed because it is too large Load Diff

View File

@@ -1,6 +1,6 @@
import codeql.ruby.dataflow.internal.TaintTrackingPublic as Public
module Private {
import codeql.ruby.dataflow.internal.DataFlowImplForLibraries as DataFlow
import codeql.ruby.dataflow.internal.DataFlowImplForRegExp as DataFlow
import codeql.ruby.dataflow.internal.TaintTrackingPrivate
}

View File

@@ -5,7 +5,7 @@ private import codeql.ruby.ApiGraphs
private import codeql.ruby.Concepts
private import codeql.ruby.dataflow.FlowSummary
private import codeql.ruby.frameworks.data.ModelsAsData
private import codeql.ruby.dataflow.internal.DataFlowImplForLibraries
private import codeql.ruby.dataflow.internal.DataFlowImplForPathname
/**
* Modeling of the `Pathname` class from the Ruby standard library.

View File

@@ -4,7 +4,7 @@
*/
import RegExpConfiguration
import codeql.ruby.dataflow.internal.DataFlowImplForLibraries
import codeql.ruby.dataflow.internal.DataFlowImplForRegExp
import PathGraph
from RegExpConfiguration c, PathNode source, PathNode sink

View File

@@ -2,7 +2,7 @@ private import codeql.ruby.Regexp
private import codeql.ruby.ast.Literal as Ast
private import codeql.ruby.DataFlow
private import codeql.ruby.controlflow.CfgNodes
private import codeql.ruby.dataflow.internal.tainttrackingforlibraries.TaintTrackingImpl
private import codeql.ruby.dataflow.internal.tainttrackingforregexp.TaintTrackingImpl
private import codeql.ruby.typetracking.TypeTracker
private import codeql.ruby.ApiGraphs