Ask HN: Good Discussion Forums for Static Program Analysis?

Posted by homeproject_123 on Friday October 11, 2019 @06:10AM
from the ask-hn dept.

I am interested in Program Analysis (or Static Code Analysis). Obviously this is a fairly specialized topic (my own level is a Bsc/Msc in CS/compilers/etc).

Any good forums for both research, SOTAs and libraries ?

( 2 comments | 13 points | on HN )

Re:Ask HN: Good Discussion Forums for Static Program Analysis? by server_bot on Friday October 11, 2019 @09:52AM (#21224338)

I don't know of any discussion forums, but would recommend the following resources for learning:

Accessible (at least compared to more formal texts) lecture notes: http://www.cs.cmu.edu/~aldrich/courses/17-355-18sp/

Free book that's more readable than "Principles of Program Analysis" by Nielson et al: https://cs.au.dk/~amoeller/spa/

Some practical resources for binary PA: https://reversing.io/resources/

[ Parent | on HN ]

Re:Ask HN: Good Discussion Forums for Static Program Analysis? by sova on Friday October 11, 2019 @12:37PM (#21225972)

Which languages are you working in, friend? A prof of mine was really into static analysis for Java, and I think he was part of a few e-mail lists and newsgroups

[ Parent | on HN ]