Memthol

Visualizer, written in Rust, for memory profiling data generated from OCaml programs

profiler page

About OCamlPro Contact Us

About

Memthol is a visualizer and analyzer for program profiling. It works on memory dumps containing information about the size and (de)allocation date of (some of) the allocations performed by some execution of a program.

To install : 

cargo install --git https://github.com/OCamlPro/memthol --locked memthol

github link
Github
doc link
API Doc
tutorial link
Tutorial

OcamlPro

OCamlPro is a French software company, with a strong expertise in programming languages and formal methods. Our developers and experts have been developing software with high added-value for more than 10 years.

Along these years, we touched many different domains, among which:

  • Blockchains: we audited the assembler code in Rust and the Solidity smart contracts of the Everscale blockchain, we developed the prototypes of the Tezos and Dune Network blockchains, etc.
  • Development tools: we developed a Rust web interface to the OCaml memory profiler, we developed and maintain the Opam package manager, etc.
  • Compilers and DSLs: we have members of the OCaml core compiler team, and contributors to the GNUCobol compiler.
  • Formal Methods: we developed several formal method tools in Rust (Matla, SAT-Micro-Rust, Mikino, etc.)
  • Education: we all graduated from the top French engineer schools and universities, from masters to PhD-levels.

CIR Agreement: OCamlPro benefits from a CIR agreement, that allows its French customers to recover30% of their costs on R&D outsourced work at OCamlPro, through the Crédit Impôt Recherche.

Contact us

If you wonder whether Rust is suited for your project, or just wondering what we could do for you, the best way to find out is to contact us!

Just fill this form!