[cfe-dev] How to find ABV on this case using clang static analyzer

jiancai_hao@163.com via cfe-dev cfe-dev at lists.llvm.org
Thu Feb 20 04:12:56 PST 2020


I want to find the buffer overflow on the following case, but clang static analyzer can't report it out, how should I do?
=========== the case ============
int main(int argc, char **argv)
int a[10];
for (int i=0; i<=10; i++) {
a[i]=0;                        <---- array bound over run here
=========== the case =============
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20200220/f9f6190e/attachment.html>

More information about the cfe-dev mailing list