mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-15 03:14:23 +00:00
19948f49d0
LLVM compiler infrastructure, and available under the UIUC open source license. WWW: http://klee.llvm.org/ PR: ports/174274 Submitted by: arrowdodger <6yearold@gmail.com>
6 lines
163 B
Plaintext
6 lines
163 B
Plaintext
KLEE is a symbolic virtual machine built on top of the
|
|
LLVM compiler infrastructure, and available under the
|
|
UIUC open source license.
|
|
|
|
WWW: http://klee.llvm.org/
|