Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007455OCamlOCaml tools (ocaml{lex,yacc,dep,debug})public2017-01-08 22:582017-01-15 14:33
Reporterdobenour 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusnewResolutionopen 
PlatformOSOS Version
Product Version4.04.0 
Target VersionFixed 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 [^]

- 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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker