[prev in list] [next in list] [prev in thread] [next in thread] 

List:       kernel-hardening
Subject:    Re: [kernel-hardening] Re: [RFC v4 PATCH 00/13] HARDENED_ATOMIC
From:       Julia Lawall <julia.lawall () lip6 ! fr>
Date:       2016-11-17 12:59:32
Message-ID: alpine.DEB.2.10.1611171353150.2913 () hadrien
[Download RAW message or body]

With the options

--all-includes --include-headers --include-headers-for-types -I
/var/julia/linux-next/include -I /var/julia/linux-next/include/drm -I
/var/julia/linux-next/include/uapi --use-idutils

with 9 parallel jobs, I get 20 occurrences that have to be checked
manually due to insufficient type information in 1.5 minutes elapsed time.

Replacing --all-includes with --recursive-includes increases the elapsed
time to over 12 minutes but give only 9 occurrences that have to be
checked.

--include-headers-for-types does some caching of header file information.
Make coccicheck by default achieves paralellism by starting a thread for
each file, which eliminates the benefit of caching.  One then also needs
the argument --chunksize N, for perhaps N = 20, to get some benefit from
the caching.

julia

[prev in list] [next in list] [prev in thread] [next in thread]