Linux版 - Help on pointer analysis for C programs |
|---|
|
| 相关主题 |
|---|
| ● How obsolete is your distro? | ● c++ 里面 this pointer 是完全 un necessary 的吗？ | | ● ubuntu9.10发布了 | ● Re: 凶嫌录像影像出来了，一个白人，一个疑似西裔或黑人？ | | ● 看看这个 C 代码 | ● World Blitz Anand,V--Livshits,G | | ● 大家Linux装32bit还是64bit？ | ● World Blitz Bacrot,E--Livshits,G | | ● ubuntu is so disappointing | ● World Blitz Gagunashvili,M--Livshits,G | | ● 微调 Firefox 能比 Chrome 快？ | ● World Blitz Livshits,G--Erenburg,S | | ● 这个kernel patch很值得期待阿 | ● World Blitz Livshits,G--Gelfand,B | | ● Help on pointer analysis for C programs | ● World Blitz Livshits,G--Grischuk,A |
|
|
|
|
|
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
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 | S*A
发帖数: 7142 | 2 Can't see the full pdf, don't know what tools do you want.
Do you need a C compiler front end to parse the C code
and turn it into IR?
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
: Improving software security with a C pointer analysis
: Full Text: Pdf
: Authors: Dzintars Avots
|
|
|
|
|
| 相关主题 |
|---|
| ● World Blitz Livshits,G--Grischuk,A | ● ubuntu is so disappointing | | ● World Blitz Livshits,G--Smirin,I | ● 微调 Firefox 能比 Chrome 快？ | | ● World Blitz Livshits,G--Svidler,P | ● 这个kernel patch很值得期待阿 | | ● World Blitz Livshits,G--Zoler,D | ● Help on pointer analysis for C programs | | ● How obsolete is your distro? | ● c++ 里面 this pointer 是完全 un necessary 的吗？ | | ● ubuntu9.10发布了 | ● Re: 凶嫌录像影像出来了，一个白人，一个疑似西裔或黑人？ | | ● 看看这个 C 代码 | ● World Blitz Anand,V--Livshits,G | | ● 大家Linux装32bit还是64bit？ | ● World Blitz Bacrot,E--Livshits,G |
|
|
|
