summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
Commit message (Expand)AuthorAgeFilesLines
* [StaticAnalyzer] Handle LoopExit CFGElement in the analyzerPeter Szecsi2017-08-211-0/+2
* Spelling mistakes in comments. NFCI. (PR27635)Simon Pilgrim2017-03-301-1/+1
* [analyzer] When creating a temporary object, properly copy the value into it.Artem Dergachev2017-03-281-7/+7
* [analyzer] Add LocationContext as a parameter to checkRegionChangesAnna Zaks2017-01-131-1/+4
* [analyzer] Add a new SVal to support pointer-to-member operations.Devin Coughlin2016-12-151-0/+16
* [analyzer] Remove unused check::RegionChanges::wantsRegionChangeUpdate callbackAnna Zaks2016-11-161-4/+0
* Fix style issue. Spaces in argument list.Daniel Marjamaki2016-10-101-1/+1
* [analyzer] Don't merge different return nodes in ExplodedGraphDaniel Marjamaki2016-10-071-1/+2
* [analyzer] Add rudimentary handling of AtomicExpr.Devin Coughlin2016-07-081-0/+4
* [analyzer] Add checker callback for beginning of function.Devin Coughlin2016-02-191-3/+10
* [analyzer] Better detect when C++ object was constructed into existing region.Devin Coughlin2015-12-171-0/+22
* [Static Analyzer] Lambda support.Gabor Horvath2015-09-111-0/+4
* Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko2015-06-221-2/+2
* Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko2015-06-221-2/+2
* Use 'override/final' instead of 'virtual' for overridden methodsAlexander Kornienko2015-04-111-1/+1
* Header guard canonicalization, clang part.Benjamin Kramer2014-08-131-2/+2
* Re-applying r214962.Manuel Klimek2014-08-071-1/+14
* Revert "Fix modelling of non-lifetime-extended temporary destructors in the a...Rui Ueyama2014-08-061-14/+1
* Fix modelling of non-lifetime-extended temporary destructors in the analyzer.Manuel Klimek2014-08-061-1/+14
* [C++11] Use 'nullptr'Craig Topper2014-05-061-6/+6
* [C++11] Add 'override' keyword to virtual methods that override their base cl...Craig Topper2014-03-151-27/+28
* [analyzer] Inline C++ operator new when c++-inline-allocators is turned on.Jordan Rose2014-02-111-0/+4
* [analyzer] BlockCall shouldn't really be an AnyFunctionCall.Jordan Rose2014-01-151-1/+0
* [analyzer] Add a CFG node for the allocator call in a C++ 'new' expression.Jordan Rose2014-01-131-1/+3
* [analyzer] This patch removes passing around of const-invalidation vs regular...Anton Yartsev2013-09-241-2/+2
* Add an implicit dtor CFG node just before C++ 'delete' expressions.Jordan Rose2013-09-031-0/+2
* Add static analyzer support for conditionally executing static initializers.Ted Kremenek2013-03-291-0/+9
* [analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks2013-03-281-2/+4
* [analyzer] Change inlining policy to inline small functions when reanalyzing ...Anna Zaks2013-03-261-6/+6
* [analyzer] Model trivial copy/move assignment operators with a bind as well.Jordan Rose2013-03-161-2/+3
* [analyzer] Eliminate InterExplodedGraphMap class and NodeBackMap typedef.Jordan Rose2013-03-161-3/+4
* [analyzer] Place all inlining policy checks into one palceAnna Zaks2013-02-221-1/+4
* [analyzer] Make sure a materialized temporary matches its bindings.Jordan Rose2013-02-221-0/+11
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-3/+4
* Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose2013-02-151-0/+5
* Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose2013-02-021-5/+0
* Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose2013-02-011-0/+5
* Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose2013-01-311-5/+0
* [analyzer] Model trivial copy/move ctors with an aggregate bind.Jordan Rose2013-01-301-0/+5
* [analyzer] Add ProgramStatePartialTrait<const void *>.Jordan Rose2013-01-141-1/+1
* [analyzer] Rename callback EndPath -> EndFunctionAnna Zaks2013-01-031-2/+2
* [analyzer] Address Jordan's nitpicks as per code review of r170625.Anna Zaks2012-12-211-1/+3
* [analyzer] Add the pointer escaped callback.Anna Zaks2012-12-201-1/+11
* [analyzer] Optimization heuristic: do not reanalyze every ObjC method asAnna Zaks2012-12-071-1/+15
* [analyzer] Remove unused fields from ExprEngine.Jordan Rose2012-12-061-9/+0
* Sort #include lines for all files under include/...Chandler Carruth2012-12-041-4/+4
* [analyzer] Mark symbol values as dead in the environment.Jordan Rose2012-11-151-18/+25
* [analyzer] Run remove dead on end of path.Anna Zaks2012-11-031-1/+10
* [analyzer] Refactor: Remove Pred from NodeBuilderContext.Anna Zaks2012-11-031-2/+4
* [analyzer] Convert some of the harder cases over to ProgramStateTrait macros.Jordan Rose2012-11-021-0/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-25 17:09:24 +0000