TCH SOC HUM ECO AY Ayushi Anand Splint as a Static Bug Detection Tool for C Most C compilers stop at syntax and type checking — but Splint goes deeper, uncovering logic flaws and subtle memory issues at compile…