Am 11.02.2017 um 20:31 schrieb Lars Schneider: > how do you run these checks on the entire Git source? > Do you run each semantic patch file on the source like this? > > spatch --sp-file contrib/coccinelle/qsort.cocci --dir /path/to/git/git > ... > spatch --sp-file contrib/coccinelle/free.cocci --dir /path/to/git/git With "make coccicheck", which runs spatch against the items in the make variable C_SOURCES, for all .cocci files. > How stable do you consider these checks? Would it make sense to run them > as part of the Travis-CI build [1]? There seem to have been problems with older versions[2], but I'm not aware of other issues. Having these checks run automatically would be nice because they require a special tool which I guess not everybody is willing (or able) to install and because they take multiple minutes. René [2] https://public-inbox.org/git/014ef44e-9dd8-40b3-a3ec-b483f938ee02@xxxxxx/