Wednesday, May 12, 2010

LLVM projects you may not be aware of

All Mac and iPhone OS developers must by now be familiar with LLVM, the Low-Level Virtual Machine compiler that Apple has backed in preference to GCC (presumably at least partially because because GCC 4.5 is now a GPLv3 project, in addition to technical problems with improving the older compiler). You'll also be familiar with Clang, the modular C/ObjC/C++ lexer/parser that can be used as an LLVM front-end, or as a library for providing static analysis, refactoring and other code comprehension facilities. And of course MacRuby uses LLVM's optimisation libraries.

The LLVM umbrella also covers a number of other projects that Mac/iPhone developers may not yet have heard about, but which nonetheless are pretty cool. This post is just a little tour of some of those. There are other projects that have made use of LLVM code, but which aren't part of the compiler project - they are not the subject of this post.

LibC++ is a C++ library, targeting 100% compatibility with the C++0x (draft) standard.

KLEE looks very cool. It's a "symbolic execution tool", capable of automatically generating unit tests for software with high degrees of coverage (well over 90%). Additionally, given information about an application's constraints and requirements it can automatically discover bugs, generating failing tests to demonstrate the bug and become part of the test suite. There's a paper describing KLEE including a walkthrough of discovering a bug in tr, and tutorials in its use.

vmkit is a substrate layer for running bytecode. It takes high-level bytecode (currently JVM bytecode or IL, the bytecode of the .Net runtime) and translates it to IR, the LLVM intermediate representation. In doing so it can make use of LLVM's optimisations and make better decisions regarding garbage collection.

14 comments:

werwer said...

https://freeprosoftz.com/windows-10-activator/

Naeem Shah said...

On the Internet, I was overjoyed to discover this establishment.
This was a fantastic read, and I owe it to you at least once.
It piqued my interest a little, and you were kind enough to keep it.
Become a fan of a new item on your site.
bitdefender free edition crack
free mp3 cutter and editor crack
asphalt crack
benthic software crack
adobe acrobat reader dc crack
teamwer crack
blackmagic fusion crack
driver easy pro crack

Happy Happy Love's said...

Thank you for your commitment to your website and the information you give.
It's always good to discover a new blog.
You did an excellent job!
magix sound forge crack
phpstorm crack
xmind pro crack
passfab for rar crack

Shoaib Boss said...

Fantastic and useful information.
I'm glad to hear you're doing well.
Thanks for providing this useful information! Please keep us posted.
Here you go. Thanks for sharing.
avast passwords license key
minitool partition wizard crack
smart defrag portable crack
graphpad prism crack
goodsync enterprise crack

Thanos said...

if you need an author for your website, please contact me.
I think I'd be a great addition to your team, based on the quality of your writings.
I'd be happy to write some stuff for your blog in return for a link back to mine if you ever need any help.
If you're interested, please contact me via email. Regards!
cyberlink powerdvd ultra crack
fallout 4 crack pc game codex
coreldraw graphics suite 2022 crack
driver genius crack
movavi video editor crack

Nikfury said...

Excellent writing. In fact, it is being put to use.
Do good to yourself.
It gets harder to carry.
You just think so.
By the way, how should we communicate?
rollback rx pro full crack
wondershare filmora crack
reimage pc repair crack keygen
morphvox pro crack
mcafee endpoint security crack

Crack Software's said...

nice Post

This is a really beneficial softwares for you
Movavi Photo Editor Crack
AMT Emulator Crack
Ashampoo Photo Optimizer Crack
SamDrivers Crack
Partition Bad Disk Crack
Guitar Pro Crack With Key Free
Driver Talent Pro Crack
CyberLink AudioDirector Ultra Crack
DVD-Cloner Gold Crack
Pinnacle Studio Crack

Albert Einstein said...

I'm really impressed with your writing skills, as smart as the structure of your
Latest Software Free Download

Avast Cleanup Premium Crack

IObit Uninstaller Pro Crack

WTFAST Crack

Valentina Studio Pro Crack

Drive SnapShot Crack

maryam45 said...

https://www.blogger.com/comment.g?blogID=1036766049738639552&postID=4971068810837479398&page=1&token=1665343362237
https://www.blogger.com/comment.g?blogID=1028317545741613447&postID=2484945920986836789&page=1&token=1665343371900
https://www.blogger.com/comment.g?blogID=25595390&postID=8666531600591965194&page=1&token=1665343381046
https://www.blogger.com/comment.g?blogID=5165450453057285644&postID=4993480451705790902&page=1&token=1665343396632

pro crack work said...

I have to confess that your post has impressed me because of how much it has broadened my perspective.
by click downloader crack
adguard premium crack
avira system speedup pro crack
advanced systemcare pro crack

Hamna01 said...

I am very satisfied of this website. I visit it daily. I read it daily. I like so much.

Anum02 said...

I like this website. I am very satisfied with it.

Anonymous said...

i like this website . i m satisfied with it

Hamna02 said...

I am very satisfied with this website, I visit this website everyday and get lot of information.