[antlr-interest] Re: ANTLR-based Bug Finder
atripp54321
atripp at comcast.net
Fri Nov 19 18:36:45 PST 2004
--- In antlr-interest at yahoogroups.com, "Steve" <stevegianvecchio at h...>
wrote:
>
> Hi everyone,
>
> I am just finishing work on multi-language error detection tool
built
> using ANTLR. The tool analyzes ASTs built from Java, Pascal, and C
> grammars to find logic errors.
>
> I'd like to take this error detection tool and catch some bugs.
This
> isn't an ANTLR question, just asking for suggestions. What types
of
> common logic errors are easy to find in real world programs? I can
> find many different types of simple rule-based errors with the tool
> such as:
>
> Never divide by 0.
> Never dereference a null pointer.
> Never use an uninitialized variable.
>
> The tool currently works for Java and Pascal.
Sorry, I have no answers...just questions...
So you're doing control-flow analysis?
Do you have any documentation on how it works?
What's the product called, and what license is it under?
Andy
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