[Gambas-devel] Bug detected in gb.data

Emil Lenngren emil.lenngren at ...176...
Sat Jan 5 14:33:36 CET 2013


That function is never called...

2013/1/5 Benoît Minisini <gambas at ...1...>

> Hi, Tobias.
>
> The Coverity Scan software has detected the following problem in gb.data :
>
> The following function in 'c_list.c' is incorrect:
>
> static inline int VAL_is_valid(VAL *val)
> {
>         int i = val->fidx + val->ck->first;
>         int j = val->lidx + val->ck->last;
>
>         if (i != j || !val->ck || val->fidx == -1 || i > val->ck->last)
>                 return 0;
>         return 1;
> }
>
> because 'val->ck->first' is accessed before being null-checked.
>
> I don't know if it is problematic, but it seems. Can you check that?
>
> Thanks!
>
> --
> Benoît Minisini
>
>
> ------------------------------------------------------------------------------
> Master Visual Studio, SharePoint, SQL, ASP.NET, C# 2012, HTML5, CSS,
> MVC, Windows 8 Apps, JavaScript and much more. Keep your skills current
> with LearnDevNow - 3,200 step-by-step video tutorials by Microsoft
> MVPs and experts. SALE $99.99 this month only -- learn more at:
> http://p.sf.net/sfu/learnmore_122912
> _______________________________________________
> Gambas-devel mailing list
> Gambas-devel at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/gambas-devel
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gambas-basic.org/pipermail/devel/attachments/20130105/63e53712/attachment.html>


More information about the Devel mailing list