diff --git a/source/interprocedural_analyses/taint/backwardAnalysis.ml b/source/interprocedural_analyses/taint/backwardAnalysis.ml index bc97dcbe189..ffc095a98ea 100644 --- a/source/interprocedural_analyses/taint/backwardAnalysis.ml +++ b/source/interprocedural_analyses/taint/backwardAnalysis.ml @@ -302,7 +302,7 @@ module State (FunctionContext : FUNCTION_CONTEXT) = struct get_taint access_path initial_state |> BackwardState.Tree.join global_sink in let convert_tito_path_to_taint ~kind (tito_path, tito_taint) argument_taint = - let breadcrumbs = BackwardTaint.accumulated_breadcrumbs tito_taint in + let breadcrumbs = BackwardTaint.joined_breadcrumbs tito_taint in let tito_depth = BackwardTaint.fold TraceLength.Self tito_taint ~f:TraceLength.join ~init:TraceLength.bottom in diff --git a/source/interprocedural_analyses/taint/callModel.ml b/source/interprocedural_analyses/taint/callModel.ml index 408f038b3bc..17e2fdafe4d 100644 --- a/source/interprocedural_analyses/taint/callModel.ml +++ b/source/interprocedural_analyses/taint/callModel.ml @@ -160,7 +160,7 @@ let taint_in_taint_out_mapping if Model.ModeSet.contains Obscure modes then let breadcrumbs = TaintInTaintOutMap.get mapping ~kind:Sinks.LocalReturn - >>| BackwardState.Tree.accumulated_breadcrumbs + >>| BackwardState.Tree.joined_breadcrumbs |> Option.value ~default:Features.BreadcrumbSet.empty |> Features.BreadcrumbSet.add (Features.obscure_model ()) in diff --git a/source/interprocedural_analyses/taint/forwardAnalysis.ml b/source/interprocedural_analyses/taint/forwardAnalysis.ml index 45aac0ab7cc..6193e09f60d 100644 --- a/source/interprocedural_analyses/taint/forwardAnalysis.ml +++ b/source/interprocedural_analyses/taint/forwardAnalysis.ml @@ -292,8 +292,7 @@ module State (FunctionContext : FUNCTION_CONTEXT) = struct accumulated_tito = let breadcrumbs = - BackwardTaint.accumulated_breadcrumbs tito_taint - |> Features.BreadcrumbSet.add (Features.tito ()) + BackwardTaint.joined_breadcrumbs tito_taint |> Features.BreadcrumbSet.add (Features.tito ()) in let taint_to_propagate = if collapse_tito then