이광근 교수가 정적분석(static analysis) 분야에서 지난 30년간 축적된 연구를 정리하여 관련 연구개발자에게 길잡이가 될 책을 MIT Press에서 출판하였다.

저서명은 Introduction to Static Analysis: an Abstract Interpretation Perspective이다.

• 정적분석기술의 일반이론/알고리즘/실용화기술을 모두 아우른 저작.

• 정적분석기술이란 소프트웨어의 소스를 자동 분석해서 소프트웨어의 실행미래를 빠짐없이 어림잡는 엄밀한 기술.

• 정적분석기술은 주요 SW의 모든 개발단계에서 폭넓게 응용되고 있음: 개인/기업/공공/인공지능/자동차/비행기/로봇/금용/에너지/국방/우주/의료/교육/법률 등 품질 보장이 중요한 SW의 오류 자동검출, 오류 자동수정, 보안 자동검증, 최적화 검증, 뉴럴넷 검증 등.

• 파리 고등사범학교(Ecole Normale Superieure) Xavier Rival교수와 공저

https://cse.snu.ac.kr/sites/default/files/node--notice/fig-mititsa-mitpress.jpg
   https://cse.snu.ac.kr/sites/default/files/node--notice/icon%EC%95%84%EB%A7%88%EC%A1%B4.png https://cse.snu.ac.kr/sites/default/files/node--notice/icon%EC%95%8C%EB%9D%BC%EB%94%98.png https://cse.snu.ac.kr/sites/default/files/node--notice/icon%EC%98%88%EC%8A%A424.png

[추천서평(MIT Press 제공)]
"Static analysis lies at the heart of a large and growing repertoire of techniques and tools to analyze software before it is deployed. Its many applications include automatically detecting harmful bugs, optimizing programs for resource utilization, and averting security vulnerabilities. This book by Rival and Yi, experts in the theory and practice of static analysis, provides a comprehensive and accessible treatise on this topic of growing importance as software becomes increasingly sophisticated and pervasive." Mayur Naik, Professor, Univ of Pennsylvania

"The whole community of researchers in static analysis and abstract interpretation has long waited an authoritative and comprehensive textbook on the subject. The spectrum of the covered topics together with the depth of presentation will make this publiation a highly cited reference book in programming languages." Francesco Ranzato, Professor, Univ of Padova

"We have waited a long time for a book that presents this material in a simple and at the same time rigorous way. By guiding the reader from the foundations of program semantics toward the most advanced applications of abstract interpretation, the authors are able to reveal the common patterns behind the design and implementation of any static analyzers. The result is a rich introduction and survey of the most advanced techniques for automatically analzying programs." Roberto Giacobazzi, Professor, IMDEA Software Institute