JS: Add more overlay[caller?] annotations

Author: asgerf

javascript/ql/lib/semmle/javascript/AST.qll

@@ -172,6 +172,7 @@ class AstNode extends @ast_node, NodeInStmtContainer {
    * The TypeScript compiler emits no code for ambient declarations, but they
    * can affect name resolution and type checking at compile-time.
    */
+  overlay[caller?]
   pragma[inline]
   predicate isAmbient() {
     this.isAmbientInternal()

javascript/ql/lib/semmle/javascript/Locations.qll

@@ -30,6 +30,7 @@ final class Location extends @location_default {
   int getNumLines() { result = this.getEndLine() - this.getStartLine() + 1 }
 
   /** Holds if this location starts before location `that`. */
+  overlay[caller]
   pragma[inline]
   predicate startsBefore(Location that) {
     exists(string f, int sl1, int sc1, int sl2, int sc2 |
@@ -43,6 +44,7 @@ final class Location extends @location_default {
   }
 
   /** Holds if this location ends after location `that`. */
+  overlay[caller]
   pragma[inline]
   predicate endsAfter(Location that) {
     exists(string f, int el1, int ec1, int el2, int ec2 |

javascript/ql/lib/semmle/javascript/Promises.qll

@@ -236,6 +236,7 @@ module PromiseTypeTracking {
    *
    * These type-tracking steps are already included in the default type-tracking steps (through `PreCallGraphStep`).
    */
+  overlay[caller?]
   pragma[inline]
   DataFlow::Node promiseStep(DataFlow::Node pred, StepSummary summary) {
     exists(string field | field = Promises::valueProp() |
@@ -254,6 +255,7 @@ module PromiseTypeTracking {
    * Gets the result from a single step through a promise, from `pred` with tracker `t2` to `result` with tracker `t`.
    * This can be loading a resolved value from a promise, storing a value in a promise, or copying a resolved value from one promise to another.
    */
+  overlay[caller?]
   pragma[inline]
   DataFlow::SourceNode promiseStep(
     DataFlow::SourceNode pred, DataFlow::TypeTracker t, DataFlow::TypeTracker t2

javascript/ql/lib/semmle/javascript/dataflow/DataFlow.qll

@@ -1424,6 +1424,7 @@ module DataFlow {
   /**
    * Gets the data flow node corresponding to `e`.
    */
+  overlay[caller?]
   pragma[inline]
   ExprNode exprNode(Expr e) { result = valueNode(e) }
 

javascript/ql/lib/semmle/javascript/dataflow/internal/Contents.qll

@@ -194,6 +194,7 @@ module Public {
    */
   class ContentSet extends TContentSet {
     /** Gets a content that may be stored into when storing into this set. */
+    overlay[caller?]
     pragma[inline]
     Content getAStoreContent() {
       result = this.asSingleton()

javascript/ql/lib/semmle/javascript/dataflow/internal/DataFlowPrivate.qll

@@ -742,6 +742,7 @@ class ContentApprox extends TContentApprox {
   }
 }
 
+overlay[global]
 pragma[inline]
 ContentApprox getContentApprox(Content c) {
   c instanceof MkPropertyContent and result = TApproxPropertyContent()

javascript/ql/lib/semmle/javascript/dataflow/internal/FlowSteps.qll

@@ -48,6 +48,7 @@ private predicate legacyPostUpdateStep(DataFlow::Node pred, DataFlow::Node succ)
  * Holds if data can flow in one step from `pred` to `succ`,  taking
  * additional steps from the configuration into account.
  */
+overlay[caller?]
 pragma[inline]
 deprecated predicate localFlowStep(
   DataFlow::Node pred, DataFlow::Node succ, DataFlow::Configuration configuration,

javascript/ql/lib/semmle/javascript/dataflow/internal/sharedlib/Ssa.qll

@@ -94,6 +94,7 @@ module SsaDataflowInput implements DataFlowIntegrationInputSig {
     }
   }
 
+  overlay[caller?]
   pragma[inline]
   predicate guardDirectlyControlsBlock(Guard guard, js::Cfg::BasicBlock bb, GuardValue branch) {
     exists(js::ConditionGuardNode g |

javascript/ql/lib/semmle/javascript/frameworks/data/internal/ApiGraphModelsSpecific.qll

@@ -190,6 +190,7 @@ API::Node getExtraSuccessorFromNode(API::Node node, AccessPathTokenBase token) {
 }
 
 bindingset[node]
+overlay[caller?]
 pragma[inline_late]
 private API::Node getAGuardedRouteHandlerApprox(API::Node node) {
   // For now just get any routing node with the same root (i.e. the same web app), as
@@ -230,6 +231,7 @@ private predicate blockFuzzyCall(DataFlow::CallNode call) {
   isCommonBuiltinMethodName(call.getCalleeName())
 }
 
+overlay[caller?]
 pragma[inline]
 API::Node getAFuzzySuccessor(API::Node node) {
   result = node.getAMember() and

javascript/ql/lib/semmle/javascript/internal/StmtContainers.qll

@@ -46,6 +46,7 @@ class NodeInStmtContainer extends Locatable, @node_in_stmt_container {
   /**
    * Gets the function or toplevel to which this node belongs.
    */
+  overlay[caller]
   pragma[inline]
   final StmtContainer getContainer() { result = getStmtContainer(this) }
 }