Packages

reach

2.7.0
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
9 Dependencies
Dependants
Files
Activity
reach lib reach plugins jason.ex
Raw

lib/reach/plugins/jason.ex 

defmodule Reach.Plugins.Jason do

  @moduledoc "Plugin for Jason effect classification and JSON encoder smells."

  @behaviour Reach.Plugin



  alias Reach.Evidence.MapContract

  alias Reach.IR.Node



  @impl true

  def inference_hints do

    %{deps: [:jason], source: ["Jason."]}

  end



  @impl true

  def smell_checks do

    [Reach.Plugins.Jason.Smells.HandRolledEncoder]

  end



  @impl true

  def evidence_providers do

    [Reach.Plugins.Jason.Evidence.HandRolledEncoder]

  end



  @impl true

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

  def classify_effect(_), do: nil



  @impl true

  def refine_evidence(%MapContract.Contract{escapes: escapes}, _context) do

    if Enum.any?(escapes || [], &jason_encode_escape?/1) do

      %{role: :external_payload}

    else

      :unchanged

    end

  end



  def refine_evidence(_evidence, _context), do: :unchanged



  @impl true

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



  defp jason_encode_escape?(%{module: Jason, function: function, arity: arity}) do

    function in [:encode, :encode!] and arity in [1, 2]

  end



  defp jason_encode_escape?(_escape), do: false

end