Re: About building the database for smatch

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