Skip to content

issues Search Results · repo:SRI-CSL/musllvm language:C

Filter by

6 results
 (69 ms)

6 results

inSRI-CSL/musllvm (press backspace or delete to remove)

Thanks for your project, I get libc.so.bc form musl-libc. And I want to build libc.so from libc.so.bc but,there seem have some mistakes. clang -shared -fPIC -o libc.so libc.so.bc /usr/local/bin/ld: error: ...
  • catzlm
  • 4
  • Opened 
    on Mar 4, 2024
  • #6

I followed the method on here to create coreutils with wllvm here and my plan was to link the executable with the musllvm code. http://klee.github.io/releases/docs/v1.3.0/tutorials/testing-coreutils/ ...
  • nakasan617
  • 2
  • Opened 
    on Oct 13, 2021
  • #5

Hi, Could not find any details for a maintainer for this, so I will put this here for now. - What version of musl is this based forked from? - Do you guys have a mailing list or some contacts I could ...
  • daniel-grumberg
  • 9
  • Opened 
    on Oct 8, 2019
  • #4

Howdy, After building I get the following message on subsequent extract: jojapoppa@jojajoja-VirtualBox:~/muslclib/lib$ extract-bc libc.a WARNING:Could not find .llvm_bc ELF section in __set_thread_area.o ...
  • jojapoppa
  • 3
  • Opened 
    on Jul 2, 2019
  • #3

Both extract-bc and get-bc seem to be fooled by the build process. Warning: Failed to find the file /vagrant/musllvm/obj/src/ldso/.dlopen.o.bc because it isn t called o but rather lo: ls -la obj/src/ldso/.dlopen* ...
  • ianamason
  • 1
  • Opened 
    on Apr 18, 2018
  • #2

If possible. fenv/x86_64 internal/x86_64 ldso/x86_64 math/x86_64 process/x86_64 setjmp/x86_64 signal/x86_64 string/x86_64 thread/x86_64 OCCAM/examples/linux/musl_nweb, for example, uses a lot of string ...
  • ianamason
  • 1
  • Opened 
    on Mar 3, 2016
  • #1
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.
Issue search results · GitHub