由买买提看人间百态

boards

本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字 访问原贴
Programming版 - Help on pointer analysis for C programs
相关主题
嵌套循环,层数可变 怎么实现牛人们来看看这个Dao语言怎么样
gcc 优化不优化运算结果不一样?gcc 的 bug?C++11 support is now feature-complete in clang.
专业c++程序员都用什么ide (转载)转贴:[圣战] python 是个讨厌的语言
c字符串内存分配问题javascript是要统一江湖的
which is faster and why ? (答对有包子)strict aliasing是否真的如linus说的那么不堪?
什么原因削弱了浏览器上rich client plugins我来说说为什么现在做底层前途不大
为什么这段程序scala慢java很多C++ 11问题:emplace_back()
问一个volatile和memcpy一起用的问题Sun当年设计Java的败笔
相关话题的讨论汇总
话题: stanford话题: ca话题: university话题: pointer话题: analysis
进入Programming版参与讨论
1 (共1页)
f******e
发帖数: 582
1
Hi,
I have a C program my.c and I would like to apply some basic ideas from the
following paper to analyze the pointers used in my.c.
My question is: is there a free open source tool available for me to start
with? the tool mentioned in the following paper seems obsolete..
Thanks a lot.
http://portal.acm.org/citation.cfm?id=1062455.1062520
Title: Improving software security with a C pointer analysis
Full Text: Pdf
Authors: Dzintars Avots
Stanford University, Stanford, CA
Michael Dalton
Stanford University, Stanford, CA
V. Benjamin Livshits
Stanford University, Stanford, CA
Monica S. Lam
Stanford University, Stanford, CA
p***o
发帖数: 1252
2
LLVM, especially llvm-gcc.

the

【在 f******e 的大作中提到】
: Hi,
: I have a C program my.c and I would like to apply some basic ideas from the
: following paper to analyze the pointers used in my.c.
: My question is: is there a free open source tool available for me to start
: with? the tool mentioned in the following paper seems obsolete..
: Thanks a lot.
: http://portal.acm.org/citation.cfm?id=1062455.1062520
: Title: Improving software security with a C pointer analysis
: Full Text: Pdf
: Authors: Dzintars Avots

1 (共1页)
进入Programming版参与讨论
相关主题
Sun当年设计Java的败笔which is faster and why ? (答对有包子)
haskell 好像还不支持arm 64吧。什么原因削弱了浏览器上rich client plugins
最高大上的 atoi为什么这段程序scala慢java很多
C语言能干嘛?问一个volatile和memcpy一起用的问题
嵌套循环,层数可变 怎么实现牛人们来看看这个Dao语言怎么样
gcc 优化不优化运算结果不一样?gcc 的 bug?C++11 support is now feature-complete in clang.
专业c++程序员都用什么ide (转载)转贴:[圣战] python 是个讨厌的语言
c字符串内存分配问题javascript是要统一江湖的
相关话题的讨论汇总
话题: stanford话题: ca话题: university话题: pointer话题: analysis