You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 126 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Quand on compile avec -use-runtime, camlc crée dans /tmp un fichier
camlprims, 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.
The text was updated successfully, but these errors were encountered:
Quand on compile avec -use-runtime, camlc crée dans /tmp un fichier
camlprims, 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.
Original bug ID: 126
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Quand on compile avec -use-runtime, camlc crée dans /tmp un fichier
camlprims, 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.
The text was updated successfully, but these errors were encountered: