Well, I looked at the file plot.lisp (which is some 15 or 20 pages
long). I would like to modify it to include some more options.
For someone like me, there is a big time sink (which of course I don't
have) to follow bit by bit the code itself and understand what it is
doing. Maybe this is not so
hard for experts, but, as is clear from my questions, I am very
ignorant of these things at the present time.
The reason for my general question on this list is that, obviously, we have
some experts in many aspects of Computer Science here, and I thought
they might be able to point me in the right direction or tell me that
it is more or less impossible to have a very good analyzer.
If it is better to leave off references to other languages (except for
direct relations to maxima and lisp), then I will do so in the future.
Sorry if this was inappropriate.
-sen
The C analyzer On Fri, 4 Aug 2006, Stavros Macrakis wrote:
> 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.
>>
>
--
---------------------------------------------------------------------------
| Sheldon E. Newhouse | e-mail: sen1 at math.msu.edu |
| Mathematics Department | |
| Michigan State University | telephone: 517-355-9684 |
| E. Lansing, MI 48824-1027 USA | FAX: 517-432-1562 |
---------------------------------------------------------------------------