1. SWEBOK: guide to the software engineering body of knowledge,2014
2. ISO/IEC/IEEE international standard - Systems and software engineering – software life cycle processes,2017
3. Static code analysis;Louridas;IEEE Softw,2006
4. Taxonomy of static code analysis tools;Novak,2010
5. S.C. Johnson and M. Hill, “Lint, a C program checker,” 1978. [Online]. Available: https://api.semanticscholar.org/CorpusID:59749883.