| Anonymous | Login | Signup for a new account | 2013-05-22 08:38 CEST | ![]() |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||
| 0000126 | OCaml | OCaml general | public | 2000-05-22 17:36 | 2000-06-05 14:37 | |||
| Reporter | administrator | |||||||
| Assigned To | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | |||
| Status | closed | Resolution | fixed | |||||
| Platform | OS | OS Version | ||||||
| Product Version | ||||||||
| Target Version | Fixed in Version | |||||||
| Summary | 0000126: camlc ne supprime pas la liste des primitives | |||||||
| Description | Quand on compile avec -use-runtime, camlc crée dans /tmp un fichier camlprims<n>, qui n'est pas supprimé ensuite. Pour corriger ça, autant que j'aie pu voir, il suffirait d'ajouter «remove_file primfile» aux alentours de la ligne 161 de bytecomp/symtable.ml. Au passage, je me demande si l'utilisation d'une commande shell pour créer ce fichier est très sécurisante. | |||||||
| Tags | No tags attached. | |||||||
| Attached Files | ||||||||
Notes |
|
|
(0000397) administrator (administrator) 2000-06-05 14:27 |
> Quand on compile avec -use-runtime, camlc crée dans /tmp un fichier > camlprims<n>, qui n'est pas supprimé ensuite. Pour corriger ça, autant que > j'aie pu voir, il suffirait d'ajouter «remove_file primfile» aux alentours > de la ligne 161 de bytecomp/symtable.ml. Exact. C'est corrigé. > Au passage, je me demande si l'utilisation d'une commande shell pour créer > ce fichier est très sécurisante. Tant que le compilateur OCaml n'est pas appelé depuis un programme privilégié (avec bit s), cela ne donne pas à l'utilisateur le moyen de faire des choses qu'il ne pourrait pas faire directement. Dans l'optique d'une utilisation depuis un programme privilégié, il y a de nombreuses faiblesses du même genre dans les outils OCaml existants, et une telle utilisation n'est pas sûre en effet. Merci pour le rapport d'erreur, - Xavier Leroy |
|
(0000398) administrator (administrator) 2000-06-05 14:37 |
Fixed on 2000-06-05 by Xavier |
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2005-11-18 10:13 | administrator | New Issue | |
| Copyright © 2000 - 2011 MantisBT Group |