GeekNewsLean이 프로그램의 정확성을 증명했지만, 그 안에서 버그가 발견됨Lean 4 IO 핸들러 내 USize 오버플로우를 통한 메모리 손상 취약점 분석Securityadvanced1 분 소요1일 전