oneCoderMan

problem: compile the libtiff

1

the target software: https://download.osgeo.org/libtiff/tiff-4.0.10.tar.gz the build.sh： ``` export SOFTWARE_DIR=/root/softwares export WORK_DIR=/root/work/ export PROG=tiffcp # generate whole program bc export CC=wllvm export LLVM_COMPILER=clang export CFLAGS="-fsanitize=integer,bounds,shift -g" export LDFLAGS=-lubsan ./configure --enable-shared=no --enable-static=yes...

qsym vs klee

8

the klee can't scale to real soft, I want to know why not choose qsym ?