2026년 8월 8일 abstract interpretation은 박사 학위가 필요한 것처럼 들린다. 더 이상 그렇지 않다 Infer를 사용하여 CI 파이프라인에서 형식적 정적 분석을 실행하는 방법. 작동하는 설정과 현실적인 트레이드오프를 소개한다. abstract-interpretationci-cdstatic-analysisinfer
2026년 8월 7일 LLM은 정적 분석 경고를 우선순위화할 수 있다. 다만 왜인지는 설명할 수 없다 대규모 언어 모델은 정적 분석의 false positive을 선별하는 데 도움이 되지만, abstract interpretation처럼 프로그램의 의미론을 이해하는 것은 아니다. 두 가지를 결합하는 방법을 설명한다. abstract-interpretationllmstatic-analysisfalse-positives
2026년 8월 5일 Meta는 프로그램을 실행하지 않는 정적 분석기로 프로덕션 코드에서 10만 개의 버그를 찾아냈다 Meta의 Infer는 abstract interpretation과 양방향 추론을 사용해 코드 구조를 분석하여 null reference, memory leak, race condition을 발견한다. 실행은 필요 없다. 작동 방식과 자체 코드베이스에서의 활용법을 설명한다. abstract-interpretationstatic-analysismetainfer
2026년 8월 4일 정적 분석은 비행기가 추락하지 않음을 증명할 수 없습니다. 대신 더 유용한 것을 증명할 수 있습니다. 추상 해석은 모든 가능한 프로그램 상태를 과대 근사합니다. 추상화 안에서 0으로 나누기에 도달할 수 없다면, 실제 코드에서도 도달할 수 없습니다. 다음은 그 작동 원리와 한계입니다. abstract-interpretationstatic-analysissafety-criticalaviation
2026년 8월 3일 런타임 에러가 없음을 증명하는 방법(그리고 왜 아마도 포기하게 될 것인지) 추상 해석은 실행 전에 런타임 에러가 불가능함을 증명하게 해줍니다. 실제로 어떻게 작동하는지, 왜 어려운지, 그리고 도구 체인의 어디에 맞는지 알아봅니다. abstract-interpretationstatic-analysisruntime-errorsverification
2026년 5월 23일 Fuck-u-code: AI 개발 과정이 잊어버린 결정론적 품질 관문 타입 검사, 린트, 아키텍처 규칙은 갖췄다. 하지만 결정론적 체계는 복잡도, 중복, 명명 재앙을 전혀 보지 못한다. 비용 0원인 해결책은 이것이다. ai-engineeringdeterministicguardrailscode-qualitystatic-analysisci
