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:

https://github.com/mohammadreza-ashouri/ https://ashourics.medium.com/ https://twitter.com/ashourics https://www.linkedin.com/in/drashouri/ https://ashoury.net/ https://odysee.com/@heapzip https://d.tube/#!/c/heapzipchannel99 ... https://www.youtube.com/watch?v=pcWc6pcrG50