aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/analyze.ml
Commit message (Collapse)AuthorAge
* Use safe demarshalling in the checker.Gravatar Pierre-Marie Pédrot2017-11-28
| | | | | | 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.
* Use large arrays in the checker demarshaller.Gravatar Pierre-Marie Pédrot2017-11-28
| | | | | This allows to work around the size limitation of vanilla OCaml arrays on 32-bit platforms, which is rather easy to hit.
* [votour] Fix/disable warnings.Gravatar Emilio Jesus Gallego Arias2017-05-26
|
* [votour] Fix build with -safe-string (bug 5553)Gravatar Emilio Jesus Gallego Arias2017-05-26
|
* Adding a more efficient representation of OCaml objects in votour.Gravatar Pierre-Marie Pédrot2015-06-25