Ep 2624 (2/6) | 실행하지 않고 버그를 찾는다: 이광근 교수의 정적 분석 이야기
44BITS · 20:35 · Watch on YouTube
Static analysis predicts a program’s behavior before it runs. Exact prediction for every program is impossible, so the field lives on deliberate approximation, languages designed so those predictions stay trustworthy,...