/usr/bin/smatch libm.so.6,libsqlite3.so.0,libc.so.6
