Memcached crash fixes#6

Merged

tgeorge676 merged 3 commits intout-senior-design-clang-pthread:mainfrom

kvbridgers:memcached-crash-fixes

Feb 12, 2025

Commits on Feb 8, 2025

Add option for pthread modeling, default false. Update LITs
einvbri
committed
Add example taint analyis improvement demo test
einvbri
committed

Commits on Feb 10, 2025

Fix 2 crashes seen when analyzing memcached
einvbri
committed