통합검색

한 메모리 칸을 바꿀 때, 떨어진 칸이 그대로임을 어떻게 증명할까요?

주소 100의 값을 바꾸면서 주소 200의 값이 그대로임을 어떻게 증명할까요? 레이놀즈의 분리 논리를 따라 힙을 겹치지 않는 조각으로 나누고, 프레임 규칙으로 건드리지 않은 조각을 보존하는 과정을 연결 목록 뒤집기까지 이어 읽습니다.

John C. Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures (2002)

수정할 수 없는 입력란도 폼 데이터에 들어갈까?

같은 값이 보이는 텍스트 입력란을 비활성화·읽기 전용으로 바꾸고, 브라우저가 만든 폼 데이터에 값이 포함되는지 확인합니다.

정규표현식에 m을 붙이면 점이 줄바꿈까지 찾을까?

A와 B 사이의 공백을 줄바꿈으로 바꾸고 s·m 설정을 비교합니다. 점이 허용하는 문자와 점이 반복되는 횟수를 따로 시험합니다.

저항 두 개를 나란히 연결하면 전체 전류는 왜 더 커질까?

같은 두 저항을 직렬과 병렬로 바꾸어 전체 전류와 각 저항의 전압을 비교합니다. 연결 모양보다 두 끝이 어디에 닿는지가 중요합니다.

AI가 HTTP Content-Length를 글자 수로 적어도 될까?

영문·한글·이모지 본문을 바꾸어 글자 수와 UTF-8 바이트 수를 비교하고, Content-Length에 들어갈 값을 검산합니다.