安全でないコードが誤って使用されないようにする

関数f()は、プログラムを実行eval()しlocal_fileているマシンに作成して保存したデータを使用します（または危険なものです）。

import local_file

def f(str_to_eval):
    # code....
    # .... 
    eval(str_to_eval)    
    # ....
    # ....    
    return None


a = f(local_file.some_str)

f() 私が提供する文字列は自分のものなので、実行しても安全です。

しかし、私がこれを安全ではないもの（ユーザー入力など）に使用することを決定した場合、事態はひどく間違ったものになる可能性があります。また、local_file停止がローカルになると、そのファイルを提供するマシンも信頼する必要があるため、脆弱性が発生します。

（特定の基準が満たされない限り）この関数の使用が安全でないことを「忘れない」ようにするにはどうすればよいですか？

_{注：eval()危険であり、通常は安全なものに置き換えることができます。}

「安全な」入力を装飾するタイプを定義します。関数f()で、引数がこの型であることをアサートするか、エラーをスローします。ショートカットを定義しないように十分に賢くしてくださいdef g(x): return f(SafeInput(x))。

例：

class SafeInput(object):
  def __init__(self, value):
    self._value = value

  def value(self):
    return self._value

def f(safe_string_to_eval):
  assert type(safe_string_to_eval) is SafeInput, "safe_string_to_eval must have type SafeInput, but was {}".format(type(safe_string_to_eval))
  ...
  eval(safe_string_to_eval.value())
  ...

a = f(SafeInput(local_file.some_str))

これは簡単に回避できますが、誤って回避することは困難になります。人々はそのような過酷なタイプチェックを批判するかもしれませんが、彼らは要点を見逃すでしょう。以来SafeInput種類だけで、データ型ではなくて型アイデンティティをチェック、サブクラス化することができ、オブジェクト指向のクラスであるtype(x) is SafeInputとの型の互換性をチェックするよりも安全ですisinstance(x, SafeInput)。特定のタイプを強制したいので、明示的なタイプを無視して暗黙のダックタイプを実行するだけでも、ここでは満足できません。Pythonには型システムがあるので、それを使用して起こり得る間違いをキャッチしましょう！

Joelが指摘したように、間違ったコードを間違って見えるようにします（「実際の解決策」までスクロールするか、完全に読んでください。関数名ではなく変数をアドレス指定する場合でも、その価値はあります）。だから私は謙虚にあなたの関数を次のような名前に変更することを提案しますf_unsafe_for_external_use()-あなたはおそらく自分でいくつかの省略形を思い付くでしょう。

編集：私はアモンの提案は同じテーマの非常に良い、OOベースのバリエーションだと思います:-)

@amonの提案を補足するために、ここでは戦略パターンとメソッドオブジェクトパターンの組み合わせを検討することもできます。

class AbstractFoobarizer(object):
    def handle_cond(self, foo, bar):
        """
        Handle the event or something.
        """
        raise NotImplementedError

    def run(self):
        # do some magic
        pass

そして、「通常の」実装

class PrintingFoobarizer(AbstractFoobarizer):
    def handle_cond(self, foo, bar):
        print("Something went very well regarding {} and {}".format(foo, bar))

そして、admin-input-eval実装

class AdminControllableFoobarizer(AbstractFoobarizer):
    def handle_cond(self, foo, bar):
        # Look up code in database/config file/...
        code = get_code_from_settings()
        eval(code)

（注：実際のように見える例では、より良い例を示すことができるかもしれません）。