![Static-Analyzer](/uploads/-/system/project/avatar/1003/Capture_d_écran_2024-04-23_à_14.42.18.png)
Static-Analyzer
Static Analyzer for a language similar to C, written in OCaml as a projet for the class "Sémantique et Application à la vérification formelle de programmes" of 2024.
Static Analyzer for a language similar to C, written in OCaml as a projet for the class "Sémantique et Application à la vérification formelle de programmes" of 2024.