goblint/analyzer

Static analysis framework for C

语言：OCaml · GitHub 星标：254 · Fork：93

话题：abstract-interpretation · c · ocaml · program-analysis · race-conditions · race-detection · software-verification · static-analysis

在 GitHub 上查看原仓库