search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 2 forks source link

Integrate Canal tool with LLVM server #126

Closed karelklic closed 11 years ago

karelklic commented 11 years ago

Here is a client code for downloading of llvm bitcode files: http://mtoman.fedorapeople.org/faflib

Here are the bitcode files: http://faf.conf.sk/status/llvm/

In future, the bitcode files may be available from: http://retrace.fedoraproject.org/faf/status/llvm/

karelklic commented 11 years ago

The client code require json-c-devel and libcurl-devel

karelklic commented 11 years ago

The integration is not a priority for now. Both the server and canal need to improve a lot before the integration occurs.