On Wed, Nov 29, 2023 at 04:18:37PM +0530, Nitesh Shetty wrote:I was not aware of repeated runs and chaining, will use repeat runs next time.
Thank you for this insight.
I ran smatch on complete kernel using smatch's test_kernel.sh
I was unaware of this smbd.py option. I will explore this.
The ./smatch_scripts/build_kernel_data.sh command creates the cross
function db. It takes a while though. And it's probably better to
run it a few times because every time you run it the call tree chains
get one call longer. I run it every night against the latest
linux-next.