similar to: [LLVMdev] KLEE GSoC Project

Hi, The klee library directory is determined at compile time and cannot be changed afterwards. Have a look at tools/klee/main.cpp to see how it is computed. I usually use Klee without any install step, right from the build directory. This has never given me the error you see. Hope this helps, Jonas On Wed, Jun 5, 2013 at 5:26 PM, Alexandru Ionut Diaconescu < alexandruionutdiaconescu at

Hello everyone, I am a novice with KLEE under LLVM. I am trying to build a KLEE project (on a new LLVM environment) and I have the following problem: echo Testing... Testing... echo There should be no assertion fails! There should be no assertion fails! klee -taint=direct taint_direct.o KLEE: output directory = "klee-out-8" klee: error: Cannot find linker input

Are there any "current" Linux distros that have installable packages for llvm, clang, nad klee? I am struggling to get klee built and need a working klee setup asap. Thanks in advance, Donald

Hi, I am trying to evaluate how complex would be to modify KLEE ( http://klee.llvm.org/ ) so that it can run LLVM bitcode compiled from Java code obtained with vmjc (from the VMKIT project). Your feedback will be very appreciated. I am familiar with KLEE but I would like to know more about VMKIT, so please point me to the right docs/source code if appropriate. After a quick look over

Hello, In my reading over the last couple of days, I have read that in order for klee to work with "native" Linux programs, I need to install the uClibc posix support for klee. I am not finding the uClibc source in the llvm svn repository anywhere. Is this still necessary for testing native Linux applications, and if so, where do I get the uClibc source to compile? Thanks in

Dear Developers, I am a Master's student at the ECE department of the University of Florida, USA.​​ For my research project, supervised by Prof. Mark Tehranipoor<http://tehranipoor.ece.ufl.edu/> and Prof. Farimah Farahmandi<http://farimah.ece.ufl.edu/>, I need to use Clang LLVM DataflowSanitizer library in KLEE. However, I have faced some difficulties (explained below) while

Hello, probably it is too late to be involved in GSoC, by I want discuss following idea: KLEE can generate tests only for main function level without any modifications of original code. It passes args specified by command line. I want implement automatic testcase generation for any imported function from tested code without its modification. First: parsing test code would collect input/output

Hi Andreas, Cloud9 is a project that has an extensive POSIX environment model which also lets you symbolically execute multithreaded programs. It is based on KLEE. http://dslab.epfl.ch/pubs/cloud9.pdf Portend builds on top of Cloud9 to perform race detection/classification: http://dslab.epfl.ch/pubs/portend.pdf Cloud9 code base is also public, it might be of interest to you:

Hi, I'm having problems compiling llvm-gcc-4.2-2.9 (from [1]). I need to use this version because I am trying to use KLEE (see [3]) which needs these versions. I am compiling on Arch Linux using gcc (GCC) 4.7.0 20120505 (prerelease) the output of `gcc -v` can be found at http://pastebin.com/8j2m3wzD I have tried the following 1. Extracted llvm-2.9 (from [2]) 2. Applied a patch (adds

Hello LLVM People, Welcome to LLVM 3.1! Get it here: http://llvm.org/releases/ or read about it: http://llvm.org/releases/3.1/docs/ReleaseNotes.html This release represents approximately 6 months of development over LLVM 3.0, delivers a vast range of improvements and new features. Some of the most visible features include greatly expanded C++'11 support in Clang (including lambdas,

Hi, I'm currently trying to find and fix memory leaks (compiling with ``-fsanitize=address``) in the KLEE tool [1] an having found some leaks and I'm having trouble suppressing them. I'm trying to suppress them using the ``-fsanitize-blacklist=blacklist.txt`` option as documented at [2]. I'm using Clang 3.7 ( Arch Linux package 3.7.0-6). The sort of reported leaks I see are ```

> Try checking out libcxxabi as well. It helped, thanks. But I have another problem now. Regression tests don't pass: http://paste.ubuntu.com/15406485/ Also I discovered that build process sometimes consumes about 10 Gb of RAM. Luckily I have total 16 Gb of RAM. Still I had to close Google Chrome and kill KVM guest systems to compile a project. I think its just an insanity. -- Best

Hello. I have for example 4 or more dataframe which like such this example: date value 2006-11 0.4577647 2006-12 NaN 2006-10 0.1577647 2006-11 0.3577647 2006-12 NaN 2007-01 NaN 2007-02 NaN 2007-03 0.2956429 2007-01 0.3677647 2007-02 NaN They have the same length. I need merge by date undefined number of dataframes. End result output will look like

Hello I'm trying to compile LLVM, Clang and LLDB on Ubuntu 14.04 LTS as described on llvm.org [1][2]: ``` sudo apt-get install subversion cmake ninja-build doxygen \ swig libedit-dev libncurses5-dev libxml2-dev mkdir llvm-src cd llvm-src svn co http://llvm.org/svn/llvm-project/llvm/trunk llvm cd llvm/tools svn co http://llvm.org/svn/llvm-project/cfe/trunk clang svn co

Hello. I have a problem with 2 dataframes. There are 2 columns - "value" and "dates". These dataframes have different dimension. Some dates coincide. And I need to intersect them by dates and have on output two dataframes with identical columns "dates" and new dimension . "value" have to recieve in compliance with dates. Regards, Aleksander. [[alternative

Hi, got a 25/25Mbit connection which is quite stuffed. So I applied htb rules. Uplink: class htb 1:1 root rate 24500Kbit ceil 24500Kbit burst 4661b/8 mpu 0b overhead 0b cburst 4661b/8 mpu 0b overhead 0b level 7 Sent 430600689269 bytes 730147320 pkt (dropped 0, overlimits 0 requeues 0) rate 23057Kbit 5520pps backlog 0b 0p requeues 0 lended: 199673949 borrowed: 0 giants: 0 tokens: -964

Thanks to Jason Balicki for the correct fix to this problem. The 'webclient' service in Windows XP, somehow interferes with access to the Samba server. With the service stopped and disabled, the clients are working again. Lane Beneke; IT Manager Stephenson Millwork Co., Inc. -----Original Message----- From: Lane Beneke [mailto:lane.b@smcinc.com] Sent: Wednesday, July 28, 2004 12:42 PM

I'm not sure this is a known bug. I'm using dovecot 1.1.19. C: s SORT (DATE) blah ALL UNDELETED OR HEADER SUBJECT {4} S: + OK C: asdf HEADER FROM {4} S: + OK C: asdf S: * SORT 1 2 4 5 3 6 7 (... all messages in folder) S: s NO [BADCHARSET] Unknown charset I think there shouldn't be "* SORT... " response. -- Aleksander 'A.L.E.C' Machniak http://alec.pl gg:2275252

When I try to execute the following example, I get an error message: /usr/local/lib/ruby/gems/1.8/gems/mocha-0.5.4/lib/mocha/object.rb:40: in `expects'': undefined method `stub'' for nil:NilClass (NoMethodError) from test8.rb:5 What could be the reason? I tried with the latest Mocha Ruby gem, and I also tried it with the Rails plugin. The example: require

Hello (I'm new to LLVM project and I'm not yet familiar with local patch submission process. So please forgive me if I had to use pull requests on GitHub or something else instead. BTW link to the HowTo will be appreciated.) I'm LLVM/Clang 3.8 user and I discovered that there is a bug in ccc-analyzer script. Here is a patch that fixes it (see attachment). Without this patch running