(OBOE) A tool by R. Banfi,
D. Bruschi, and E. Rosti for the automatic detection of
buffer overrun vulnerabilities in
object code. OBOE can
be applied to
operating system components as well as
ordinary application programs. It was designed for the
system administrator to identify vulnerable programs before
they are exploited. Being automatic, OBOE can be run as a
background process for the analysis of all potentially
insecure programs installed on a
Unix system. It runs on
HP-UX,
Linux, and
Sun Solaris.
http://idea.sec.dsi.unimi.it/research.html.