Open reynir opened 2 weeks ago
In Builder.read there's a conversion from int64 to int where we should check for integer overflow. There is a (* TODO *) at the location though without further explanation.
Builder.read
(* TODO *)
https://github.com/robur-coop/builder/blob/e3c5d9389652f99d6ff3abbd889a325d5d7d3362/lib/builder.ml#L556-L558
Same code path (using Lwt) is in app/server.ml. Same issue applies there, same (*TODO*).
(*TODO*)
In
Builder.read
there's a conversion from int64 to int where we should check for integer overflow. There is a(* TODO *)
at the location though without further explanation.https://github.com/robur-coop/builder/blob/e3c5d9389652f99d6ff3abbd889a325d5d7d3362/lib/builder.ml#L556-L558