wanted: error-correcting C parser

Hello


I'm looking for a parser which understands C (preferably ANSI-C)
(or some "reasonable" subset) and which, if it encounters a syntax
error, delivers a set of all those tokens/symbols which are correct
in place of the wrong symbol (not caring for what comes after the wrong
symbol, of course);


example:
given


extern short c;
int fnc(int a, int b){return a+;}
..


the described parser comes forward with s.th. like


error: line 2, symbol #14 (";");
correct symbols: a b c ( ' ! <.. some more unary operators etc. ..>
correct tokens: NUMBER




any reference to parser generators capable of generating such a parser
is welcome, too;


rumour has it that such generators could be found under
ftp.eb.ele.tue.nl:/pub/src/cocktail.*,
but this archive has been removed;


any comments?




2 more pointers:


LALR from MicroQuill Software Publishing, Inc.


PCYACC from Abraxas (somewhere in the U.S.)


does somebody know their e-mail/ftp addresses?


thanks
Bob
[Abraxas the last time I looked was selling a PC version of yacc and lex with
no particular enhancements, plus sample grammars for many languages. Haven't
looked at LALR. WHen the question of C error detection last came up, the
consensus seemed to be that coming up with the set of possible next tokens is
fairly easy in a top-down parser, nearly impossible in something like yacc.
That set isn't all that useful in error correction, e.g. it's no help if the
programmer left out a semicolon or a curly brace. -John]




--

Return to the comp.compilers page.
Search the comp.compilers archives again.