522392 – dev-util/klee - a symbolic virtual machine built on top of the LLVM compiler infrastructure

Bug 522392 - dev-util/klee - a symbolic virtual machine built on top of the LLVM compiler infrastructure

Summary: dev-util/klee - a symbolic virtual machine built on top of the LLVM compiler ...

Status:	UNCONFIRMED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	New packages (show other bugs)
Hardware:	All Linux

Importance:	Normal enhancement
Assignee:	Default Assignee for New Packages

URL:	http://klee.github.io/klee/
Whiteboard:
Keywords:	PullRequest

Depends on:	522388
Blocks:
	Show dependency tree

Reported:	2014-09-08 18:02 UTC by Michael Jones
Modified:	2019-01-04 21:32 UTC (History)
CC List:	0 users

See Also:	https://github.com/gentoo/gentoo/pull/10741
Package list:
Runtime testing required:	---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Michael Jones 2014-09-08 18:02:25 UTC

KLEE provides a framework for symbolically executing program code to find inputs to that code that would trigger undefined behaviour. Think of KLEE as an automatic test case producer for crash-bugs.

KLEE is based on LLVM.

KLEE depends on the Simple Theorem Prover : https://bugs.gentoo.org/show_bug.cgi?id=522388

Reproducible: Always