summaryrefslogtreecommitdiffstats
path: root/lib/StaticAnalyzer/Core/CoreEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer][NFC] Collect all -analyzer-config options in a .def fileKristof Umann2018-11-021-6/+6
* Fix MSVC "not all control paths return a value" warning. NFCI.Simon Pilgrim2018-10-221-0/+1
* [analyzer][NFC] Fix inconsistencies in AnalyzerOptionsKristof Umann2018-10-211-2/+0
* [analyzer] Experiment with an iteration order only based on location, and not...George Karpenkov2018-10-111-2/+5
* [analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameterGeorge Karpenkov2018-09-281-3/+3
* [analyzer] Obtain a ReturnStmt from a CFGAutomaticObjDtor.Reka Kovacs2018-08-021-1/+5
* [analyzer] [NFC] A convenient getter for getting a current stack frameGeorge Karpenkov2018-06-271-1/+1
* [analyzer] [NFC] Move worklist implementation to WorkList.cppGeorge Karpenkov2018-03-231-230/+0
* [StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko2018-03-021-83/+82
* [analyzer] Exploration strategy prioritizing unexplored nodes firstGeorge Karpenkov2018-02-261-0/+64
* [Analyzer] Move UnexploredFirstStack into an anonymous namespace.Benjamin Kramer2018-02-181-0/+2
* [analyzer] Exploration strategy prioritizing unexplored coverage firstGeorge Karpenkov2018-02-121-0/+64
* [analyzer] Expose return statement from CallExit program pointGeorge Karpenkov2018-02-021-4/+1
* [analyzer] Expose exploration strategy through analyzer options.George Karpenkov2018-02-021-4/+29
* [analyzer] [NFC] Remove unused method visitItemsInWorkListGeorge Karpenkov2018-01-291-33/+0
* [analyzer] operator new: Add a new ProgramPoint for check::NewAllocator.Artem Dergachev2018-01-181-1/+2
* [StaticAnalyzer] Handle LoopExit CFGElement in the analyzerPeter Szecsi2017-08-211-2/+4
* Silence Warning. NFC.Nirav Dave2016-10-071-1/+1
* [analyzer] Don't merge different return nodes in ExplodedGraphDaniel Marjamaki2016-10-071-5/+17
* [NFC] Header cleanupMehdi Amini2016-07-181-1/+0
* Preallocate ExplodedNode hash tableBen Craig2016-06-101-0/+5
* [analyzer] Add checker callback for beginning of function.Devin Coughlin2016-02-191-6/+18
* Roll-back r250822.Angel Garcia Gomez2015-10-201-2/+2
* Apply modernize-use-default to clang.Angel Garcia Gomez2015-10-201-2/+2
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-4/+4
* Simplify ownership of ExplodedGraph in the CoreEngine by removing unique_ptr ...David Blaikie2014-08-081-25/+25
* Re-applying r214962.Manuel Klimek2014-08-071-0/+17
* Revert "Fix modelling of non-lifetime-extended temporary destructors in the a...Rui Ueyama2014-08-061-17/+0
* Fix modelling of non-lifetime-extended temporary destructors in the analyzer.Manuel Klimek2014-08-061-0/+17
* [analyzer] Don't create new PostStmt nodes if we don't have to.Jordan Rose2014-06-181-1/+1
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-10/+10
* [Modules] Fix potential ODR violations by sinking the DEBUG_TYPEChandler Carruth2014-04-221-2/+2
* [C++11] Add 'override' keyword to virtual methods that override their base cl...Craig Topper2014-03-151-14/+14
* [analyzer] Inline C++ operator new when c++-inline-allocators is turned on.Jordan Rose2014-02-111-0/+5
* Add static analyzer support for conditionally executing static initializers.Ted Kremenek2013-03-291-0/+18
* Remove the CFGElement "Invalid" state.David Blaikie2013-02-231-2/+2
* Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie2013-02-211-12/+12
* Replace CFGElement llvm::cast support to be well-defined.David Blaikie2013-02-211-1/+1
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-3/+3
* [analyzer] Refactor: Remove Pred from NodeBuilderContext.Anna Zaks2012-11-031-2/+2
* [analyzer] Use cast<> instead of getAs<> for a CFGElement known to be a CFGStmt.Jordan Rose2012-09-071-4/+3
* [analyzer] Don't use the address of a temporary CFGElement.Jordan Rose2012-09-071-1/+2
* [analyzer] Refactor the logic that determines if a functions should beAnna Zaks2012-08-301-5/+0
* [analyzer] PostImplicitCall can also occur between CFGElements.Jordan Rose2012-07-261-1/+3
* Fix a typo (the the => the)Sylvestre Ledru2012-07-231-1/+1
* [analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPointsJordan Rose2012-07-101-3/+3
* [analyzer] Add a test that we are, in fact, doing a DFS on the ExplodedGraph.Jordan Rose2012-06-291-1/+1
* [analyzer] Report the cumulative number of steps the analyzer performs.Anna Zaks2012-06-221-0/+4
* [analyzer] Run remove dead bindings right before leaving a function.Anna Zaks2012-04-201-6/+7
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-10 00:59:27 +0000