SRI-CSL whole-program-llvm issues

SRI-CSL / whole-program-llvm

A toolkit for building whole-program LLVM bitcode files

MIT License

72 stars 11 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

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

#31 janemba closed 1 year ago
3
how to use wllvm to compile firefox?

#30 Frankenstein-bit closed 1 year ago
4
extract-bc mangles paths on Apple Silicon

#29 carlocab closed 3 years ago
14
extract-bc mistakenly truncating paths on macOS

#28 carlocab closed 3 years ago
25
What is the difference between bitcode generated by wllvm and directly using clang?

#27 arnab-security closed 5 years ago
5
bzip2 make all fail

#26 aaltinay closed 5 years ago
7
A issue in Klee's docker image

#25 zhw1042922958 closed 5 years ago
6
Version 1.2.4 is broken on pypi

#24 futile closed 5 years ago
4
Make sure extract-bc works on libcurl.a on Darwin.

#23 ianamason closed 5 years ago
0
config mystery on shaman

#22 ianamason closed 7 years ago
2
store feature

#21 ianamason closed 7 years ago
2
add the test of the store to the

#20 ianamason closed 7 years ago
1
Add store feature

#19 loicgelle closed 7 years ago
3
-emit-llvm

#18 ianamason closed 7 years ago
8
Fix Travis in several ways

#17 delcypher closed 7 years ago
4
Bug in `extraction.py`

#16 delcypher closed 7 years ago
6
extract-bc on Mac

#15 BrunoDutertre closed 7 years ago
2
Problem in httpd

#14 awanish-pandey closed 7 years ago
5
Fixup imports and print() usage for python3 compat.

#13 dtzWill closed 8 years ago
3
Does anyone use .bca files anymore?

#12 ianamason closed 8 years ago
8
llvm-link-3.5

#11 ianamason closed 8 years ago
1
Issues when compiling libvirt-1.2.0

#10 ruigulala closed 8 years ago
6
Unhandled corner case

#9 ianamason closed 5 years ago
0
Corner case: -o /dev/null

#8 BrunoDutertre closed 9 years ago
1
make the llvm-ar not found failure a bit more informative

#7 ianamason closed 9 years ago
1
enable more flexible options for compiler selection

#6 dddejan closed 9 years ago
8
about compiling bitcode to executable

#5 bcko closed 9 years ago
3
known unknown freebsd flags

#4 ianamason closed 5 years ago
3
int_powers.simple.c

#3 ianamason closed 9 years ago
1
travis ci test for dragonegg might be useful.

#2 ianamason closed 9 years ago
1
Simple-Web-Server

#1 ianamason closed 9 years ago
1