Powered by Linux
about using smatch in all debian C code(the previous email forgot to cc Dan,please ignore it) — Semantic Matching Tool

about using smatch in all debian C code(the previous email forgot to cc Dan,please ignore it)

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Hello Dan, I am an undergraduate student of Dongliang Mu's team.
 I'm recently working on a project on how to run smatch in all debian C code, but I found that there is little documentation on use smatch on code other than the linux kernel,so I am having trouble with this project.
 I'd like to ask you what do I need to do to use smatch (simplifying some of the rules is fine) in general C code, and is there documentation that can help?




[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux