Created attachment 182416 [details] Shar
Hi, Is there any chance to not depend on clang34? We're planing to remove clang34 soonish, it would be not good to have a new port relying on it. Thanks, - Martin
Created attachment 182599 [details] new shar (In reply to Martin Wilke from comment #1) I have updated the port with work-in-progress patches to support llvm39. I think it won't hurt, because the current version of KLEE isn't a stable release either.
Ping.
Ping?
Could you please confirm this port passes QA (portlint & poudriere in particular). For more information and testing instruction see: https://www.freebsd.org/doc/en_US.ISO8859-1/books/porters-handbook/testing.html
Created attachment 184961 [details] updated shar I've fixed all qa warnings except this one: Error: /usr/local/bin/gen-random-bout is linked to /usr/local/lib/libz3.so which does not have a SONAME. math/z3 needs to be fixed.
(In reply to arrowd from comment #6) Thaznk you for the updated attachment. Could you please create a new (separate issue) for math/z3 port please, adding this issue to its "Blocks" field if the fix needs to be committed before this issue can be committed and resolved
Comment on attachment 184961 [details] updated shar This attachment needs maintainer (original reporter) approval
I approve.
Created attachment 186079 [details] updated shar The blocker issue has been fixed. Can this finally get in? We also agreed with larca that I'll be maintaining this.
A few items that should be corrected on this port. * Cant figure out the port version reason. That seems to be for the 1.3.x branch but according to git describe --tags 6be29d0, the version is v1.0.0-452-g6be29d0. So this should be DISTVERSIONPREFIX= v DISTVERSION= 1.0.0-452 DISTVERSIONSUFFIX= -g6be29d0 and remove tagname. * The portname should not be in the comment. (KLEE) * In libdepends, libtcmalloc.so.4. The .4 should be removed otherwise this port will break when this lib version is bumped.
Created attachment 186262 [details] updated shar The latest KLEE release is 1.4.0 and this port is just a few commits behind it. I'd update it to 1.4.0, but I lack time right now, and this port is stalled for much too long. So I insist on keeping this as is for now. I've addressed other two comments in new shar.
Ping again. It is stalled for almost half a year.
klee breaks with llvm 60, 50, 40, 38: https://github.com/klee/klee/issues/939 Unclear what llvm version doesn't it need.
(In reply to Yuri Victorovich from comment #15) * Unclear what llvm version does it need.
GitHub repo has pull request that adds LLVM 6.0 support. I was waiting for it to land to go on with this port.
They said that the latest they support now is llvm38. I'm already running poudriere with it.
Committed with changes. Thank you for your submission!
A commit references this bug: Author: yuri Date: Mon Jul 23 03:19:27 UTC 2018 New revision: 475144 URL: https://svnweb.freebsd.org/changeset/ports/475144 Log: New port: security/klee: Symbolic virtual machine built on top of the LLVM PR: 219150 Submitted by: larca <itbot@list.ru> Changes: head/security/Makefile head/security/klee/ head/security/klee/Makefile head/security/klee/distinfo head/security/klee/files/ head/security/klee/files/patch-CMakeLists.txt head/security/klee/files/patch-cmake_find__stp.cmake head/security/klee/files/patch-lib_Core_Executor.cpp head/security/klee/pkg-descr head/security/klee/pkg-plist
Original maintainer gave up on this. Set me as maintainer.
(In reply to Gleb Popov from comment #21) Ok, will do this.
A commit references this bug: Author: yuri Date: Mon Jul 23 05:28:54 UTC 2018 New revision: 475146 URL: https://svnweb.freebsd.org/changeset/ports/475146 Log: security/klee: arrowd@FreeBSD.org takes maintainership The original submitter gave up on the klee port. Also update COMMENT and move -DFREEBSD_STP_STATIC_LIBRARY to the STP option section. PR: 219150 Requested by: arrowd (maintainership change) Changes: head/security/klee/Makefile