diff options
| author | Gabor Marton <gabor.marton@ericsson.com> | 2020-09-03 13:23:49 +0200 |
|---|---|---|
| committer | Gabor Marton <gabor.marton@ericsson.com> | 2020-09-15 16:35:39 +0200 |
| commit | a012bc4c42e4408a18e4c4d67306b79c576df961 (patch) | |
| tree | e6b953bba529bb408767f221e515a9ba07baf05d /llvm/lib/CodeGen/MachineBasicBlock.cpp | |
| parent | e328456a9e6fa8c1ef05e183c1506ed837005847 (diff) | |
| download | llvm-a012bc4c42e4408a18e4c4d67306b79c576df961.zip llvm-a012bc4c42e4408a18e4c4d67306b79c576df961.tar.gz llvm-a012bc4c42e4408a18e4c4d67306b79c576df961.tar.bz2 | |
[analyzer][StdLibraryFunctionsChecker] Elaborate the summary of fread and fwrite
Add the BufferSize argument constraint to fread and fwrite. This change
itself makes it possible to discover a security critical case, described
in SEI-CERT ARR38-C.
We also add the not-null constraint on the 3rd arguments.
In this patch, I also remove those lambdas that don't take any
parameters (Fwrite, Fread, Getc), thus making the code better
structured.
Differential Revision: https://reviews.llvm.org/D87081
Diffstat (limited to 'llvm/lib/CodeGen/MachineBasicBlock.cpp')
0 files changed, 0 insertions, 0 deletions