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

Java/C#: Update conversion script to also produce negative models.

Browse Source
This commit is contained in:
Michael Nebel
2022-11-30 10:43:50 +01:00
parent fb670325d8
commit b2dd29ff05
3 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -74,7 +74,8 @@ class Converter:
summaries = self.getAddsTo("ExtractSummaries.ql", helpers.summaryModelPredicate)
sources = self.getAddsTo("ExtractSources.ql", helpers.sourceModelPredicate)
sinks = self.getAddsTo("ExtractSinks.ql", helpers.sinkModelPredicate)
return merge(sources, sinks, summaries)
negativeSummaries = self.getAddsTo("ExtractNegativeSummaries.ql", helpers.negativeSummaryModelPredicate)
return merge(sources, sinks, summaries, negativeSummaries)
def save(self, extensions):