hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Revert "C#: Temporary changes to model generator"

Browse Source 
This reverts commit 0f6cea6bd6ecd61139dc09e7b68bf0b8ebc009fe.
This commit is contained in:
Tom Hvitved
2023-11-03 09:19:57 +01:00
parent 894f9ab8fa
commit af524f0043
5 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
csharp/ql/src/utils/modelconverter/ExtractNeutrals.ql
View File

@@ -10,6 +10,6 @@ import semmle.code.csharp.dataflow.ExternalFlow
from string package, string type, string name, string signature, string kind, string provenance
where
neutralModel(package, type, name, signature, kind, provenance) and
provenance.matches("%generated")
not provenance.matches("%generated")
select package, type, name, signature, kind, provenance order by
package, type, name, signature, kind

2
csharp/ql/src/utils/modelconverter/ExtractSinks.ql
View File

@@ -12,6 +12,6 @@ from
string input, string kind, string provenance
where
sinkModel(namespace, type, subtypes, name, signature, ext, input, kind, provenance) and
provenance.matches("%generated")
not provenance.matches("%generated")
select namespace, type, subtypes, name, signature, ext, input, kind, provenance order by
namespace, type, name, signature, input, kind

2
csharp/ql/src/utils/modelconverter/ExtractSources.ql
View File

@@ -12,6 +12,6 @@ from
string output, string kind, string provenance
where
sourceModel(namespace, type, subtypes, name, signature, ext, output, kind, provenance) and
provenance.matches("%generated")
not provenance.matches("%generated")
select namespace, type, subtypes, name, signature, ext, output, kind, provenance order by
namespace, type, name, signature, output, kind

2
csharp/ql/src/utils/modelconverter/ExtractSummaries.ql
View File

@@ -12,6 +12,6 @@ from
string input, string output, string kind, string provenance
where
summaryModel(namespace, type, subtypes, name, signature, ext, input, output, kind, provenance) and
provenance.matches("%generated")
not provenance.matches("%generated")
select namespace, type, subtypes, name, signature, ext, input, output, kind, provenance order by
namespace, type, name, signature, input, output, kind

2
misc/scripts/models-as-data/convert_extensions.py
View File

@@ -86,7 +86,7 @@ class Converter:
extensionTemplate = """extensions:
{0}"""
for entry in extensions:
with open(self.extDir + "/generated/" + entry + self.modelFileExtension, "w") as f:
with open(self.extDir + "/" + entry + self.modelFileExtension, "w") as f:
f.write(extensionTemplate.format(extensions[entry]))
def run(self):