C++: resolveElement

cpp/ql/src/AlertSuppression.ql

@@ -56,12 +56,12 @@ class SuppressionComment extends CppStyleComment {
  */
 class SuppressionScope extends @comment {
   SuppressionScope() {
-    this instanceof SuppressionComment
+    mkElement(this) instanceof SuppressionComment
   }
 
   /** Gets a suppression comment with this scope. */
   SuppressionComment getSuppressionComment() {
-    result = this
+    result = mkElement(this)
   }
 
   /**
@@ -72,7 +72,7 @@ class SuppressionScope extends @comment {
   * [LGTM locations](https://lgtm.com/help/ql/locations).
   */
   predicate hasLocationInfo(string filepath, int startline, int startcolumn, int endline, int endcolumn) {
-    this.(SuppressionComment).covers(filepath, startline, startcolumn, endline, endcolumn)
+    mkElement(this).(SuppressionComment).covers(filepath, startline, startcolumn, endline, endcolumn)
   }
 
   /** Gets a textual representation of this element. */

cpp/ql/src/Architecture/Refactoring Opportunities/ClassesWithManyFields.ql

@@ -13,7 +13,7 @@ import cpp
 
 string kindstr(Class c)
 {
-  exists(int kind | usertypes(c, _, kind) |
+  exists(int kind | usertypes(unresolveElement(c), _, kind) |
     (kind = 1 and result = "Struct") or
     (kind = 2 and result = "Class") or
     (kind = 6 and result = "Template class")
@@ -48,37 +48,38 @@ predicate masterVde(VariableDeclarationEntry master, VariableDeclarationEntry vd
 
 class VariableDeclarationGroup extends @var_decl {
   VariableDeclarationGroup() {
-    not previousVde(_, this)
+    not previousVde(_, mkElement(this))
   }
   Class getClass() {
-    vdeInfo(this, result, _, _)
+    vdeInfo(mkElement(this), result, _, _)
   }
 
   // pragma[noopt] since otherwise the two locationInfo relations get join-ordered
   // after each other
   pragma[noopt]
   predicate hasLocationInfo(string path, int startline, int startcol, int endline, int endcol) {
-    exists(VariableDeclarationEntry last, Location lstart, Location lend |
-      masterVde(this, last) and
+    exists(Element thisElement, VariableDeclarationEntry last, Location lstart, Location lend |
+      thisElement = mkElement(this) and
+      masterVde(thisElement, last) and
       this instanceof VariableDeclarationGroup and
       not previousVde(last, _) and
-      exists(VariableDeclarationEntry vde | vde=this and vde instanceof VariableDeclarationEntry and vde.getLocation() = lstart) and
+      exists(VariableDeclarationEntry vde | vde=mkElement(this) and vde instanceof VariableDeclarationEntry and vde.getLocation() = lstart) and
       last.getLocation() = lend and
       lstart.hasLocationInfo(path, startline, startcol, _, _) and
       lend.hasLocationInfo(path, _, _, endline, endcol)
     )
   }
 
   string toString() {
-    if previousVde(this, _) then
+    if previousVde(mkElement(this), _) then
       result = "group of "
              + strictcount(string name
                          | exists(VariableDeclarationEntry vde
-                                | masterVde(this, vde) and
+                                | masterVde(mkElement(this), vde) and
                                   name = vde.getName()))
              + " fields here"
     else
-      result = "declaration of " + this.(VariableDeclarationEntry).getVariable().getName()
+      result = "declaration of " + mkElement(this).(VariableDeclarationEntry).getVariable().getName()
   }
 }
 

cpp/ql/src/CPython/Extensions.qll

@@ -3,12 +3,9 @@ import CPython.ArgParse
 
 
 /* Root class of all 'C' objects */
-abstract class CObject extends @element {
+abstract class CObject extends Element {
 
     abstract string getTrapID();
-
-    /** Gets a textual representation of this element. */
-    abstract string toString();
 }
 
 

cpp/ql/src/Likely Bugs/Format/SnprintfOverflow.ql

@@ -98,7 +98,7 @@ predicate flowsToDefImpl(
   or
   // `x++`
   exists (CrementOperation crem
-  | def = crem and
+  | mkElement(def) = crem and
     crem.getOperand() = v.getAnAccess() and
     flowsToExpr(source, crem.getOperand(), pathMightOverflow))
   or

cpp/ql/src/Metrics/Dependencies/ExternalDependencies.qll

@@ -66,7 +66,7 @@ class Library extends LibraryT {
       result = lib.getAFile()
     ) or exists(@external_package ep |
       this = LibraryTExternalPackage(ep, _, _) and
-      header_to_external_package(result, ep)
+      header_to_external_package(unresolveElement(result), ep)
     )
   }
 }

cpp/ql/src/Metrics/Files/FCommentRatio.ql

@@ -12,6 +12,6 @@
 import cpp
 
 from File f, int comments, int total
-where f.fromSource() and numlines(f, total, _, comments) and total > 0
+where f.fromSource() and numlines(unresolveElement(f), total, _, comments) and total > 0
 select f, 100.0 * (comments.(float) / total.(float)) as ratio
 order by ratio desc

cpp/ql/src/PointsTo/PreparedStagedPointsTo.ql

@@ -7,6 +7,6 @@
 
  import semmle.code.cpp.pointsto.PointsTo
 
- select count(int set, Element location | setlocations(set, location)),
-        count(int set, Element element | pointstosets(set, element))
+ select count(int set, Element location | setlocations(set, unresolveElement(location))),
+        count(int set, Element element | pointstosets(set, unresolveElement(element)))
 

cpp/ql/src/Security/CWE/CWE-764/LockFlow.qll

@@ -27,7 +27,7 @@ predicate tryLockCondition(VariableAccess access,
     (cond = call.getParent*() and
      cond.isCondition() and
      failNode = cond.getASuccessor() and
-     failNode instanceof BasicBlockWithReturn))
+     unresolveElement(failNode) instanceof BasicBlockWithReturn))
 }
 
 /**

cpp/ql/src/Security/CWE/CWE-764/UnreleasedLock.ql

@@ -29,7 +29,7 @@ predicate failedLock(MutexType t, BasicBlock lockblock, BasicBlock failblock) {
   exists (ControlFlowNode lock |
     lock = lockblock.getEnd() and
     lock = t.getLockAccess() and
-    lock.getAFalseSuccessor() = failblock
+    lock.getAFalseSuccessor() = mkElement(failblock)
   )
 }
 

cpp/ql/src/external/CodeDuplication.qll

@@ -91,7 +91,7 @@ class SimilarBlock extends Copy, @similarity
 
 FunctionDeclarationEntry sourceMethod() {
   result.isDefinition() and
-  exists(result.getLocation()) and numlines(result.getFunction(),_,_,_)
+  exists(result.getLocation()) and numlines(unresolveElement(result.getFunction()),_,_,_)
 }
 
 int numberOfSourceMethods(Class c) {

cpp/ql/src/external/VCS.qll

@@ -24,7 +24,7 @@ class Commit extends @svnentry {
   string getMessage() { svnentrymsg(this, result) }
 
   string getAnAffectedFilePath(string action) {
-    exists(File rawFile | svnaffectedfiles(this, rawFile, action) |
+    exists(File rawFile | svnaffectedfiles(this, unresolveElement(rawFile), action) |
       result = rawFile.getAbsolutePath()
     )
   }
@@ -34,7 +34,7 @@ class Commit extends @svnentry {
   File getAnAffectedFile(string action) {
     // Workaround for incorrect keys in SVN data
     exists(File svnFile | svnFile.getAbsolutePath() = result.getAbsolutePath() |
-      svnaffectedfiles(this,svnFile,action)
+      svnaffectedfiles(this,unresolveElement(svnFile),action)
     )
     and exists(result.getMetrics().getNumberOfLinesOfCode())
   }
@@ -44,7 +44,7 @@ class Commit extends @svnentry {
   private predicate churnForFile(File f, int added, int deleted) {
     // Workaround for incorrect keys in SVN data
     exists(File svnFile | svnFile.getAbsolutePath() = f.getAbsolutePath() |
-      svnchurn(this,svnFile,added,deleted)
+      svnchurn(this,unresolveElement(svnFile),added,deleted)
     )
     and exists(f.getMetrics().getNumberOfLinesOfCode())
   }

cpp/ql/src/jsf/4.10 Classes/AV Rule 88.ql

@@ -19,9 +19,9 @@ An approximation of this definition is classes with pure virtual functions and l
 */
 class InterfaceClass extends Class {
   InterfaceClass() {
-     exists(MemberFunction m | m.getDeclaringType() = this and not compgenerated(m))
+     exists(MemberFunction m | m.getDeclaringType() = this and not compgenerated(unresolveElement(m)))
     and
-     forall(MemberFunction m | m.getDeclaringType() = this and not compgenerated(m) | m instanceof PureVirtualFunction)
+     forall(MemberFunction m | m.getDeclaringType() = this and not compgenerated(unresolveElement(m)) | m instanceof PureVirtualFunction)
     and
      count(MemberVariable v | v.getDeclaringType() = this) < 3
   }

cpp/ql/src/jsf/4.25 Expressions/AV Rule 204.ql

@@ -80,8 +80,8 @@ where impureExprInDisallowedContext(e) and
       not e.isCompilerGenerated() and
       // A few cases that are always ok
       not e instanceof Conversion and
-      not exists(@ctorinit ci | e = ci) and
-      not exists(@dtordestruct dd | e = dd) and
+      not exists(@ctorinit ci | e = mkElement(ci)) and
+      not exists(@dtordestruct dd | e = mkElement(dd)) and
       // Avoid flagging nested expressions
       not impureExprInDisallowedContext(e.getParent+())
 select e.findRootCause(), "AV Rule 204: A single operation with side-effects shall only be used in certain contexts."

cpp/ql/src/semmle/code/cpp/AutogeneratedFile.qll

@@ -35,7 +35,7 @@ class AutogeneratedFile extends File {
   cached AutogeneratedFile() {
     exists(int limit, int head |
       head <= 5 and
-      limit = max(int line | locations_default(_, this, head, _, line, _)) + 5
+      limit = max(int line | locations_default(_, underlyingElement(this), head, _, line, _)) + 5
     |
       exists (Comment c | c.getFile() = this and c.getLocation().getStartLine() <= limit and isAutogeneratedComment(c))
     )