I agree. I think there is potentially an interesting article to be written about the topic, but this isn't it. The understanding of what makes static analysis h

I agree. I think there is potentially an interesting article to be written about the topic, but this isn't it. The understanding of what makes static analysis hard comes across as pretty shallow. I liked this online course (https://m.youtube.com/watch?v=EG9lz3ncanI https://m.youtube.com/watch?v=EG9lz3ncanI) and of course Nielsen's book is good but pretty technical (https://link.springer.com/book/10.1007/978-3-662-03811-6 https://link.springer.com/book/10.1007/978-3-662-03811-6). Would be interested in any other recommendations for good resources!