Packages

reach

2.8.1
2.8.1 2.8.0 2.7.5 2.7.4 2.7.3 2.7.2 2.7.1 2.7.0 2.6.1 2.6.0 2.5.0 2.4.0 2.3.5 2.3.4 2.3.3 2.3.2 2.3.1 2.3.0 2.2.0 2.1.0 2.0.1 2.0.0 1.8.0 1.7.0 1.6.0 1.5.1 1.5.0 1.4.1 1.4.0 1.3.0 1.2.0 1.1.3 1.1.2 1.1.1 1.1.0 1.0.0

Program dependence graph for Elixir, Erlang, Gleam, JavaScript, and TypeScript

HexDocs

Current section

Files

Jump to
Readme
36 Versions
8 Dependencies
Dependants
Files
Activity
reach lib reach plugins poison.ex
Raw

lib/reach/plugins/poison.ex 

defmodule Reach.Plugins.Poison do

  @moduledoc "Plugin for Poison effect classification."

  @behaviour Reach.Plugin



  alias Reach.Evidence.AST

  alias Reach.IR.Node



  @impl true

  def inference_hints do

    %{deps: [:poison], source: ["Poison."]}

  end



  @impl true

  def classify_effect(%Node{type: :call, meta: %{module: Poison}}), do: :pure



  def classify_effect(_), do: nil



  @impl true

  def external_data_source({:|>, _meta, [_input, decoder]}), do: decode_source(decoder, 1)

  def external_data_source(ast), do: decode_source(ast, 0)



  @impl true

  def analyze(_all_nodes, _opts), do: []



  defp decode_source(ast, piped_arity) do

    with {:ok, %{module: Poison, function: function, arity: arity}} <- AST.call_descriptor(ast),

         true <- function in [:decode, :decode!],

         effective_arity = arity + piped_arity,

         true <- effective_arity in [1, 2] do

      "Poison.#{function}/#{effective_arity}"

    else

      _other -> nil

    end

  end

end