Masahiro Sakai

CForge is a C program analyzer based on a program analysis framework Forge developed by the Software Design Group (SDG) at MIT, and we developed CForge as part of a joint research project with MIT SDG. I worked as a main developper of CForge, and worked on its overall design, design of our formal specification langauge for C, implementaion of a kind of C compiler, and so on. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462652 http://www.toshiba.co.jp/tech/review/2009/08/64_08pdf/a06.pdf