| |
|
|
Electronic Systems Design Seminar
|
|
BEAM is a tool for static analysis of Software. Its goal is to report only those errors that are guaranteed to be feasible. It does that by a combination of data flow analysis and symbolic execution. We will report on our experience with a prototype for C++ and our plans for a production version.
Daniel Brand received his Ph.D. from the University of Toronto in 1976. He has been working at the IBM T.J.Watson Research Center and he had temporary positions at the IBM Zurich Research Laboratory, the Beijing Institute of Aeronautics and Astronautics and the Kyushu Institute of Technology. He has workedon communication protovols, performance analysis, logic synthesis, and reliability for software and hardware. He is a fellow of IEEE.
Florian Krohm received his Masters degree in Electrical Engineering from the University of Dortmund, Germany in 1985. He then joined the Fraunhofer Institute of Microelectronic Circuits and Systems, where he worked on a project to automatically synthesize software development environments for embedded microcontrollers. His research focused on methods of retargetable code generation. In 1992 he received his Ph.D. from the University of Duisburg, Germany. In 1994 he joined the IBM T.J. Watson Research Center where he worked on Boolean equivalence checking. In 1997 he took a management position in IBM's Microelectronic Division. As this turned out to be somewhat boring he decided to return to technical work in 1999. His current interests include static analysis of real world programs.