shell.nix


1
2
3
4
5
6
7
8
9
10

with import <nixpkgs> {};
let symbdiff = callPackage ./tools/symbdiff { };
in mkShell {
  packages = [ llvmPackages_12.clang symbdiff ];
  shellHook = ''
    # clang -emit-llvm -c -DKLEE_RUNTIME metaprogram.c for bitcode
    # clang -o metaprogram{,.c} for binary
    alias clang='clang -g -O0 -Xclang -disable-O0-optnone -fsanitize=undefined -fno-sanitize=local-bounds,function,vptr'
 '';
}