tree e6b953bba529bb408767f221e515a9ba07baf05d
parent e328456a9e6fa8c1ef05e183c1506ed837005847
author Gabor Marton <gabor.marton@ericsson.com> 1599132229 +0200
committer Gabor Marton <gabor.marton@ericsson.com> 1600180539 +0200

[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