summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
Commit message (Expand)AuthorAgeFilesLines
* hello, clangCsaba Dabis2019-03-151-1/+1
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* Remove trailing spaceFangrui Song2018-07-301-10/+10
* [analyzer] [NFC] A convenient getter for getting a current stack frameGeorge Karpenkov2018-06-271-1/+1
* Remove \brief commands from doxygen comments.Adrian Prantl2018-05-091-15/+15
* Fix typos in clangAlexander Kornienko2018-04-061-1/+1
* [StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko2018-03-021-56/+79
* [analyzer] Expose exploration strategy through analyzer options.George Karpenkov2018-02-021-3/+4
* [CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.hGeorge Karpenkov2017-09-061-1/+1
* [analyzer] Don't merge different return nodes in ExplodedGraphDaniel Marjamaki2016-10-071-2/+3
* [analyzer] Add checker callback for beginning of function.Devin Coughlin2016-02-191-0/+3
* Roll-back r250822.Angel Garcia Gomez2015-10-201-1/+1
* Apply modernize-use-default to clang.Angel Garcia Gomez2015-10-201-1/+1
* 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
* Removing LLVM_DELETED_FUNCTION, as MSVC 2012 was the last reason for requirin...Aaron Ballman2015-02-151-2/+2
* Header guard canonicalization, clang part.Benjamin Kramer2014-08-131-2/+2
* Simplify ownership of ExplodedGraph in the CoreEngine by removing unique_ptr ...David Blaikie2014-08-081-12/+5
* Re-applying r214962.Manuel Klimek2014-08-071-0/+2
* Revert "Fix modelling of non-lifetime-extended temporary destructors in the a...Rui Ueyama2014-08-061-2/+0
* Fix modelling of non-lifetime-extended temporary destructors in the analyzer.Manuel Klimek2014-08-061-0/+2
* [C++11] Use 'nullptr'Craig Topper2014-05-061-6/+8
* [C++11] Add 'override' keyword to virtual methods that override their base cl...Craig Topper2014-03-151-2/+2
* [C++11] Replace OwningPtr include with <memory>.Ahmed Charles2014-03-091-1/+1
* Replace OwningPtr with std::unique_ptr.Ahmed Charles2014-03-071-2/+2
* Change OwningPtr::take() to OwningPtr::release().Ahmed Charles2014-03-071-1/+1
* Add static analyzer support for conditionally executing static initializers.Ted Kremenek2013-03-291-0/+4
* Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko2013-01-121-3/+3
* Sort #include lines for all files under include/...Chandler Carruth2012-12-041-1/+1
* [analyzer] Refactor: Remove Pred from NodeBuilderContext.Anna Zaks2012-11-031-5/+3
* Use LLVM_DELETED_FUNCTION in place of 'DO NOT IMPLEMENT' comments.Dmitri Gribenko2012-09-151-2/+2
* [analyzer] Refactor the logic that determines if a functions should beAnna Zaks2012-08-301-6/+1
* Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek2012-08-221-1/+1
* [analyzer] Replace boolean IsSink parameters with 'generateSink' methods.Jordan Rose2012-08-201-16/+33
* [analyzer] Add a test that we are, in fact, doing a DFS on the ExplodedGraph.Jordan Rose2012-06-291-9/+4
* [analyzer] Run remove dead bindings right before leaving a function.Anna Zaks2012-04-201-1/+1
* [analyzer] ConstifyAnna Zaks2012-04-201-2/+2
* [analyzer] PCH deserialization optimization.Anna Zaks2012-04-121-2/+2
* [analyzer] Record the basic blocks covered by the analyzes run.Anna Zaks2012-04-031-2/+9
* [analyser] Stats checker: do not mark a node as exhausted if we willAnna Zaks2012-03-281-1/+3
* [analyzer] Add an option to re-analyze a dead-end path without inlining.Anna Zaks2012-03-271-3/+8
* [analyzer] Add support for NoRedundancy inlining mode.Anna Zaks2012-03-091-9/+7
* Basic: import OwningPtr<> into clang namespaceDylan Noblesmith2012-02-051-1/+1
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-14/+14
* [analyzer] Remove CallEnterNodeBuilder and simplify ExprEngine::processCallEn...Ted Kremenek2012-01-071-48/+1
* [analyzer] Remove CallExitNodeBuilder, and have ExprEngine::processCallExit()...Ted Kremenek2012-01-071-16/+0
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-0/+9
* Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie2011-12-201-0/+3
* [analyzer] Fix PR11282 - an assert in markAsSinkAnna Zaks2011-11-011-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-25 02:12:20 +0000