Analyser is a static analyser which finds errors and undefinded behaviors in C programs with inline assembly.
语言:OCaml · GitHub 星标:2 · Fork:0
话题:c · inline-assembly · ocaml-program · static-analyzer
在 GitHub 上查看原仓库