evdenis/spec-utils

A number of utilities for writing ACSL specifications for a Linux module.

语言：Perl · GitHub 星标：11 · Fork：4

话题：acsl · callgraph · kernel · linux · linux-kernel-module · lsm · slicing

在 GitHub 上查看原仓库