Static analysis tools Static Analyser by abstract interpretation in OCaml for a C-like language… [See project]