|BANE release aiken@barnowl.CS.Berkeley.EDU (1998-07-08)|
|Re: BANE release email@example.com (1998-07-10)|
|From:||firstname.lastname@example.org (Zvi Lamm)|
|Date:||10 Jul 1998 20:54:43 -0400|
|Organization:||Hebrew University, Jeruslem, Israel|
|Keywords:||functional, tools, question|
Alex Aiken (aiken@barnowl.CS.Berkeley.EDU) wrote:
:>The Berkeley program analysis group is pleased to announce a public
:>release of BANE, the Berkeley ANalysis Engine. BANE is a system for
:>constructing type- and constraint-based program analyses.
This thing, as program analysis is general, seems cool.
But can anyone share real life experiences?
I guess the heaviest use for program analysis (both static and dynamic)
going on today is for Y2K purposes. However most of the apporaches I saw
tend to be relatively "low-tech", and are basically efforts at hacking the
legacy code with as little understanding of it as possible by the
automatic transformation engine. It would seem that now is the right time
for this field to show its real strengths.
By the way, the same reasoning would lead you to expect more work on
decompiling - since, unfortunately many working systems are eithout
available source code... :-)
Ehud Lamm email@example.com
Return to the
Search the comp.compilers archives again.