Hello Dan, I’ve installed the Smatch tool locally from https://github.com/error27/smatch.git on my Fedora 38 system. However, I'm not seeing any warnings when I run it using the following command: make C=2 CHECK="/root/smatch/smatch" M=crypto/ Is there any configuration that needs to be enabled for Smatch to work correctly? Regards Suman Chakraborty
