fetaure/code-analysis
https://www.reddit.com/r/ProgrammingLanguages/comments/c74kbs/what_is_the_book_for_linting_code_analysis_etc/ - a list of books and resource
https://gist.github.com/MattPD/00573ee14bf85ccac6bed3c0678ddbef#background-notation
https://github.com/facebook/SPARTA
http://rosecompiler.org/ - System used in practice for analyzing large code bases and transform them.