Vulnerabilities detection in open-source software based on model checking

Recently, with the development of open-source software (DiBona et al., 1999), open-source software begins to use wildly. However, the security of opensource software could not appear grimmer (Xia, 2013). Researchers have proposed many effective methods to improve security, such as using model checking tools for source code vulnerability detection (Goldwasser et al., 1989).