In fact, the url of the project seams to be http://rtlcheck.sourceforge.net/
CJ
"Moritz Muehlenhoff" <[EMAIL PROTECTED]> a écrit dans le message de
news:[EMAIL PROTECTED]
> Hi,
> I'm working on a research project that performs static source code
vulnerability
> analysis on the RTL layer. (http://
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
in