https://1library.net/document/yr0wj3jy-on-matching-binary-to-source-code.html