Author: rkovacs
Date: Mon Aug 6 15:03:42 2018
New Revision: 339067
URL: http://llvm.org/viewvc/llvm-project?rev=339067&view=rev
Log:
[analyzer] InnerPointerChecker: fix displayed checker name.
For InnerPointerChecker to function properly, both the checker itself
and parts of MallocChecker that h
Author: rkovacs
Date: Fri Aug 10 16:56:57 2018
New Revision: 339489
URL: http://llvm.org/viewvc/llvm-project?rev=339489&view=rev
Log:
[analyzer] InnerPointerChecker: improve warning messages and notes.
Differential Revision: https://reviews.llvm.org/D49570
Modified:
cfe/trunk/lib/StaticAnaly
Author: rkovacs
Date: Thu Jul 19 08:10:06 2018
New Revision: 337463
URL: http://llvm.org/viewvc/llvm-project?rev=337463&view=rev
Log:
[analyzer] Add support for more basic_string API in
DanglingInternalBufferChecker.
A pointer referring to the elements of a basic_string may be invalidated
by call
Author: rkovacs
Date: Thu Jul 19 08:44:46 2018
New Revision: 337466
URL: http://llvm.org/viewvc/llvm-project?rev=337466&view=rev
Log:
[analyzer] Fix disappearing notes in DanglingInternalBufferChecker tests
Correct a mistake of the exact same kind I am writing this checker for.
Modified:
cfe
Author: rkovacs
Date: Thu Jul 19 10:43:09 2018
New Revision: 337474
URL: http://llvm.org/viewvc/llvm-project?rev=337474&view=rev
Log:
[analyzer] Fix memory sanitizer error in MallocChecker.
StringRef's data() returns a string that may be non-null-terminated.
Switch to using StringRefs from const
Author: rkovacs
Date: Fri Jul 20 08:14:49 2018
New Revision: 337559
URL: http://llvm.org/viewvc/llvm-project?rev=337559&view=rev
Log:
[analyzer] Rename DanglingInternalBufferChecker to InnerPointerChecker.
Differential Revision: https://reviews.llvm.org/D49553
Added:
cfe/trunk/lib/StaticAnal
Author: rkovacs
Date: Mon Jul 30 08:43:45 2018
New Revision: 338259
URL: http://llvm.org/viewvc/llvm-project?rev=338259&view=rev
Log:
[analyzer] Add support for more invalidating functions in InnerPointerChecker.
According to the standard, pointers referring to the elements of a
`basic_string` ma
Author: rkovacs
Date: Mon Jul 30 09:14:59 2018
New Revision: 338263
URL: http://llvm.org/viewvc/llvm-project?rev=338263&view=rev
Log:
[analyzer] Add missing state transition in IteratorChecker.
After cleaning up program state maps in `checkDeadSymbols()`,
a transition should be added to generate
Author: rkovacs
Date: Tue Jul 31 13:27:11 2018
New Revision: 338433
URL: http://llvm.org/viewvc/llvm-project?rev=338433&view=rev
Log:
[analyzer] Move InnerPointerChecker out of alpha.
Differential Revision: https://reviews.llvm.org/D49058
Modified:
cfe/trunk/include/clang/StaticAnalyzer/Chec
Author: rkovacs
Date: Thu Aug 2 15:19:57 2018
New Revision: 338775
URL: http://llvm.org/viewvc/llvm-project?rev=338775&view=rev
Log:
[analyzer] Add a safety check to InnerPointerChecker.
Do not crash if the CXXRecordDecl of an object is not available.
Modified:
cfe/trunk/lib/StaticAnalyzer/
Author: rkovacs
Date: Thu Aug 2 15:31:03 2018
New Revision: 338777
URL: http://llvm.org/viewvc/llvm-project?rev=338777&view=rev
Log:
[analyzer] Obtain a ReturnStmt from a CFGAutomaticObjDtor.
The CoreEngine only gives us a ReturnStmt if the last element in the
CFGBlock is a CFGStmt, otherwise th
Author: rkovacs
Date: Thu Aug 2 16:02:08 2018
New Revision: 338780
URL: http://llvm.org/viewvc/llvm-project?rev=338780&view=rev
Log:
[analyzer] Detect pointers escaped after ReturnStmt execution in MallocChecker.
Objects local to a function are destroyed right after the statement returning
(part
Author: rkovacs
Date: Fri Aug 3 13:42:02 2018
New Revision: 338918
URL: http://llvm.org/viewvc/llvm-project?rev=338918&view=rev
Log:
[analyzer] Add test for a crash fixed in r338775.
Do not crash if a CXXRecordDecl cannot be obtained for an object.
Special thanks for the reproduction to Alexand
Author: rkovacs
Date: Sat Jun 9 06:03:49 2018
New Revision: 334348
URL: http://llvm.org/viewvc/llvm-project?rev=334348&view=rev
Log:
[analyzer] Add dangling internal buffer check.
This check will mark raw pointers to C++ standard library container internal
buffers 'released' when the objects the
Author: rkovacs
Date: Sat Jun 9 14:08:27 2018
New Revision: 334352
URL: http://llvm.org/viewvc/llvm-project?rev=334352&view=rev
Log:
[analyzer] Clean up the program state map of DanglingInternalBufferChecker.
Symbols are cleaned up from the program state map when they go out of scope.
Memory reg
Author: rkovacs
Date: Sat Sep 23 05:13:32 2017
New Revision: 314061
URL: http://llvm.org/viewvc/llvm-project?rev=314061&view=rev
Log:
[docs] Fix typos in Clang's User's Manual.
Modified:
cfe/trunk/docs/UsersManual.rst
Modified: cfe/trunk/docs/UsersManual.rst
URL:
http://llvm.org/viewvc/llvm
Author: rkovacs
Date: Sat Jul 7 11:37:37 2018
New Revision: 336493
URL: http://llvm.org/viewvc/llvm-project?rev=336493&view=rev
Log:
[analyzer] Fix -Wcovered-switch-default warning in MallocChecker.
Remove unnecessary default case that caused buildbot failures.
Modified:
cfe/trunk/lib/Stati
Author: rkovacs
Date: Sat Jul 7 10:22:45 2018
New Revision: 336489
URL: http://llvm.org/viewvc/llvm-project?rev=336489&view=rev
Log:
[analyzer] Highlight container object destruction in MallocChecker.
Extend MallocBugVisitor to place a note at the point where objects with
AF_InternalBuffer alloc
Author: rkovacs
Date: Sat Jul 7 13:29:24 2018
New Revision: 336497
URL: http://llvm.org/viewvc/llvm-project?rev=336497&view=rev
Log:
[analyzer] Add support for data() in DanglingInternalBufferChecker.
DanglingInternalBufferChecker now tracks use-after-free problems related
to the incorrect usage
Author: rkovacs
Date: Sat Jul 7 12:27:18 2018
New Revision: 336495
URL: http://llvm.org/viewvc/llvm-project?rev=336495&view=rev
Log:
[analyzer] Highlight c_str() call in DanglingInternalBufferChecker.
Add a bug visitor to DanglingInternalBufferChecker that places a note
at the point where the da
Author: rkovacs
Date: Wed Jul 11 12:08:02 2018
New Revision: 336835
URL: http://llvm.org/viewvc/llvm-project?rev=336835&view=rev
Log:
[analyzer] Track multiple raw pointer symbols in DanglingInternalBufferChecker.
Previously, the checker only tracked one raw pointer symbol for each
container obje
Author: rkovacs
Date: Mon Jul 16 13:47:45 2018
New Revision: 337215
URL: http://llvm.org/viewvc/llvm-project?rev=337215&view=rev
Log:
[analyzer] Make checkEndFunction() give access to the return statement.
Differential Revision: https://reviews.llvm.org/D49387
Modified:
cfe/trunk/include/cla
22 matches
Mail list logo
