Attachment 186079 Details for Bug 219150 – updated shar

updated shar

klee.shar (text/plain), 3.11 KB, created by Gleb Popov on 2017-09-05 14:28:28 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Gleb Popov

Created: 2017-09-05 14:28:28 UTC

Size: 3.11 KB

patch

obsolete

># This is a shell archive.  Save it in a file, remove anything before
># this line, and then unpack it by entering "sh file".  Note, it may
># create directories; files and directories will be owned by you and
># have default permissions.
>#
># This archive contains:
>#
>#	.
>#	./distinfo
>#	./Makefile
>#	./pkg-descr
>#	./pkg-plist
>#
>echo c - .
>mkdir -p . > /dev/null 2>&1
>echo x - ./distinfo
>sed 's/^X//' >./distinfo << 'aec8793adfd5b7c3f00e62ae41a09ac2'
>XTIMESTAMP = 1494777210
>XSHA256 (itbot08-klee-1.3.x-6be29d0_GH0.tar.gz) = 4814ab6ef95350b003b698dbaf944d70b678f3909e23f56887177cecf8332e9b
>XSIZE (itbot08-klee-1.3.x-6be29d0_GH0.tar.gz) = 1050131
>aec8793adfd5b7c3f00e62ae41a09ac2
>echo x - ./Makefile
>sed 's/^X//' >./Makefile << '464ef7c6571951809b23e262cbe26e19'
>X# $FreeBSD: tags/RELEASE_11_0_0/security/qtkeychain-qt5/Makefile 411788 2016-03-24 14:05:09Z amdmi3 $
>X
>XPORTNAME=	klee
>XPORTVERSION=	1.3.x
>XCATEGORIES=	security
>X
>XMAINTAINER=	6yearold@gmail.com
>XCOMMENT=	KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure.
>X
>XLICENSE=	NCSA
>XLICENSE_FILE=	${WRKSRC}/LICENSE.TXT
>X
>XBUILD_DEPENDS=	llvm-config39:devel/llvm39 \
>X		z3:math/z3 \
>X		gmake:devel/gmake
>XLIB_DEPENDS=	libtcmalloc.so.4:devel/google-perftools
>XRUN_DEPENDS=	z3:math/z3
>X
>XUSE_GITHUB=	yes
>XGH_ACCOUNT=	itbot08
>XGH_TAGNAME=	6be29d0
>X
>X# use python to please qa
>XUSES=		cmake:outsource pkgconfig shebangfix python:run
>X
>XSHEBANG_FILES=	tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool
>X
>XCMAKE_ARGS+=	-DENABLE_POSIX_RUNTIME=OFF\
>X		-DENABLE_SOLVER_Z3=ON \
>X		-DENABLE_UNIT_TESTS=OFF \
>X		-DENABLE_SYSTEM_TESTS=OFF \
>X		-DENABLE_TCMALLOC=ON \
>X		-DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/llvm-config39 \
>X		-DMAKE_BINARY=${LOCALBASE}/bin/gmake \
>X
>X.include <bsd.port.mk>
>464ef7c6571951809b23e262cbe26e19
>echo x - ./pkg-descr
>sed 's/^X//' >./pkg-descr << '0e313719ff012ceaf97a028d51caa8f5'
>XKLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure.
>XCurrently, there are two primary components:
>X-The core symbolic virtual machine engine; this is responsible for executing LLVM bitcode
>Xmodules with support for symbolic values. This is comprised of the code in lib/.
>X-A POSIX/Linux emulation layer oriented towards supporting uClibc, with additional
>Xsupport for making parts of the operating system environment symbolic.
>XAdditionally, there is a simple library for replaying computed inputs on native code 
>X(for closed programs). There is also a more complicated infrastructure for replaying 
>Xthe inputs generated for the POSIX/Linux emulation layer, which handles running native 
>Xprograms in an environment that matches a computed test input, including setting up files, 
>Xpipes, environment variables, and passing command line arguments.
>X
>XWWW: https://github.com/klee/klee
>0e313719ff012ceaf97a028d51caa8f5
>echo x - ./pkg-plist
>sed 's/^X//' >./pkg-plist << 'ef3e7f63841ae908ba397c2bef1fbad6'
>Xbin/gen-random-bout
>Xbin/kleaver
>Xbin/klee
>Xbin/klee-stats
>Xbin/ktest-tool
>Xinclude/klee/klee.h
>Xlib/klee/runtime/klee-libc.bc
>Xlib/klee/runtime/kleeRuntimeIntrinsic.bc
>Xlib/libkleeRuntest.so
>Xlib/libkleeRuntest.so.1.0
>ef3e7f63841ae908ba397c2bef1fbad6
>exit
>

Actions: View

Attachments on bug 219150: 182416 | 182599 | 184961 | 186079 | 186262