codeql/javascript/ql/test/library-tests/frameworks/data/test.ext.yml at 951b48adfe947510d9c600c9a6c34415c8c18a82 · asgerf/codeql · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
extensions:
  - addsTo:
      pack: codeql/javascript-all
      extensible: sourceModel
    data:
      - ['testlib', 'Member[BaseClass].Instance.Member[baseclassSource].ReturnValue', 'test-source']
      - ['testlib', 'Member[ClassDecorator].DecoratedClass.Instance.Member[inputIsSource].Parameter[0]', 'test-source']
      - ['testlib', 'Member[FieldDecoratorSource].DecoratedMember', 'test-source']
      - ['testlib', 'Member[MethodDecoratorWithArgs].ReturnValue.DecoratedMember.Parameter[0]', 'test-source']
      - ['testlib', 'Member[MethodDecorator].DecoratedMember.Parameter[0]', 'test-source']
      - ['testlib', 'Member[ParamDecoratorSource].DecoratedParameter', 'test-source']
      - ['testlib', 'Member[getSource].ReturnValue', 'test-source']
      - ['testlib', 'Member[getSourceArray].ReturnValue.ArrayElement', 'test-source']
      - ['(testlib)', 'Member[parenthesizedPackageName].ReturnValue', 'test-source']
      - ['danger-constant', 'Member[danger]', 'test-source']
      - ['testlib', 'Member[middleware].ReturnValue.GuardedRouteHandler.Parameter[0].Member[injectedReqData]', 'test-source']
      - ['testlib', 'Member[middleware].ReturnValue.GuardedRouteHandler.Parameter[1].Member[injectedResData]', 'test-source']

  - addsTo:
      pack: codeql/javascript-all
      extensible: sinkModel
    data:
      - ['testlib', 'AnyMember.Member[memberSink].Argument[0]', 'test-sink']
      - ['testlib', 'Fuzzy.Member[fuzzyCall].Argument[0]', 'test-sink']
      - ['testlib', 'Member[ClassDecorator].DecoratedClass.Instance.Member[returnValueIsSink].ReturnValue', 'test-sink']
      - ['testlib', 'Member[FieldDecoratorSink].DecoratedMember', 'test-sink']
      - ['testlib', 'Member[MethodDecoratorWithArgs].ReturnValue.DecoratedMember.ReturnValue', 'test-sink']
      - ['testlib', 'Member[MethodDecorator].DecoratedMember.ReturnValue', 'test-sink']
      - ['testlib', 'Member[ParamDecoratorSink].DecoratedParameter', 'test-sink']
      - ['testlib', 'Member[foo', 'test-sink']
      - ['testlib', 'Member[foo] .Member[bar]', 'test-sink']
      - ['testlib', 'Member[foo] Member[bar]', 'test-sink']
      - ['testlib', 'Member[foo], Member[bar]', 'test-sink']
      - ['testlib', 'Member[foo],Member[bar]', 'test-sink']
      - ['testlib', 'Member[foo]. Member[bar]', 'test-sink']
      - ['testlib', 'Member[foo]..Member[bar]', 'test-sink']
      - ['testlib', 'Member[foo]Member[bar]', 'test-sink']
      - ['testlib', 'Member[foo]]', 'test-sink']
      - ['testlib', 'Member[foo]].Member[bar]', 'test-sink']
      - ['testlib', 'Member[mySinkExceptLast].Argument[0..N-2]', 'test-sink']
      - ['testlib', 'Member[mySinkIfArityTwo].WithArity[2].Argument[0]', 'test-sink']
      - ['testlib', 'Member[mySinkIfCall].Call.Argument[0]', 'test-sink']
      - ['testlib', 'Member[mySinkIfNew].NewCall.Argument[0]', 'test-sink']
      - ['testlib', 'Member[mySinkLast].Argument[N-1]', 'test-sink']
      - ['testlib', 'Member[mySinkSecondLast].Argument[N-2]', 'test-sink']
      - ['testlib', 'Member[mySinkTwoLastRange].Argument[N-2..N-1]', 'test-sink']
      - ['testlib', 'Member[mySinkTwoLast].Argument[N-1,N-2]', 'test-sink']
      - ['testlib', 'Member[mySink].Argument[0]', 'test-sink']
      - ['testlib', 'Member[overloadedSink].WithStringArgument[0=danger].Argument[1]', 'test-sink']
      - ['testlib', 'Member[sink1, sink2, sink3 ].Argument[0]', 'test-sink']
      - ['testlib', 'Member[typevar].TypeVar[ABC].Member[mySink].Argument[0]', 'test-sink']
      - ['testlib', 'Member[typevar].TypeVar[ABC].TypeVar[ABC].Member[mySink].Argument[1]', 'test-sink']
      - ['testlib', 'Member[typevar].TypeVar[LeftRight].Member[mySink].Argument[0]', 'test-sink']

  - addsTo:
      pack: codeql/javascript-all
      extensible: summaryModel
    data:
      - ['testlib', 'Member[getSource].ReturnValue.Member[continue]', 'Argument[this]', 'ReturnValue', 'taint']
      - ['testlib', 'Member[preserveAllButFirstArgument]', 'Argument[1..]', 'ReturnValue', 'taint']
      - ['testlib', 'Member[preserveAllIfCall].Call', 'Argument[0..]', 'ReturnValue', 'taint']
      - ['testlib', 'Member[preserveArgZeroAndTwo]', 'Argument[0,2]', 'ReturnValue', 'taint']
      - ['testlib', 'Member[preserveTaint]', 'Argument[0]', 'ReturnValue', 'taint']
      - ['testlib', 'Member[taintIntoCallbackThis]', 'Argument[0]', 'Argument[1..2].Parameter[this]', 'taint']
      - ['testlib', 'Member[taintIntoCallback]', 'Argument[0]', 'Argument[1..2].Parameter[0]', 'taint']
      - ['testlib.~HasThisFlow', '', '', 'Member[getThis].ReturnValue', 'type']

  - addsTo:
      pack: codeql/javascript-all
      extensible: typeModel
    data:
      - ['testlib.~HasThisFlow', 'testlib', 'Member[typevar]']
      - ['testlib.~HasThisFlow', 'testlib.~HasThisFlow', 'Member[left,right,x]']

  - addsTo:
      pack: codeql/javascript-all
      extensible: typeVariableModel
    data:
      - ['ABC', 'Member[a].Member[b].WithArity[0].ReturnValue.Member[c]']
      - ['LeftRight', 'Member[left].TypeVar[LeftRight].Member[right]']
      - ['LeftRight', 'Member[x]']