Author: henrywong
Date: Mon Nov 26 20:27:00 2018
New Revision: 347635
URL: http://llvm.org/viewvc/llvm-project?rev=347635&view=rev
Log:
[clangd] NFC: Prefer `isa<>` to `dyn_cast<>` to do the checking.
Summary: Prefer `isa<>` to `dyn_cast<>` when there only need a checking.
Reviewers: ilya-biryuk
Author: henrywong
Date: Wed Aug 22 06:30:46 2018
New Revision: 340407
URL: http://llvm.org/viewvc/llvm-project?rev=340407&view=rev
Log:
[analyzer] Improve `CallDescription` to handle c++ method.
Summary:
`CallDecription` can only handle function for the time being. If we want to
match c++ method
Author: henrywong
Date: Wed Aug 8 06:37:28 2018
New Revision: 339244
URL: http://llvm.org/viewvc/llvm-project?rev=339244&view=rev
Log:
[analyzer] Fix a typo in `RegionStore.txt`.
Summary: The typo of the description for default bindings can be confusing.
Reviewers: NoQ, george.karpenkov
Review
Author: henrywong
Date: Wed May 30 04:46:45 2018
New Revision: 333531
URL: http://llvm.org/viewvc/llvm-project?rev=333531&view=rev
Log:
[analyzer] Remove the redundant check about same state transition in
`ArrayBoundCheckerV2.cpp`.
Summary: Since the `addTransitionImpl()` has a check about same
Author: henrywong
Date: Wed May 16 05:37:53 2018
New Revision: 332463
URL: http://llvm.org/viewvc/llvm-project?rev=332463&view=rev
Log:
[analyzer] Improve the modeling of memset().
Since there is no perfect way bind the non-zero value with the default binding,
this patch only considers the case
Author: henrywong
Date: Wed May 2 05:11:22 2018
New Revision: 331345
URL: http://llvm.org/viewvc/llvm-project?rev=331345&view=rev
Log:
[analyzer] Add `TaintBugVisitor` to the ArrayBoundV2, DivideZero and VLASize.
Summary: Add `TaintBugVisitor` to the ArrayBoundV2, DivideZero, VLASize to be
able
Author: henrywong
Date: Mon Apr 23 07:41:17 2018
New Revision: 330596
URL: http://llvm.org/viewvc/llvm-project?rev=330596&view=rev
Log:
[analyzer] Move `TaintBugVisitor` from `GenericTaintChecker.cpp` to
`BugReporterVisitors.h`.
Summary: `TaintBugVisitor` is a universal visitor, and many checker
Author: henrywong
Date: Mon Apr 23 06:36:51 2018
New Revision: 330589
URL: http://llvm.org/viewvc/llvm-project?rev=330589&view=rev
Log:
[analyzer] CStringChecker.cpp - Code refactoring on bug report.
Reviewers: NoQ, george.karpenkov, xazax.hun
Reviewed By: george.karpenkov
Differential Revis
Author: henrywong
Date: Sun Apr 15 03:34:06 2018
New Revision: 330095
URL: http://llvm.org/viewvc/llvm-project?rev=330095&view=rev
Log:
[analyzer] Do not invalidate the `this` pointer.
Summary:
`this` pointer is not an l-value, although we have modeled `CXXThisRegion` for
`this` pointer, we can
Author: henrywong
Date: Sat Mar 31 05:46:46 2018
New Revision: 328919
URL: http://llvm.org/viewvc/llvm-project?rev=328919&view=rev
Log:
[analyzer] Unroll the loop when it has a unsigned counter.
Summary:
The original implementation in the `LoopUnrolling.cpp` didn't consider the case
where the co
Author: henrywong
Date: Fri Mar 30 06:37:50 2018
New Revision: 328860
URL: http://llvm.org/viewvc/llvm-project?rev=328860&view=rev
Log:
[analyzer] Remove the unused method declaration in `ValistChecker.cpp`.
Summary: `getVariableNameFromRegion()` seems useless.
Reviewers: xazax.hun, george.karpe
Author: henrywong
Date: Tue Mar 20 02:27:02 2018
New Revision: 327962
URL: http://llvm.org/viewvc/llvm-project?rev=327962&view=rev
Log:
[analyzer] Fix the crash in IteratorChecker.cpp when 'SymbolConjured' has a
null Stmt.
When the loop has a null terminator statement and sets 'widen-loops=true'
Author: henrywong
Date: Tue Mar 6 05:38:42 2018
New Revision: 326782
URL: http://llvm.org/viewvc/llvm-project?rev=326782&view=rev
Log:
[analyzer] CStringChecker.cpp: Remove the duplicated check about null
dereference on dest-buffer or src-buffer.
Summary: `CheckBufferAccess()` calls `CheckNonNu
Author: henrywong
Date: Tue Mar 6 04:29:09 2018
New Revision: 326776
URL: http://llvm.org/viewvc/llvm-project?rev=326776&view=rev
Log:
[Analyzer] More accurate modeling about the increment operator of the operand
with type bool.
Summary:
There is a problem with analyzer that a wrong value is gi
Author: henrywong
Date: Mon Mar 5 07:41:15 2018
New Revision: 326709
URL: http://llvm.org/viewvc/llvm-project?rev=326709&view=rev
Log:
[analyzer] Improves the logic of GenericTaintChecker identifying stdin.
Summary:
GenericTaintChecker can't recognize stdin in some cases. The reason is that `if
Author: henrywong
Date: Tue Feb 13 23:32:27 2018
New Revision: 325103
URL: http://llvm.org/viewvc/llvm-project?rev=325103&view=rev
Log:
Test commit access
Modified:
cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
Modified: cfe/trunk/include/clang/StaticAnalyzer/Core/Pa
16 matches
Mail list logo
