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.

27 comments:

韋于倫成 said...

Wise men learn by other mens mistakes; fools by their own.......................................................

佳順 said...

sex情色 xvediox免費情色影片 Xmatch成人交友中心 383成人影城 軍中情人視訊 557557 com成人視訊 五分鐘護半身視訊交友 色色辣妺視訊 交友聊天室mh053 cf視訊聊天室 383 影音 live 秀 yam交友美女視訊 我愛黑澀會 台灣18成年人網 自拍密錄館sex888 一夜情,18禁地少女遊戲 557557 視訊交友 4qk色美媚入口 hi5 tv免費影片援交走光 成人夜未眠 xvediox com sex520免費影片harry 男人幫論壇twclub 辣妹情色視訊 080情人網免費av影片 交友愛戀速配網 bt成人下載av 淫娃免費視訊聊天室 真人美女辣妹鋼管脫衣秀 豆豆出租名模情人視訊 aio交友愛情館85cc 免費視訊聊天 no4 視訊聊天ilover99 本土辣妹34c影片直播 avhigh成人視訊交友 168論壇aio色妹妹 本土自拍性感辣妹 癡電車漢短片 a片-a 片天堂 av 短片 aa 片免費看 亞洲禁果影城姐弟 成人聊天fm1768 高雄視訊 情色視訊sex 辣妹視訊 xvediox av127影音視訊聊天室 sexy girls get fucked大學生視訊 一夜情辣妹no36k情人視訊網

祐誠 said...

視訊交友cleansing拓峰交友天堂情色0204movie免費影片彰化人聊天室二正妹相簿正妹星球正妹空姐寫真成人 影片sex明星露點網明星素妍明星素顏明星穿幫照明星玉足明星照片區明星a圖pchome明星a圖明星a網明日之星模特兒寫真dvd視訊 辣妹視訊 辣妹日本a片免費下載xx369色女人專用視訊交友網微風成人情色 網免費視訊成人圖片區ut聊天室美女影片一夜情聊天室影音視訊聊天室台灣本土自拍微風論壇xxx18性愛情小說搜樂論壇免費影片直播網咆哮小老鼠分享咆哮小老鼠分享論壇免費無碼a片

于名于名 said...

Well done!............................................................

NorrisBradwell04張 said...

Two heads are better than one. ............................................................

SadeRa盈君iford0412 said...

道歉是人類一定必要的禮節 ..................................................

寧年寧年 said...

恨一個人,比原諒一個人,更傷力氣。..................................................................

淑芬楊 said...

^^~~輕輕鬆鬆的逛部落格,多謝有您的分享哦~~~ .................................................................

江婷 said...

在莫非定律中有項笨蛋定律:「一個組織中的笨蛋,恆大於等於三分之二。」.................................................................

冠宏 said...

人不能像動物一樣活著,而應該追求知識和美德....................................................................

倩亮倩亮 said...

當一個人內心能容納兩樣相互衝突的東西,這個人便開始變得有價值了。............................................................

登山登山 said...

這麼好的部落格,以後看不到怎麼辦啊!!..................................................................

于倫 said...

Pen and ink is wits plough. ............................................................

志張sf夏康如皓志gfg志 said...

原來天鵝嫁給癩蛤蟆就會生出醜小鴨。。。............................................................

于倫 said...

If you can not be kind, at least have the decency to be vague.............................................................

吳婷婷 said...

教育無他,愛與榜樣而已............................................................

王美妹 said...

來幫忙拼人氣~Go Go Go 時間可證明一切.................................................................

ju吳phe宇te佳ns said...

好東西要和好朋友分享--感謝您..................................................................

WillianT_Smotherman0恆迪 said...

培養健全孩子最好的方法是父母先成為健全的人。............................................................

敬周喜 said...

良言一句三冬暖,惡語傷人六月寒。......................................................................

建邱勳 said...

No pains, no gains..................................................................

吳沛黃以富民 said...

經一事,長一智。經驗是良師 experience is the best teacher.............................................................

1615 said...

良言一句三冬暖,惡語傷人六月寒。......................................................................

蔡曼鄭美玉屏 said...

我們能互相給予的最佳禮物是「真心的關懷」。.................................................

怡靜怡靜怡靜怡雯 said...

我是天山,等待一輪明月。......................................................................

淑蕙春蕙春芬 said...

Learning makes life sweet.......................................................................

麗王王珠 said...

困難的不在於新概念,而在於逃避舊有的概念。......................................................................