0000096: Verification des sous-chaines

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000096

OCaml

OCaml general

public

2000-04-30 15:31

2000-05-08 19:56

Reporter

administrator

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0000096: Verification des sous-chaines

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

Tags

No 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