What does this have to do with Maxima?
Of course, you could try to use Maxima to build a partial evaluation /
symbolic evaluation system for various programming languages, but this
quickly gets extremely tricky for everything except inline code. And
even inline code is tricky when you take into account error
conditions, overflows, etc.
I know. I was on a research project doing this many years ago.
-s
On 8/4/06, sen1 at math.msu.edu <sen1 at math.msu.edu> wrote:
> On the code analyzer, the wish list is the following.
>
> Suppose I have an old C program with, say 20 pages of code, and
> several subroutines.
>
> I would like to build some sort of flow chart which indicates all
> assignments of variables, calls to the subroutines, execution of
> loops, etc.
>
> Ideally, it would give a graphlike picture of the interactions and
> allow a step-by-step execution (like a debugger) on parts of the code
> that I choose. I see some commercial products like "Understanding,"
> but my guess is that they are very expensive.
>
> I also see some analyzers to find security and memory leaks.
>