OSDN Git Service

(root) / android-x86 / external-llvm-project.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 205085d) | patch
[analyzer] ApiModeling: Add buffer size arg constraint with multiplier involved
authorGabor Marton <gabor.marton@ericsson.com>
Tue, 31 Mar 2020 15:41:10 +0000 (17:41 +0200)
committerGabor Marton <gabor.marton@ericsson.com>
Fri, 29 May 2020 14:24:26 +0000 (16:24 +0200)
commit41928c97b6a17264938fc765a6a0656d8b6e86ed
tree928adcc0ef1f68b666723721d8cc54d44b241ef6tree | snapshot
parent205085d4ccf9c367ba70de9d8f0dd74d6f567c24commit | diff
[analyzer] ApiModeling: Add buffer size arg constraint with multiplier involved

Summary:
Further develop the buffer size argumentum constraint so it can handle sizes
that we can get by multiplying two variables.

Reviewers: Szelethus, NoQ, steakhal

Subscribers: whisperity, xazax.hun, baloghadamsoftware, szepet, rnkovacs, a.sidorin, mikhail.ramalho, donat.nagy, dkrupp, gamesh411, Charusso, ASDenysPetrov, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D77148
clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp diff | blob | history
clang/test/Analysis/std-c-library-functions-arg-constraints.c diff | blob | history
external/llvm-project
About OSDN
Find Software
Develop Software
Help