Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007455OCamltools (ocaml{lex,yacc,dep,debug,...})public2017-01-08 22:582017-10-11 12:43
Reporterdobenour 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version4.04.0 
Target Version4.07.0+devFixed in Version 
Summary0007455: ocamllex and ocamlyacc should check that there are balanced parentheses in code blocks
Descriptionocamllex and ocamlyacc both fail to check for balanced parentheses in code blocks. This allows for invalid OCaml code to be generated. In the case of ocamlyacc, it might be possible to break the type system due to the use of Obj in the generated code, though I don't think so.
TagsNo tags attached.
Attached Files? file icon conflict.mly [^] (180 bytes) 2017-01-09 19:37 [Show Content]

- Relationships

-  Notes
(0017120)
dra (developer)
2017-01-09 00:06

Out of curiosity, do you have a nefarious example which actually compiles?
(0017137)
dobenour (reporter)
2017-01-09 19:38

I just attached conflict.mly. When processed with ocamlyacc, it produces a file conflict.ml which segfaults when run.
(0017178)
dra (developer)
2017-01-15 14:33

https://github.com/ocaml/ocaml/pull/1012 [^]
(0018163)
octachron (developer)
2017-08-06 23:23

Note: the above PR has been merged in 4.06 trunk and fixes the issue on the ocamlyacc side, but not the ocamllex side.

- Issue History
Date Modified Username Field Change
2017-01-08 22:58 dobenour New Issue
2017-01-09 00:06 dra Note Added: 0017120
2017-01-09 19:37 dobenour File Added: conflict.mly
2017-01-09 19:38 dobenour Note Added: 0017137
2017-01-15 14:33 dra Note Added: 0017178
2017-02-19 17:59 xleroy Status new => acknowledged
2017-02-19 17:59 xleroy Target Version => 4.06.0+dev
2017-02-23 16:45 doligez Category OCaml tools (ocaml{lex,yacc,dep,debug}) => tools (ocaml{lex,yacc,dep,debug,...})
2017-08-06 23:23 octachron Note Added: 0018163
2017-10-11 12:43 frisch Target Version 4.06.0+dev => 4.07.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker