Skip to content

janislley/LSVerifier_Benchmarks

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

18 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

LSVerifier Benchmarks

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.

Verification process

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

Software versions

Software Version
VIM 8.2.3908
RUFUS 3.17
OpenSSH 8.8
Wireshark 3.6
Putty 0.76

References

About

Verification results for SBSeg Paper

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published