Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000126OCamlOCaml generalpublic2000-05-22 17:362000-06-05 14:37
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000126: camlc ne supprime pas la liste des primitives
DescriptionQuand 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.

TagsNo tags attached.
Attached Files

- Relationships

-  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
Powered by Mantis Bugtracker