[antlr-interest] Re: ANTLR-based Bug Finder

[atripp54321]

--- 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/