about summary refs log tree commit diff homepage
path: root/tools/klee-replay/fd_init.c
diff options
context:
space:
mode:
authorOmer Anson <oaanson@gmail.com>2016-02-22 23:13:34 +0200
committerOmer Anson <oaanson@gmail.com>2016-02-25 20:52:39 +0200
commit66f53aac10962db150aec07b96f3b0a756eef28b (patch)
treebd9c2a0a225ebdd3a475158c4004b8a51f78f030 /tools/klee-replay/fd_init.c
parentf76b6c5fe0ce8920ee6edb13802f857dae49e785 (diff)
downloadklee-66f53aac10962db150aec07b96f3b0a756eef28b.tar.gz
Added support to load libraries from command line
This allows a user to invoke klee with specific libraries to load from
command line. This is an attempt to allow klee to run on applications
linked to external libraries.

The libraries still have to be compiled specially for klee, in a manner
similar to klee-uclibc, i.e. archives (build with llvm-ar) of llvm IR
files.
Diffstat (limited to 'tools/klee-replay/fd_init.c')
0 files changed, 0 insertions, 0 deletions