search for: moduleutil

...t trivial. - According to LangRef, the third field is optional [1]. [1]: http://llvm.org/docs/LangRef.html#the-llvm-global-ctors-global-variable - It was added in r209015 to support comdat keys. - The helper functions `llvm::appendToGlobalCtors()` and `llvm::appendToGlobalDtors()` (in ModuleUtils.cpp) will by default set up the two-field version. - Despite the field being optional (and the API defaulting to the short version), the BitcodeReader auto-upgrades to the 3-element version. It looks to me like `@llvm.global_ctors` and `@llvm.global_dtors` are in an inconsistent st...

...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 '/tmp/taint/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca' klee: ModuleUtil.cpp:51: llvm::Module* klee::linkWithLibrary(llvm::Module*, const string&): Assertion `0 && "linking in library failed!"' failed. 0 klee 0x00002ac2ccf576df 1 klee 0x00002ac2ccf57c49 2 libpthread.so.0 0x00002ac2cd8ffcb0 3 libc.so.6 0x00002ac2c...

...gt; > > > [1]: > http://llvm.org/docs/LangRef.html#the-llvm-global-ctors-global-variable > > > > - It was added in r209015 to support comdat keys. > > > > - The helper functions `llvm::appendToGlobalCtors()` and > > `llvm::appendToGlobalDtors()` (in ModuleUtils.cpp) will by default > > set up the two-field version. > > > > - Despite the field being optional (and the API defaulting to the > > short version), the BitcodeReader auto-upgrades to the 3-element > > version. > > > > It looks to me like `@l...

...like an API I can use to do the archive linking rather than having to invoke an external program (i.e. my system's linker). - For "forthcoming LLVM linker", is that referring to lld [4]? [1] https://github.com/MartinNowack/klee/blob/51d4a2b34511a8d6b00b16a50f90b0bc1a793a69/lib/Module/ModuleUtil.cpp#L61 [2] http://llvm.org/docs/doxygen/html/classllvm_1_1Linker.html#a244da8c7e9789b1b675b9741bd692c63 [3] http://llvm.org/docs/GoldPlugin.html [4] http://lld.llvm.org/ [5] https://github.com/ccadar/klee-uclibc/tree/klee_0_9_29 Thanks, Dan Liew.

...ere 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 > '/tmp/taint/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca' > klee: ModuleUtil.cpp:51: llvm::Module* > klee::linkWithLibrary(llvm::Module*, const string&): Assertion `0 && > "linking in library failed!"' failed. > 0 klee 0x00002ac2ccf576df > 1 klee 0x00002ac2ccf57c49 > 2 libpthread.so.0 0x00002ac2cd8ffcb0 >...

...e to do the archive linking rather than having to invoke > an external program (i.e. my system's linker). > - For "forthcoming LLVM linker", is that referring to lld [4]? > > [1] https://github.com/MartinNowack/klee/blob/51d4a2b34511a8d6b00b16a50f90b0bc1a793a69/lib/Module/ModuleUtil.cpp#L61 > [2] http://llvm.org/docs/doxygen/html/classllvm_1_1Linker.html#a244da8c7e9789b1b675b9741bd692c63 > [3] http://llvm.org/docs/GoldPlugin.html > [4] http://lld.llvm.org/ > [5] https://github.com/ccadar/klee-uclibc/tree/klee_0_9_29 > > Thanks, > Dan Liew. > __________...

Hi Philip, Thank you very much for your comments. I think I’ve discovered a root cause. The problem was in linking bit code archive files with the module. At some point, std::set<Module*> is used and iterated over. I believe this was the reason why e.g. It worked consistently with ASLR turned off and produced non-deterministic output otherwise. I changed that bit to use vector instead and

...ying to build up coreutil with klee. Following the steps online (http://klee.llvm.org/TestingCoreutils.html), I went to step 3 and stuck. When I try to run: klee --libc=uclibc --posix-runtime ./cat.bc -version Error occurred like: klee: error: Cannot find linker input '/lib/libc.a' klee: ModuleUtil.cpp:42: llvm::Module* klee::linkWithLibrary(llvm::Module*, const std::string&): Assertion `0 && "linking in library failed!"' failed. 0 klee 0x0000000000e3b21f 1 klee 0x0000000000e3bcda 2 libpthread.so.0 0x00000036d000dd40 3 libc.so.6 0x...

> On May 25, 2016, at 6:05 AM, Pierre Gagelin via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > Hi everyone, > > I am having troubles but this shouldn't be hard to solve for many people here. I am beginning a runtime feature for the BoundsChecking pass and I want to replace the libc malloc&free. I followed the design of AddressSanitizer (Asan) and tried to use the

...//llvm.org/docs/LangRef.html#the-llvm-global-ctors-global-variable >>>> >>>> - It was added in r209015 to support comdat keys. >>>> >>>> - The helper functions `llvm::appendToGlobalCtors()` and >>>> `llvm::appendToGlobalDtors()` (in ModuleUtils.cpp) will by default >>>> set up the two-field version. >>>> >>>> - Despite the field being optional (and the API defaulting to the >>>> short version), the BitcodeReader auto-upgrades to the 3-element >>>> version. >>&gt...

Hi everyone, I am having troubles but this shouldn't be hard to solve for many people here. I am beginning a runtime feature for the BoundsChecking pass and I want to replace the libc malloc&free. I followed the design of AddressSanitizer (Asan) and tried to use the INTERCEPTOR macro from the interception.h file of compiler-rt library. Here is the problem. The file I modify

...piling Mem2Reg.cpp for Release+Asserts build llvm[2]: Compiling Lint.cpp for Release+Asserts build llvm[3]: Building X86.td disassembly tables with tblgen llvm[3]: Compiling MetaRenamer.cpp for Release+Asserts build llvm[3]: Compiling ScheduleDAGFast.cpp for Release+Asserts build llvm[3]: Compiling ModuleUtils.cpp for Release+Asserts build llvm[2]: Compiling Loads.cpp for Release+Asserts build llvm[3]: Compiling PromoteMemoryToRegister.cpp for Release+Asserts build llvm[3]: Building X86.td "fast" instruction selector implementation with tblgen llvm[2]: Compiling LoopAccessAnalysis.cpp for Rele...

...nclude "llvm/Analysis/AliasAnalysis.h" +#include "llvm/Target/TargetLowering.h" +#include "llvm/Target/TargetOptions.h" +#include "llvm/Target/TargetSubtargetInfo.h" +#include "llvm/Target/TargetFrameLowering.h" +#include "llvm/Transforms/Utils/ModuleUtils.h" +#include "llvm/Transforms/Utils/Local.h" +#include "llvm/ADT/Triple.h" +#include "llvm/ADT/Statistic.h" +#include "llvm/Support/Format.h" +#include "llvm/Support/raw_os_ostream.h" + +using namespace llvm; + +namespace llvm { + +STATISTIC(N...