https://github.com/bannsec/easyklee

Repo to ease the pain of installing KLEE
https://github.com/bannsec/easyklee

Last synced: over 1 year ago
JSON representation

Repo to ease the pain of installing KLEE

• Host: GitHub
• URL: https://github.com/bannsec/easyklee
• Owner: bannsec
• Created: 2015-08-16T17:25:47.000Z (almost 11 years ago)
• Default Branch: master
• Last Pushed: 2016-03-24T00:49:58.000Z (over 10 years ago)
• Last Synced: 2025-03-26T07:23:03.540Z (over 1 year ago)
• Language: Shell
• Size: 9.77 KB
• Stars: 7
• Watchers: 2
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
#Overview

The purpose of EasyKLEE is to making installing KLEE easy. The goal is to be able to simply run the installer on a base install of an operating system and have KLEE be installed. The genesis of this project was from personal experiences with the sometimes difficult installation of this tool.

#Usage

Just run "install_klee.sh". It should take care of the rest.

#Supportted Platforms

The following platforms are supported/tested, but other similar versions would likely work with minimal to no modification.

* Ubuntu 15.04 x64/i386

# What It Installs

Besides simply installing KLEE, it needs to install dependencies. Here's what you get.

* KLEE 3.4 (Experimental)

* LLVM 3.4 (Experimental)

* CryptoMiniSAT 4.5.2

* MiniSAT (latest... they're bad at tagging)

* KLEE-UCLIBC (lastest, also bad at taging)

* libgtest 1.7

#Known Issues

If a different version of LLVM is already installed, there will likely be issues installing KLEE.