agroudiev/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.

语言：OCaml · GitHub 星标：1 · Fork：0

话题：ocaml · static-analysis · static-analyzer

在 GitHub 上查看原仓库