안전하지 않은 코드가 실수로 사용되지 않도록하십시오

함수 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)합니다. 특정 유형을 적용하고 싶기 때문에 명시 적 유형을 무시하고 암시 적 오리 타이핑을 수행하는 것만으로는 만족스럽지 않습니다. 파이썬에는 타입 시스템이 있으므로 가능한 실수를 잡기 위해 그것을 사용합시다!

Joel이 한 번 지적했듯이 잘못된 코드를 잘못 보이게 만듭니다 ( "실제 솔루션"섹션으로 스크롤하거나 더 잘 읽습니다. 함수 이름 대신 변수를 처리하더라도 그 가치가 있습니다). 따라서 겸손하게 함수의 이름을 다음과 같이 바꾸는 것이 좋습니다. f_unsafe_for_external_use()대부분 약어 체계가 생길 것입니다.

편집 : 나는 amon의 제안이 같은 주제에 대해 아주 좋은 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))

그리고 관리자 입력 평가 구현

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

(참고 : 실제 사례를 사용하면 더 나은 예를 제시 할 수 있습니다).