主催：NII 先端ソフトウェア工学国際研究センター（GRACEセンター）
http://grace-center.jp/
日時：2009年4月16日（木）10：00-12：00
場所：国立情報学研究所(NII) 20階セミナー室１(2006)
参加費：無料
（地図）
参加をご希望の方は、下記アドレスまで、セミナー前日まで必要事項を記入し，
“20th GRACE Seminar”というタイトルで電子メールにてご登録をお願いします。
登録アドレス：event-info@grace-center.jp
必要事項：お名前、所属、メールアドレス
– – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – –
Details：
First Speaker: Ralf Huuck (NICTA, Australia)
Title: Goanna — An Automatic Software Analysis Tool of C/C++
Abstract:
Quality assurance for large software code bases can be a daunting task.
Software bugs are often hiding where least expected: on program paths that are rarely executed and often neglected by traditional testing techniques.
In this talk we present an approach for detecting certain classes of bugs fully automatically in millions of lines of C/C++ code. Our approach is based on formal verification techniques such as model checking, static analysis and constraint solving. We present the core ideas, the underlying formal framework and their implementation in our tool Goanna. Moreover, we report on our experiences from analyzing source code packages in the open source world as well as in industry.
Biography:
Ralf Huuck is a senior researcher and project leader at NICTA. Dr Huuck has been leading the research and development of the underlying Goanna technology at NICTA, for over three years.
In his earlier career Dr Huuck completed his PhD at the University of Kiel in the area of Software Technology. Although starting out as a theoretical computer scientist, he has been a vivid proponent of realistic applications and solving problems that matter in the real world and carrying out the idea in several projects funded by the German government and the European Union.
Dr Huuck held several visiting researchers appointments in France, Australia, Japan and Hong Kong.
=======================================
Second Speaker: Yutaka Oiwa (RCIS/AIST)
Title: Fail-Safe C: a memory-safe compiler for the C language
Abstract:
Fail-Safe C is a memory-safe implementation of the full ANSI C language.
More precisely, it detects and disallows all unsafe operations, yet conforming to the full ANSI C standard (including casts and unions) and even supporting many “dirty tricks” common in many existing programs which do not strictly conform to the standard. This work also proposes several techniques—both compile-time and runtime—to reduce the overhead of runtime checks. By using the Fail-Safe C compiler, programmers can easily make their programs safe without performing heavy rewriting or porting of their code.
Biography:
Yutaka Oiwa obtained his Master’s and Ph.D. the University of Tokyo in
2001 and 2005, respectively. Since April 2005, he has been working as a Research Scientist at AIST in Akihabara. His area of expertise include Programming Languages (Theory, Design and Implementation), Computer Security, and Network Protocols. In 2002, he obtained the Takahashi Encouraging Award from the Japan Society for Software Science and Technology (JSSST).
