The source code analysis is based on version 9.6.3 beta3 . Looking forward to more people's joining in.

If you want to review the work I have done, please refer to the *.pdf, because the markdown variant I used local is not compitable with the github ones.