diff --git a/powershell/ql/lib/qlpack.yml b/powershell/ql/lib/qlpack.yml index 8accccc6390..1632e530e5f 100644 --- a/powershell/ql/lib/qlpack.yml +++ b/powershell/ql/lib/qlpack.yml @@ -12,4 +12,8 @@ dependencies: codeql/dataflow: ${workspace} codeql/ssa: ${workspace} codeql/util: ${workspace} + codeql/mad: ${workspace} +dataExtensions: + - semmle/code/powershell/frameworks/**/model.yml + - semmle/code/powershell/frameworks/**/*.model.yml warnOnImplicitThis: true \ No newline at end of file diff --git a/powershell/ql/lib/semmle/code/powershell/frameworks/data/empty.model.yml b/powershell/ql/lib/semmle/code/powershell/frameworks/data/empty.model.yml new file mode 100644 index 00000000000..63cc261eb30 --- /dev/null +++ b/powershell/ql/lib/semmle/code/powershell/frameworks/data/empty.model.yml @@ -0,0 +1,32 @@ +extensions: + # Make sure that the extensible model predicates have at least one definition + # to avoid errors about undefined extensionals. + - addsTo: + pack: microsoft-sdl/powershell-all + extensible: sourceModel + data: [] + + - addsTo: + pack: microsoft-sdl/powershell-all + extensible: sinkModel + data: [] + + - addsTo: + pack: microsoft-sdl/powershell-all + extensible: summaryModel + data: [] + + - addsTo: + pack: microsoft-sdl/powershell-all + extensible: neutralModel + data: [] + + - addsTo: + pack: microsoft-sdl/powershell-all + extensible: typeModel + data: [] + + - addsTo: + pack: microsoft-sdl/powershell-all + extensible: typeVariableModel + data: []