Unsafe (Grade A)성능 테스트 데이터-ai 기술: 클루드 AI용. A등급. Haskell 함수의 경우 unsafePerformIO, unsafeCoerce, 등 다른 unsafe-prefixed 함수를 사용하지 말아야 합니다. 사용자 코드 리뷰 또는 해커슨 스타일 코드 작성시 사용합니다.

— (0)

리뷰어 Daniel Nikulshyn·업데이트됨 2026년 7월

개요

이 도구는 unsafePerformIO, unsafeCoerce 및 다른 이름이 없는 'unsafe-prefixed' 함수를 포함한 unsafe Haskell 함수를 거부합니다. 이 규칙은 Haskell 코드에 unsafe로 시작하는 함수를 사용하는 경우 사용되며, 코드 작성 또는 코드 검토 시에 사용됩니다. Haskell 언어의 내재된 참조 투명성 및 타입 안전을 보장하는 함수 사용에 대한 취약성을 피하기 위한 목적으로 사용됩니다. 이러한 유해함수는 예측할 수 없거나 프로그램이 멈추거나 보안 취약점을 만들 수 있습니다. 이 도구는 이러한 종류의 함수를 사용하는 것을 피하는 대안과 함께 이 함수 사용을 피하라고 경고합니다.

주요 기능

unsafe-prefixed 함수 사용을 검출하고 금지합니다
안전한 대안에 대한 지침을 제공합니다
FFI 바인딩 및 전역 mutable 변수를 지원하고 NOINLINE로 사용합니다

가격

모델: Free
카테고리: 기술
평점: 아직 리뷰 없음

사용 사례

Haskell 코드 리뷰

하스켈 코드를 검토하고 안전한 prefix가 포함되지 않은 Haskell 코드인지 확인하는 데 이 기술을 사용합니다.

안전한 하스켈 코드 작성

안전한 프로그래밍을 위하여 unsafe-prefixed 함수를 피하고最佳 프랙티스에 따라 하스켈 코드 작성을 지원한다.

장단점

장점

함수 보안 보장의 위협으로 함수를 사용할 수 없습니다.
안전한 프로그래밍 실습을 encourge합니다.
예기치 못한 동작 및 충돌 방지

단점

어느 경우든 성능 최적화에 제한이 걸릴 수 있습니다
안전한 API 구조화를 위해 명시적인 구체화가 필요합니다

리뷰

리뷰를 작성하려면 로그인하세요.

아직 리뷰가 없습니다. 첫 번째가 되어보세요!

Q&A

스킬은 unsafe 함수 대신 어떤 대안을 제시하나요?

스킬은 라이브러리 함수의 안전한 버전(예: unsafeIndex 대신 indexMaybe) 사용, Data.Coerce.coerce 대신 unsafeCoerce 사용, 그리고 부작용을 내부에 캡슐화하여 unsafePerformIO를 피하도록 API를 설계하는 것과 같은 더 안전한 대안을 권장합니다.

Asked by Rina Desai · Dec 29, 2025

FFI 바인딩이나 전역 가변 변수에 대해 여전히 unsafe 함수를 사용할 수 있나요?

네, 이 스킬은 FFI 바인딩이나 전역 가변 변수를 NOINLINE와 함께 사용할 때와 같이 제한된 경우에 unsafe 함수를 허용하지만, 내부 모듈에 한정하고 안전한 순수 API를 통해서만 노출되도록 해야 하며, 명시적 정당화 주석이 필요합니다.

Asked by Hiroshi Tanaka · Dec 26, 2025

Unsafe 스킬이 차단하는 구체적인 Haskell 함수는 무엇인가요?

이 스킬은 unsafe 접두어가 붙은 모든 함수를 차단합니다. 예를 들어 unsafePerformIO, unsafeDupablePerformIO, unsafeInterleaveIO, unsafeFixIO, unsafeCoerce, 그리고 unsafeIndex, unsafeRead와 같이 안전 검사를 건너뛸 수 있는 라이브러리 함수가 포함됩니다.

Asked by Cristina Moreno · Nov 21, 2025