1 Star 1 Fork 1

hzjnet/openwrt-from-coccinelle

加入 Gitee
与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
克隆/下载
authors.txt 1.02 KB
一键复制 编辑 原始数据 按行查看 历史
Here are the authors and maintainers of the different parts of coccinelle:
* Julia Lawall <[email protected]>
- parsing_cocci/ (parsing SmPL, isomorphism handling)
- engine/ (ast_cocci to ctl, sgrep)
- ctl/ (symbolic model checker)
- tools/
- standard.iso
* Yoann Padioleau <[email protected]>
- parsing_c/ (parsing C, unparsing C, type checking, control flow, C diff)
- engine/ (pattern matching and transforming, unparsing, ctl integration)
- main.ml, cocci.ml (driver), testing.ml
- configure, txt files, Makefiles
- globals/
- extra/, tools/, scripts/
- commons/ (utility functions, e.g. for logging, profiling, regression testing)
- editors/emacs/cocci.el
- standard.h
* Rene Rydhof Hansen <[email protected]>
- Original version of the model checker in ctl/
- editors/emacs/cocci-ediff.el
- scripts/extractor.awk
* Henrik stuart <[email protected]>
- python/ (python SmPL extension and a coccinelle GUI)
* Nicolas Palix <[email protected]>
- ocaml/ (OCaml SmPL extension)
- scripts/spatch.bash_completion
* All
- tests/ demos/
马建仓 AI 助手
尝试更多
代码解读
代码找茬
代码优化
1
https://gitee.com/hzjnet/coccinelle-openwrt.git
[email protected]:hzjnet/coccinelle-openwrt.git
hzjnet
coccinelle-openwrt
openwrt-from-coccinelle
master

搜索帮助