Security Analysis on Ocaml

Ocaml is a free, open-source language that unifies functional, imperative, and object-oriented programming under an ML-like type system. Ocaml is faster than most dynamic languages. However, the Ocaml ecosystem lacks comprehensive and updated security research. Do not forget that the code is written by a man at the end of the day, so it's error-prone!
In this video, I show you how to perform static analysis in order to detect security bugs and coding issues in your Ocaml code.
The example source code is the Tezos repo.

I hope you enjoy the content.
Do not forget to subscribe and follow me: