lambdageek/centrinel

Analyze how a C program uses memory regions

语言：Haskell · GitHub 星标：7 · Fork：0

话题：haskell · language-c · region-inference · static-analysis

在 GitHub 上查看原仓库