https://github.com/sri-csl/clam-prov-benchmarks

Benchmarks for clam-prov
https://github.com/sri-csl/clam-prov-benchmarks

Last synced: 15 days ago
JSON representation

Benchmarks for clam-prov

• Host: GitHub
• URL: https://github.com/sri-csl/clam-prov-benchmarks
• Owner: SRI-CSL
• Created: 2021-07-29T22:51:00.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2021-08-18T19:21:49.000Z (over 3 years ago)
• Last Synced: 2024-11-06T04:37:17.707Z (2 months ago)
• Language: Shell
• Size: 20.5 KB
• Stars: 1
• Watchers: 13
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Benchmarks for clam-prov #

0. Requirements

- [cmake](https://cmake.org/) >= 3.13

- [ninja](https://ninja-build.org/)

- [llvm](https://releases.llvm.org/download.html) 11.0.1

- [gllvm](https://github.com/SRI-CSL/gllvm) >= 1.3.0

- [gmp](https://gmplib.org/)

- [boost](https://www.boost.org/) >= 1.65

1. Download all the C projects, compile, and generate LLVM bitcode using [gllvm](https://github.com/SRI-CSL/gllvm):

```

./generate_bitcode.sh

```

2. Download and install [clam-prov](https://github.com/SRI-CSL/clam-prov.git):

```

./install_clam-prov.sh

```

3. Run `clam-prov` on the C projects built in Step 1:

```

./run_benchmarks.sh

```