Fuzzing What I Could Not Imagine

The limit of writing tests

테스트를 손으로 쓰면 내가 상상한 경우만 걸린다. 공정 시뮬레이터는 조건 조합이 넓다. 가스, 압력, 파워, 시간, 마스크 패턴, 층 구성. 내가 떠올린 스무 가지가 위험한 스무 가지일 리 없다.

Coherence

렌더 코히런스 퍼저를 만들었다. 계산된 물리 값과 화면에 그려진 그림이 서로 맞는지를 본다. 측벽 각도가 30도라고 계산됐으면 그림도 30도여야 한다.

이걸 돌리면서 홀과 깊은 식각 쪽 뿌리 버그를 잡았다. 같은 날 반디 정직성 쪽도 손봤다 — 마스크 실치수를 그대로 말하게.

내가 못 떠올린 경우를 찾는 일은 사람이 아니라 기계가 해야 한다.

From many angles

퍼저를 다각도로 확장하고 커버리지 구름을 붙였다. 어느 영역을 훑었고 어느 영역이 비어 있는지가 그림으로 보인다. 검사를 돌렸다는 것과 충분히 돌렸다는 것은 다르다.

L4 를 결정적으로 만든 것도 이때다. 무작위 검사인데 재현이 안 되면 버그를 찾아도 고쳤는지 확인할 수 없다.

Where it kept going

퍼저는 이 뒤로 계속 늘었다. · westworld:actions — 반디 액션 시퀀스 · westworld:compose — 단위공정 조합 · 설계 퍼저 — 자유모드 설계 뼈대를 법칙으로 잠금 · 렌더 퍼저 L6 — 기하는 맞는데 층 귀속이 틀린 축

8월에는 지향 스윕(--focus)을 붙였다. 이미 한 번 터진 축에 그물을 다시 편다. 거기서 또 나온다.