hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: remove predicates from NegativeSummarizedCallable

Browse Source
This commit is contained in:
Jami Cogswell
2022-12-08 23:46:55 -05:00
parent 2c3adb769b
commit 0b2f2a3f88
6 changed files with 12 additions and 126 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImpl.qll
View File

@@ -261,28 +261,9 @@ module Public {
NegativeSummarizedCallable() { negativeSummaryElement(this, _) }
/**
* Holds if the negative summary is auto generated and not manually generated.
* Holds if the negative summary is auto generated.
*/
predicate isAutoGenerated() {
negativeSummaryElement(this, true) and
not negativeSummaryElement(this, false)
} // ! okay to adjust this to "and not manually generated"? Will that mess up anything that currently uses this?
/**
* Holds if the summary is manually generated and not auto generated.
*/
predicate isManuallyGenerated() {
negativeSummaryElement(this, false) and
not negativeSummaryElement(this, true)
}
/**
* Holds if the summary is both auto generated and manually generated.
*/
predicate isBothAutoAndManuallyGenerated() {
negativeSummaryElement(this, true) and
negativeSummaryElement(this, false)
}
predicate isAutoGenerated() { negativeSummaryElement(this, true) }
}
}