On Mon, Apr 08, 2024 at 12:29:56PM +0800, 李书畅 wrote: > Hello Dan, > Can you explain exactly why it's useful to use smatch with the cross function database and how it works? > The cross function DB has information about how functions are called and what they return. I've written a blog about this which hopefully has more details but feel free to ask if you have any questions. https://staticthinking.wordpress.com/2023/05/02/the-cross-function-db/ https://staticthinking.wordpress.com/2023/05/02/the-param-key-api/ regards, dan carpenter