This most recent repository contains the vulnerability analysis results performed in some C open-source software projects.

All open-source software codes are distributed under the Open-source license (GNU GPL, Apache, and MIT).

These programs have been selected due to their high importance in the open-source community and the large size with a significant open-source third-party library used.

$ cd <Software>
$ lsverifier -r -v -f -e "--unwind 1 --no-unwinding-assertions" -i dep.txt

• VIM: https://github.com/vim/vim
• RUFUS: https://github.com/pbatard/rufus
• OpenSSH: https://github.com/openssh/openssh-portable
• Wireshark: https://github.com/wireshark/wireshark
• Putty: https://github.com/github/putty