This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Memory layout of complex data types on the RTL level
- From: "Christophe Jaillet" <christophe dot jaillet at wanadoo dot fr>
- To: gcc at gcc dot gnu dot org
- Date: Fri, 10 Mar 2006 21:21:18 +0100
- Subject: Re: Memory layout of complex data types on the RTL level
- References: <20060310145958.GA9123@informatik.uni-bremen.de>
In fact, the url of the project seams to be http://rtlcheck.sourceforge.net/
CJ
"Moritz Muehlenhoff" <jmm@inutil.org> a écrit dans le message de
20060310145958.GA9123@informatik.uni-bremen.de">news:20060310145958.GA9123@informatik.uni-bremen.de...
> Hi,
> I'm working on a research project that performs static source code
vulnerability
> analysis on the RTL layer. (http://rtl-check.sf.net)
>
> For the analysis we need to manually annotate the amount of memory needed
> to represent local variables and global static variables. For the stack
level this
> information is easy to get from GCC, but we need it for the RTL level and
I
> couldn't find it after some digging in the GCC sources.
> I assume this information is already available in one of the stages, can
anyone
> please point me where too have a deeper look?
>
> Cheers,
> Moritz
>