[antlr-interest] How to determine execution path?

Monty Zukowski monty at codetransform.com
Tue Oct 12 06:49:55 PDT 2004


There's a tool that analyzes string usage here -- 
http://www.brics.dk/JSA/ -- that might give you some ideas.

ANTLR & Java Consultant -- http://www.codetransform.com
ANSI C/GCC transformation toolkit -- 
http://www.codetransform.com/gcc.html
Embrace the Decay -- http://www.codetransform.com/EmbraceDecay.html

On Oct 9, 2004, at 6:30 PM, Steve wrote:

>
>
>
> Greetings,
>
>     This is more of a compiler question than an ANTLR question. I
> will give some background on what I'm doing, which you can probably
> skip, because the question itself is at the end.
>
> BACKGROUND:
>
>     I am building an error detection tool for an academic project
> that detects errors by finding conflicting statements in the code.
> The target language will likely be Java, but I'd like to be able to
> extend the tool to work with other languages.
>
> Example:
>
> initial statement: int x=0; implies that "x is 0."
> later statement: x=y/x; implies that "x is not 0." (can't divide by
> zero)
> contradiction: "x is 0" and "x is not 0"
>
> (This is a simplification of Dawson Engler's approach to error
> detection.)
>
> I was planning on using ANTLR to create an abstract syntax tree which
> would be traversed to generate implications of each statement and
> then search for conflicts. The implications would need to be
> propogated based on execution path, the further the better.
>
> THE QUESTION:
>
> -How to determine execution path?
>
> It would be ideal to not code this myself if the functionality is
> available in an open source tool. I would appreciate any information
> that can be provided, even if it is just pointing me in the right
> direction.
>
> Many thanks,
>
> Steve
>
>
>
>
>
>
>
>
>
> Yahoo! Groups Links
>
>
>
>
>
>
>
>
>



 
Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/antlr-interest/

<*> To unsubscribe from this group, send an email to:
    antlr-interest-unsubscribe at yahoogroups.com

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/
 





More information about the antlr-interest mailing list