Static analysis

What is done in order of verifying the correctness of the code, the documents hereby disposed all refer to a specific commit, whereas the date and methodology used are described within the document.