Recent changes to bugs

Keeping the already uploaded files after clicking on the +/-

Radek Sedláček — Wed, 20 Aug 2008 11:09:15 -0000

Currently by clicking on the + or - link for adding/removing files for uploading the already uploaded files are forgotten and the apropriate textboxes are cleared.
After clicking on the + or - link the already uploaded files shall be preserved; in case of the - link with the exception of the last file.

Configuration of non-terminals which have to be chcecked.

Radek Sedláček — Fri, 26 Oct 2007 07:57:18 -0000

Implement configuration of non-terminals which have to be checked. Configuration should be done without modification of the given grammar.

'goto_index2 uninitialized

Petr Gotthard — Wed, 26 Sep 2007 17:10:32 -0000

LalrTable.cpp: In member function `void LalrTable::compute_lookaheads()':
LalrTable.cpp:572: warning: 'goto_index2' might be used uninitialized in this function

Parser accepts syntactically incorrent SIP messages

Petr Gotthard — Thu, 20 Sep 2007 15:26:19 -0000

The following 7 torture tests from RFC4475 are incorrectly accepted by the bnfcheck tool:
badaspec
badinv01
escruri
lwsdisp
ncl
quotbal
regbadct

Parser hangs up for torturous INVITE

Petr Gotthard — Thu, 20 Sep 2007 13:36:05 -0000

Bug in revision 21.
Parser hangs up (or is terribly slow) when parsing the tortuous INVITE described in RFC4475, Section 3.1.1.1, message wsinv.dat.

vector::_M_range_check when parsing strange SIP message

Petr Gotthard — Sat, 15 Sep 2007 18:08:18 -0000

In revision 20: When parsing a very strange SIP message (generated by the tests/test-sip script)
terminate called after throwing an instance of 'std::out_of_range'
what(): vector::_M_range_check

For more details, please see the attached file.

No command line test application

Petr Gotthard — Thu, 05 Jul 2007 19:39:15 -0000

Revision 7.
Currently the parser library can be tested by changing the hardcoded parameters in Parser.cpp and recompiling the library.
There should be a standalone test application enabling automated regression tests: it should have a command-line interface that allows users to configure all parameters.

Global configuration needs reconsideration

Petr Gotthard — Thu, 05 Jul 2007 17:54:23 -0000

The global configuration file mixes two information: a starting nonterminal and dependencies. These information should better be separated since a starting nonterminal is defined for a grammar and users may want to change it. On the other hand, dependencies are static information defined for each BNF file.
I suggest the starting nonterminal to be specified via library API. Dependencies could be included in a special subsection of the BNF specification.

Strange vector::_M_range_check exception

Petr Gotthard — Thu, 05 Jul 2007 16:29:11 -0000

Revision 7.
The following ABNF
S = 1*U
U = "a" / "b" / "c"

generates the following error

>>>>COMPUTING ext_nont_first<<<<
terminate called after throwing an instance of 'std::out_of_range'
what(): vector::_M_range_check

#10 0x08060db2 in LalrTable::marked_vector::is_terminal (this=0x80e4184, index=0)
at LalrTable.h:136
#11 0x0804e51e in LalrTable::compute_ext_nont_first (this=0x80e3bf8)
at LalrTable.cpp:179
#12 0x0805097a in LalrTable::make_lalr_table (this=0x80e3bf8) at LalrTable.cpp:846
#13 0x080660bd in Parser::process_grammar (this=0xbfe43c6c, grammar=@0xbfe43c1c,
nonterm_count=8) at Parser.cpp:402
#14 0x080778d9 in Parser::process (this=0xbfe43c6c) at Parser.h:116
#15 0x08069e63 in main () at Parser.cpp:430

Problems with temp files

Petr Gotthard — Thu, 05 Jul 2007 15:57:25 -0000

The preprocessor is currently using two temp-files (temp1 and temp2) created in working directory. This concept could lead to problems when the working directory is write-protected, or when two parser instances run in parallel.
To fix this issue I suggest to generate for each preprocessing step a unique name using the standard tmpnam() function. When the preprocessing finishes, the temp-files should be deleted.