Original bug ID: 96
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Bonjour,

plusieurs fonctions dans la bibliotèque standard (par exemple
Pervasives.input) prennent comme argument une sous chaine
spécifiée par une position de début et une longueur.
Elles vérifient que ces données définissent bien une sous-chaine :

if ofs < 0 or ofs + len > string_length s
then invalid_arg "input"

mais ne protestent pas lorsque len<0, ce qui, je pense, est une erreur.
Cela peut provoquer une erreur de segmentation (c'est d'ailleurs la
première fois que j'obtient une erreur de segmentation en Caml en restant
dans le langage de base).

Cordialement,

Alain Frisch