hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Also make protected members irrelevant.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2025-04-18 16:08:39 +01:00
parent e55f94c364
commit f6f5f97109
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll
View File

@@ -58,7 +58,7 @@ module ModelGeneratorInput implements ModelGeneratorInputSig<Location, CppDataFl
* to be an implementation detail of some other "public" function for which
* we will generate a summary.
*/
private predicate isPrivate(Function f) {
private predicate isPrivateOrProtected(Function f) {
f.getNamespace().getParentNamespace*().isAnonymous()
or
exists(MemberFunction mf | mf = f |
@@ -75,7 +75,7 @@ module ModelGeneratorInput implements ModelGeneratorInputSig<Location, CppDataFl
// not relevant (which is good!)
not api.(Function).hasDefinition()
or
isPrivate(api)
isPrivateOrProtected(api)
or
api instanceof Destructor
or