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

Dynamic: Add hasPrettyName()

Browse Source
This commit is contained in:
Asger F
2024-04-08 15:02:24 +02:00
parent 8cb80d6014
commit 82101434fd
1 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
shared/mad/codeql/mad/dynamic/GraphExport.qll
View File

@@ -121,6 +121,12 @@ module GraphExport<
exposedEdge(result, path, node)
}
private predicate hasPrettyName(RelevantNode node) {
exposedName(node, _, "")
or
suggestedName(node, _)
}
private predicate nodeMustBeNamed(RelevantNode node) {
exposedName(node, _, "")
or
@@ -143,8 +149,7 @@ module GraphExport<
prefix
)
or
not exposedName(node, _, _) and
not suggestedName(node, _) and
not hasPrettyName(node) and
result = getAPrefixTypeName(getAPredecessor(node, _))
}
@@ -153,8 +158,7 @@ module GraphExport<
*/
private predicate isSyntheticallyNamedNode(RelevantNode node, string prefix) {
nodeMustBeNamed(node) and
not exposedName(node, _, "") and
not suggestedName(node, _) and
not hasPrettyName(node) and
prefix = min(getAPrefixTypeName(node))
}