| 网站首页 | 业界新闻 | 小组 | 威客 | 人才 | 下载频道 | 博客 | 代码贴 | 在线编程 | 编程论坛
欢迎加入我们,一同切磋技术
用户名:   
 
密 码:  
共有 1297 人关注过本帖
标题:看别人吵架,捡了个强大的IDE
只看楼主 加入收藏
VxWorks
Rank: 3Rank: 3
来 自:WindRiver
等 级:论坛游民
威 望:6
帖 子:859
专家分:68
注 册:2007-11-24
结帖率:100%
收藏
 问题点数:0 回复次数:5 
看别人吵架,捡了个强大的IDE
俺今晚闲着没事上网找地方看热闹,逛了几个国内的论坛没有发现有价值的口水战,就跑国外讨论组找去了,然后就捡了个使用ICC做后台的IDE,据Intel的人吹牛说ICC编译的程序是IA平台下最快的程序,CPU都是他们家做的,估计优化差不了,今天看到有好的IDE就下载了,发现IDE集成了不少强大的工具,还有好些有用的库,如正则表达式解析,垃圾回收,内存数据压缩和解压,甚至连TC提供的屏幕操作函数都实现了,真是BT。
这是主页:
http://www.cs.virginia.edu/~lcc-win32/
下载页:
http://www.q-software-solutions.de/downloaders/show_download_locations

IDE的作者是virginia大学cs系的jacob navia,提供了Icc-win32和Icc-linux32两个版本,两个的安装包都很小只有6M和2M。

闲着没事可以听我说说这场口水战,jacob navia在讨论组里发主题介绍一本关于C中溢出问题的有趣的书,walter Roberson改名叫water更合适,上来就喷了jacob一脸口水,walter说溢出不属于C属于算法和C的实现,jacob不该在讨论C的地方发这种东西跑题了:
>Buffer overflows are a fact of life, and, more specifically, a fact of
>C.
>All is not lost however.  In the book
>"Value Range Analysis of C programs" Axel Simon tries to establish a
>theoretical framework for analyzing C programs.


If buffer overflows are indeed, as you claim, "a fact of C", then
no amount of theoretical analysis will allow you to eliminate them
in any actual C program.

On the other hand:


 int main(void) { return 0; }


is a C program that has no possibility of buffer overflow. The
existance of a single counter-example is enough to disprove your
claim that buffer overflows are "a fact of C".


There may be constructs in C that are -prone- to buffer overflows
when used by typical programmers, but that doesn't establish
that buffer overflows are "a fact of C". Therefor, any analysis
such as the book you refer to is not a book about C, but rather
a book about algorithms and about C implementations. That
makes it relevant for comp.programming and to newsgroups dealing
with the specifics of implementations similar to the ones s/he
discusses, but does not make the book relevant to comp.lang.c .
-----------------------------------------------------------------------------------
jacob也不是省油的灯,马上还击了:

Walter Roberson wrote:
> In article <g65acc$42...@, jacob navia  <ja...@ wrote:
>> Buffer overflows are a fact of life, and, more specifically, a fact of
>> C.

>> All is not lost however.  In the book


>> "Value Range Analysis of C programs" Axel Simon tries to establish a
>> theoretical framework for analyzing C programs.


> If buffer overflows are indeed, as you claim, "a fact of C", then
> no amount of theoretical analysis will allow you to eliminate them
> in any actual C program.



Well, happily for C, that is not true. What the author proposes is to
apply mathematical reasoning to the sets of values a variable in C can
have, and then, to reason mathematically about those sets. It uses
geometrical concepts like "lattices", and other mathematical
"software" to determine possible values. It is too early for me to
tell you exactly how he does it, I received the book today.


> On the other hand:

>  int main(void) { return 0; }


> is a C program that has no possibility of buffer overflow. The
> existance of a single counter-example is enough to disprove your
> claim that buffer overflows are "a fact of C".



What is the point of that triviality?

Always the same. You take some sentence in my message, take it out
of its context, then find a single "counterexample", and then
that was it.



> There may be constructs in C that are -prone- to buffer overflows
> when used by typical programmers, but that doesn't establish
> that buffer overflows are "a fact of C".



There may be constructs yes. There "may" be constructs that are prone
to buffer overflows when used by typical programmers. Blame the
programmers that are typical, not the geniuses that live in

COMP.LANG.C


where they are a dime a dozen.



> Therefor, any analysis
> such as the book you refer to is not a book about C, but rather
> a book about algorithms and about C implementations.


Yes, algorithms surely. C implementations surely. It is not
an abstract book. Obviously for some people in this group
C stops at anything concrete that goes beyond the usual

void main(void) is not correct


i= i++ + ++i; is not correct.


and discussing forever homework issues.



> That
> makes it relevant for comp.programming and to newsgroups dealing
> with the specifics of implementations similar to the ones s/he
> discusses, but does not make the book relevant to comp.lang.c .


OFF TOPIC. !!!

A book about analysis of C programs is OBVIOUSLY
OFF TOPIC in comp.lang.c


The only on topic stuff is a sterile repeating of such important
stuff like


void main(void) is not correct


i= i++ + ++i; is not correct.


and discussing forever homework issues.


This people are just against ANY discussion.
-----------------------------------------------------------------------------------

这场口水仗还在继续,从今天凌晨2:53开始到现在,我再去看看战况如何
搜索更多相关主题的帖子: IDE 口水战 Intel 内存 jacob 
2008-07-23 21:14
bc1230
Rank: 1
等 级:新手上路
帖 子:5
专家分:0
注 册:2008-7-16
收藏
得分:0 
有趣!
2008-07-23 21:27
VxWorks
Rank: 3Rank: 3
来 自:WindRiver
等 级:论坛游民
威 望:6
帖 子:859
专家分:68
注 册:2007-11-24
收藏
得分:0 
不好意思,俺看错了,他那玩意儿是Lcc不是Icc,光顾着看吵架了

LCC的库在C标准库的基础上:支持模板实现了C++的常见数据结构的容器,高级数学函数,线性代数,统计学,网络,TC风格控制台操作,加密解密,GC垃圾回收,位操作,perl风格正则表达式,posix风格正则,内存数据压缩解压。

这些都是俺在他给的库函数帮助文档中找的,当然os提供的api或系统调用也可以用的,所以说他的库还是比较强大的。

为了防止世界被破坏,为了守护世界的和平,贯彻爱与真实的邪恶,可爱又迷人的反派角色,VxWorks!
Don't ask me any question.I'm just here to buy soy sauce.
2008-07-23 21:51
alei21
Rank: 1
来 自:陕西
等 级:新手上路
帖 子:58
专家分:0
注 册:2008-7-20
收藏
得分:0 
回复 1# VxWorks 的帖子
顶起来!
期待中..
2008-07-24 01:13
蓝色神话
Rank: 2
等 级:论坛游民
威 望:1
帖 子:404
专家分:24
注 册:2006-5-11
收藏
得分:0 
N长时间没有更新鸟。原来用过那么一次,编译速度很快,其它没怎么试过!感觉一般般!不如codeblocks。
2008-07-24 10:34
Knocker
Rank: 8Rank: 8
等 级:贵宾
威 望:47
帖 子:10454
专家分:603
注 册:2004-6-1
收藏
得分:0 
少见多怪

九洲方除百尺冰,映秀又遭蛮牛耕。汽笛嘶鸣国旗半,哀伤尽处是重生。     -老K
治国就是治吏。礼义廉耻,国之四维。四维不张,国之不国。   -毛泽东
2008-07-24 10:40
快速回复:看别人吵架,捡了个强大的IDE
数据加载中...
 
   



关于我们 | 广告合作 | 编程中国 | 清除Cookies | TOP | 手机版

编程中国 版权所有,并保留所有权利。
Powered by Discuz, Processed in 0.028528 second(s), 7 queries.
Copyright©2004-2024, BCCN.NET, All Rights Reserved