Skip to content

Static-analysis

  • Published on
    AI 코드 리뷰 도구의 마케팅 문구에는 "PR의 80%에 사람 코멘트가 필요 없다" 같은 숫자가 넘치지만, 정작 정밀도와 거짓 양성률을 함께 공개한 곳은 거의 없습니다. 공개된 측정치를 모아 보면 방향은 대체로 일치합니다 — 오픈소스 PR에서 AI 리뷰 코멘트가 실제 코드 변경으로 이어진 비율은 도구에 따라 0.9~19.2%로, 사람 코멘트의 60%에 크게 못 미쳤습니다(Gan 등, 깃허브 액션 16종·저장소 178곳·코멘트 22,326건). 반면 코멘트 해결을 정책으로 강제한 한 기업 사례에서는 같은 지표가 73.8%로 나왔고, 대신 PR 종료 시간이 5시간 52분에서 8시간 20분으로 늘었습니다. 80배 차이는 도구가 아니라 데이터셋과 측정 방식에서 나옵니다. 이 글은 그 숫자들의 조건을 하나씩 뜯어보고, 텐센트의 정적 분석 알람 76%가 거짓 양성이었다는 측정, 구글이 2018년부터 지켜 온 "거짓 양성 10% 넘으면 분석기를 끈다"는 규칙, 그리고 개발자의 "해결함" 라벨조차 정답이 아니라는 후속 연구(LLM 심사의 MCC가 거의 0)를 정리합니다. 결론은 AI 리뷰가 쓸모없다는 것이 아니라, 좁게 설정했을 때만 값을 한다는 것입니다.
  • Published on
    2026년 6월 3일 나온 Elixir v1.20은 2022년에 시작한 집합론적 타입 시스템의 첫 번째 마일스톤을 끝냈습니다. 이제 모든 Elixir 프로그램이 타입 어노테이션 한 줄 없이 점진적으로 타입 체크되고, 컴파일러가 가드·함수 본문·절 사이에서 타입을 추론해 "실행되면 반드시 런타임에 터지는" 위반과 죽은 코드를 찾아냅니다. 핵심은 dynamic() 타입인데, 다른 언어의 any()가 타입 정보를 버리는 것과 달리 Elixir의 dynamic()은 범위로 동작해 좁혀지며, 공급 타입과 허용 타입이 서로소일 때만 경고합니다. 다만 발표문이 내세운 "If-T 벤치마크 13개 중 12개 통과"는 링크된 상류 결과표에 Elixir 열이 아예 없는 자체 측정치이고, 컴파일 속도 1위 주장도 저자 본인의 합성 벤치마크에서 0.1초 남짓의 차이입니다. 이 글은 1.20이 실제로 무엇을 하는지, 문서화된 트레이드오프는 무엇인지, 업그레이드 전에 알아야 할 CVE와 하드 디프리케이션, 그리고 타입 시그니처가 왜 아직 1년 넘게 남았는지를 원본 소스로 확인해 정리합니다.
  • Published on
    2026년 5월 기준 코드 품질·정적 분석(SAST) 생태계를 한 글로 정리합니다. SonarQube 10.x·SonarCloud·CodeClimate·Codacy·DeepSource·Qodana·Qodo Cover 같은 플랫폼, Semgrep 1.x·CodeQL·Snyk Code·Veracode·Checkmarx 같은 SAST 엔진, ESLint 9 flat config·Biome·Oxlint·Ruff·golangci-lint·clippy 같은 언어별 린터, AI 코드 리뷰(Copilot Code Review·Greptile·CodeRabbit·Cursor Bugbot), 그리고 NAVER·Coupang·Toss·Mercari·LINE Yahoo 사례까지 담았습니다.
  • Published on
    2026년 코드 보안 도구 지도를 그린다 — Semgrep(오픈소스 SAST의 표준 + Pro engine과 Supply Chain), CodeQL(GitHub Advanced Security의 핵심, dataflow 강자), Snyk Code(DeepCode AI 통합 이후의 SAST+SCA), SonarQube 11(클래식이 살아남는 법), Aikido Security(올인원 신예 + AI Autofix), Cycode·GitGuardian(공급망 + 시크릿), Trivy/Aqua(컨테이너 + 디펜던시), Checkmarx·Veracode(엔터프라이즈 진영), OWASP ZAP·Bearer·Endor Labs·Socket.dev. SBOM(SPDX/CycloneDX) 표준화, reachability analysis, LLM autofix, EU CRA 2024, 그리고 KaibAi·FFRI까지.