https://123dok.net/document/lzg6n58q-static-analysis-x-assembly-certification-robustness-analysis.html