Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000096OCamlOCaml generalpublic2000-04-30 15:312000-05-08 19:56
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000096: Verification des sous-chaines
DescriptionBonjour,

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

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000370)
administrator (administrator)
2000-05-08 19:56

Bonjour,

> mais ne protestent pas lorsque len < 0
> Cela peut provoquer une erreur de segmentation

C'est repare dans la version de travail. Mille mercis pour le rapport de bug.

-- Damien

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker