SRI-CSL/whole-program-llvm

Issues

• how to use wllvm to compile firefox?

  #30 opened 2 years ago by Frankenstein-bit
  4

• endless loop with include/config/auto.conf.cmd

  #31 opened 2 years ago by janemba
  3

• extract-bc mangles paths on Apple Silicon

  #29 opened 4 years ago by carlocab
  14

• extract-bc mistakenly truncating paths on macOS

  #28 opened 4 years ago by carlocab
  25

• What is the difference between bitcode generated by wllvm and directly using clang?

  #27 opened 5 years ago by arnab-security
  5

• bzip2 make all fail

  #26 opened 5 years ago by aaltinay
  7

• Unhandled corner case

  #9 opened 5 years ago by ianamason
  0

• known unknown freebsd flags

  #4 opened 5 years ago by ianamason
  3

• Make sure extract-bc works on libcurl.a on Darwin.

  #23 opened 5 years ago by ianamason
  0

• A issue in Klee's docker image

  #25 opened 5 years ago by zhw1042922958
  6

• Version 1.2.4 is broken on pypi

  #24 opened 6 years ago by futile
  4

• config mystery on shaman

  #22 opened 7 years ago by ianamason
  2

• store feature

  #21 opened 8 years ago by ianamason
  2

• add the test of the store to the

  #20 opened 8 years ago by ianamason
  1

• -emit-llvm

  #18 opened 8 years ago by ianamason
  8

• Bug in `extraction.py`

  #16 opened 8 years ago by delcypher
  6

• Problem in httpd

  #14 opened 8 years ago by awanish-pandey
  5

• extract-bc on Mac

  #15 opened 8 years ago by BrunoDutertre
  2

• Does anyone use .bca files anymore?

  #12 opened 8 years ago by ianamason
  8

• llvm-link-3.5

  #11 opened 9 years ago by ianamason
  1

• Issues when compiling libvirt-1.2.0

  #10 opened 9 years ago by ruigulala
  6

• Corner case: -o /dev/null

  #8 opened 9 years ago by BrunoDutertre
  1

• enable more flexible options for compiler selection

  #6 opened 9 years ago by dddejan
  8

• make the llvm-ar not found failure a bit more informative

  #7 opened 9 years ago by ianamason
  1

• about compiling bitcode to executable

  #5 opened 9 years ago by bcko
  3

• int_powers.simple.c

  #3 opened 10 years ago by ianamason
  1

• Simple-Web-Server

  #1 opened 10 years ago by ianamason
  1

• travis ci test for dragonegg might be useful.

  #2 opened 10 years ago by ianamason
  1