Skip to content

SRI-CSL/clam-prov-benchmarks

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits

brotli_mod_files

brotli_mod_files

 
 

Makefile

Makefile

 
 

README.md

README.md

 
 

apache_recipe.sh

apache_recipe.sh

 
 

bftpd_recipe.sh

bftpd_recipe.sh

 
 

brotli_mod_recipe.sh

brotli_mod_recipe.sh

 
 

brotli_recipe.sh

brotli_recipe.sh

 
 

config.sh

config.sh

 
 

curl_recipe.sh

curl_recipe.sh

 
 

generate_bitcode.sh

generate_bitcode.sh

 
 

install_clam-prov.sh

install_clam-prov.sh

 
 

run_benchmarks.sh

run_benchmarks.sh

 
 

thttpd_recipe.sh

thttpd_recipe.sh

 
 

vsftpd-3.0.3.patch

vsftpd-3.0.3.patch

 
 

vsftpd_recipe.sh

vsftpd_recipe.sh

 
 

Repository files navigation

Benchmarks for clam-prov

  1. Requirements
  1. Download all the C projects, compile, and generate LLVM bitcode using gllvm:
./generate_bitcode.sh
  1. Download and install clam-prov:
./install_clam-prov.sh
  1. Run clam-prov on the C projects built in Step 1:
./run_benchmarks.sh

About

Benchmarks for clam-prov

Resources

Readme
Activity
Custom properties

Stars

1 star

Watchers

14 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages