From 8f47273f118808373649a3a084e4a3c99167edd3 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Tue, 28 Nov 2017 12:51:24 +0100 Subject: Use safe demarshalling in the checker. Instead of relying on the OCaml demarshaller, which is not resilient against ill-formed data, we reuse the safe demarshaller from votour. This ensures that garbage files do not trigger memory violations. --- checker/analyze.mli | 3 +++ 1 file changed, 3 insertions(+) (limited to 'checker/analyze.mli') diff --git a/checker/analyze.mli b/checker/analyze.mli index 1b6c94759..9c837643f 100644 --- a/checker/analyze.mli +++ b/checker/analyze.mli @@ -45,3 +45,6 @@ end module Make (M : Input) : S with type input = M.t (** Functorized version of the previous code. *) + +val instantiate : data * obj LargeArray.t -> Obj.t +(** Create the OCaml object out of the reified representation. *) -- cgit v1.2.3