Bug#702349: lintian should not complain about hardening for package written in pure Ocaml
Le 06/03/2013 10:48, Hendrik Tews a écrit :
> OCaml has a built-in notion of "unsafe" feature (see ocamlobjinfo
> output) that could serve as a starting point for that.
>
> Yes, I tried this on
>
> let f b =
> let a = "abcde" in
> let c = Obj.magic b in
> String.unsafe_blit c 0 a 0 5
>
> For the .cmo, ocamlobjinfo surprisingly reports
>
> Uses unsafe features: no
>
> and for the .cmx it doesn't say anything about unsafe features.
But Obj (obviously) uses unsafe features!
Sure, Pervasives also uses unsafe features, but I was thinking about
adding some kind of whitelist system.
I was trying to be very cautious when I said "notion" and "starting
point" and put quotes around "unsafe"...
Cheers,
--
Stéphane
Reply to: