On Sat, Jan 5, 2013 at 5:39 PM, Matt Kraai <kr...@ftbfs.org> wrote:
> On Sat, Jan 05, 2013 at 03:55:46PM +0700, Nguyễn Thái Ngọc Duy wrote:
>>  Perhaps this will help the getenv bug hunting (I assume we do the
>>  hunting on Linux platform only). So far it catches this and is stuck
>>  at getenv in git_pager().
> It seems like a static analysis tool might be able to detect these
> problems.  Is there a way to do so using sparse?

That was my first thought. But this may involve flow analysis and I
don't think sparse is up to it. ccc-analyzer is still pretty basic.
And between static analysis and runtime check, I prefer the latter as
it's more reliable as long as you have a good coverage test.

>> +             n = backtrace(buffer, 100);
>> +             symbols = backtrace_symbols(buffer, n);
>> +             if (symbols) {
>> +                     for (i = 0;i < n; i++)
> s/;i/; i/

Thanks. I will fix it later if people actually want this.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to