메모리 안전성 표준화: 안전한 소프트웨어로 가는 길

수십 년 동안 소프트웨어의 신뢰할 수 있는 컴퓨팅 기반(TCB)에서 만연하는 메모리 안전성 취약성이 악성 코드와 파괴적인 공격의 온상이 되어 왔습니다. 이 기사에서는 보편적인 강력한 메모리 안전성을 위한 중요한 단계로 메모리 안전성 표준화를 주장합니다. 메모리 안전 언어, 하드웨어/소프트웨어 보호, 형식적 방법, 구획화에 대한 최근의 발전은 해결책을 제공하지만, 공통 용어의 부족이 채택을 방해하고 있습니다. 표준화는 업계의 모범 사례를 개선하고 이러한 기술의 광범위한 사용을 방해하는 시장 실패를 해결하여 궁극적으로 모든 사람에게 안전한 소프트웨어를 제공합니다.