위쪽으로 노출된 용도

Upwards exposed uses

상향 노출 용도 또는 도달 가능한 [1]용도는 컴파일러 이론의 개념으로,[2] 컴파일러의 복사 전파 단계에서 발생합니다.

사용하다

프로그램 컴파일의 복사 전파 단계에서 타깃 인스턴스는 해당 값에 대한 할당으로 대체됩니다.이 프로세스 동안 컴파일러는 분석 [3]도달 시 정의에 도달하는 개념과 관련하여 적절한 대체가 발생할 수 있도록 타깃의 어떤 인스턴스에 접근하고 있는지를 이해할 필요가 있습니다.이는 실행 전 코드를 단순화하기 위한 목적으로 이루어집니다.할당된 상위 노출 횟수가 0인 경우 코드 최종 결과에 영향을 주지 않고 안전하게 [1]제거할 수 있습니다.이것은 컴파일 [4]단계에서의 코드보안을 향상시키는 데도 도움이 됩니다.

예

다음의 의사 코드에 대해 검토합니다.

x = 1 y = z  한다면 거짓의:     x = 0 또 다른:     x = y + 2

이 점에 대한 상향 노출 사용 횟수가 0인 것으로 입증되었듯이 라인 5는 발생하지 않는다고 가정하는 것이 안전하다.따라서 이것은 단순화할 수 있습니다.

y = z x = z + 2

그 결과 컴파일이 덜 복잡하고 [2]실행이 더 효율적입니다.이는 정의에 도달하는 정의도 충족합니다.이러한 맥락에서, 상향 흐름 분석은 정의에 도달하기 위한 필요성을 입증하기 위해 사용된 기술이었다.다양한 형태의 [4]루프를 가진 문제 등 더 깊이 얽혀 있거나 복잡한 제어 흐름 문제를 보다 복잡한 방법으로 분석할 수 있습니다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ a b Harrold, Mary Jean (Fall 2009). "Basic Analysis" (PDF). Georgia Tech - College of Computing. CS 6340: Software Analysis and Testing. Atlanta, Georgia, USA: Georgia Institute of Technology. Archived (PDF) from the original on 2020-06-20. Retrieved 2020-06-12.
  2. ^ a b Aho, Alfred Vaino; Lam, Monica Sin-Ling; Sethi, Ravi; Ullman, Jeffrey David (2006). Compilers: Principles, Techniques, and Tools (2 ed.). Boston, Massachusetts, USA: Addison-Wesley. ISBN 0-321-48681-1. OCLC 70775643.
  3. ^ Kore, Aamod (2020). "Upwards Exposed Uses". Toronto, Ontario, Canada: Department of Computer Science, University of Toronto. Archived from the original on 2020-06-20. Retrieved 2020-06-12.
  4. ^ a b Bergeretti, Jean-Francois; Carré, Bernard A. (1985-01-02). "Information-Flow and Data-Flow Analysis of while-Programs". ACM Transactions on Programming Languages and Systems. Association for Computing Machinery. 7 (1): 37–61. doi:10.1145/2363.2366. S2CID 19682896. Archived from the original on 2020-06-20. Retrieved 2020-06-20.