Function resolveFnCallToTaint

resolveFnCallToTaint<Domain extends AnyAbstractDomain>(
    call: DataflowGraphVertexFunctionCall,
    mappings: TaintMapping<Domain>[],
    domain: Domain,
    projectArg: (id: NodeId) => Domain | undefined,
    dfg: DataflowGraph,
    ctx: ReadOnlyFlowrAnalyzerContext,
): { category?: string; role?: TaintRole; value: Domain }
Resolves all TaintMappings that apply to a function call into a single abstract value of the given abstract domain. Each TaintRole is resolved and the resulting values are met together. If no mappings match at all, the call maps to the domain's top element.
Type Parameters
- Domain extends AnyAbstractDomain
Parameters
- call: DataflowGraphVertexFunctionCall
  The function call vertex whose taint is being resolved
- mappings: TaintMapping<Domain>[]
  The mappings that apply to the call
- domain: Domain
  The abstract domain the resulting abstract value belongs to
- projectArg: (id: NodeId) => Domain | undefined
  Resolves the abstract value of an argument node within domain (e.g. the projection of a product state onto the component of the analysis); may return undefined if no value is known
- dfg: DataflowGraph
  The dataflow graph used to resolve the call's arguments
- ctx: ReadOnlyFlowrAnalyzerContext
  The analyzer context used when resolving argument values
Returns { category?: string; role?: TaintRole; value: Domain }
The abstract value to store for the function call within the given domain
- Defined in src/taint-analysis/taint-resolve.ts:44