Powered by Linux
Re: buffer overflow check bug — Semantic Matching Tool

Re: buffer overflow check bug

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



> I pushed this and also my buffer size work.

Thank you.
A new bug report is comming. strangely corrent code doesn't handle
prefix style attribute. see below.


----------------------------------------------
extern __attribute__ ((__noreturn__)) void my_exit(const char*, ...);
//extern  void my_exit(const char*, ...) __attribute__ ((__noreturn__));

double
ng(int base)
{
    static const double table[] = {
	2.0, 4.0
    };
    if (base < 1) {
	    my_exit(1);
    }
    if (base > 2) {
	    my_exit(1);
    }
    return table[base -1];
}
--
To unsubscribe from this list: send the line "unsubscribe smatch" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html


[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux