This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [RFC][Draft patch] Introduce IntegerSanitizer in GCC.

On 07/12/2016 02:48 AM, Maxim Ostapenko wrote:


void foo (unsigned len)
{
    ...................
    void *p = malloc (len);
}

void bar ()
{
    ...................
    unsigned len = a + b;
    foo (len);
}
Inlining & lto can help here as could a symbolic execution engine. This is precisely the kidn of analysis we need to be moving into. 

Jeff
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]