"Secure Coding in C and C++"
https://www.oreilly.com/library/view/secure-coding-in/978013...
"The CERT C Secure Coding Standard"
https://www.oreilly.com/library/view/the-cert-c/978032160319...
MISRA-C
Frama-C
Also have a look at the static analysis and warnings available across all major C compilers.
I learned from K&R, but highly recommend Seacord's books if you're looking for how to write secure C and a more modern take on some of the trickier parts of C.
Look at the TOC it covers floating point, TMin/Tmax overflow and casting to unsigned problems, gcc use, assembly (enough to understand how exactly pointers work) and many other things including VM/CPUs/Cache memory ect http://csapp.cs.cmu.edu/
The book Hacker's Delight 2 picks up from here and shows you all kinds of bitshifting tricks and other C specific optimizations, The Art of Software Security Assessment to show you safer C and Robert Seacord's book on The CERT C Secure Coding Standard.