DelcioKelson/wcec-android

A tool for static WCEC analysis of android apps.

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

话题：abstract-interpretation · ocaml · static-analysis · wcec

在 GitHub 上查看原仓库