[antlr-interest] Re: ANTLR-based Bug Finder
atripp at comcast.net
Fri Nov 19 18:36:45 PST 2004
--- In antlr-interest at yahoogroups.com, "Steve" <stevegianvecchio at h...>
> Hi everyone,
> I am just finishing work on multi-language error detection tool
> 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.
> isn't an ANTLR question, just asking for suggestions. What types
> 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?
Yahoo! Groups Links
<*> To visit your group on the web, go to:
<*> To unsubscribe from this group, send an email to:
antlr-interest-unsubscribe at yahoogroups.com
<*> Your use of Yahoo! Groups is subject to:
More information about the antlr-interest