summaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp
AgeCommit message (Expand)Author
2025-01-02[analyzer] Don't assume third iteration in loops (#119388)Donát Nagy
2024-12-02[analyzer][NFC] Cleanup BranchNodeBuilder (#117898)Donát Nagy
2024-03-12[analyzer][NFC] Turn NodeBuilderContext into a class (#84638)Diego A. Estrada Rivera
2024-03-05[analyzer][NFC] Remove dead code (#83968)Balazs Benics
2023-11-05[clang][NFC] Refactor `CXXConstructExpr::ConstructionKind`Vlad Serebrennikov
2023-01-14[clang] Remove remaining uses of llvm::Optional (NFC)Kazu Hirata
2023-01-14[clang] Use std::optional instead of llvm::Optional (NFC)Kazu Hirata
2023-01-14[clang] Add #include <optional> (NFC)Kazu Hirata
2022-09-03[clang] Qualify auto in range-based for loops (NFC)Kazu Hirata
2022-05-18[clang][analyzer][ctu] Make CTU a two phase analysisGabor Marton
2021-11-24[NFC][clang]Inclusive language: remove remaining uses of sanityZarko Todorovski
2021-06-15[analyzer] Decouple NoteTag from its FactoryValeriy Savchenko
2021-05-17[analyzer] Engine: fix crash with SEH __leave keywordAbbas Sabra
2020-05-26[Analyzer][NFC] Remove the SubEngine interfaceAdam Balogh
2020-03-10[Analyzer][NFC] Change parameter of NoteTag lambdas to PathSensitiveBugReportAdam Balogh
2019-06-27[analyzer] Fix clang-tidy crash on GCCAsmStmtNathan Huckleberry
2019-05-24[analyzer] Add a prunable note for skipping vbase inits in subclasses.Artem Dergachev
2019-05-24[CFG] Add branch to skip vbase inits when they're handled by superclass.Artem Dergachev
2019-05-24[CFG] NFC: Remove implicit conversion from CFGTerminator to Stmt *.Artem Dergachev
2019-01-19Update the file headers across all of the LLVM projects in the monorepoChandler Carruth
2018-11-02[analyzer][NFC] Collect all -analyzer-config options in a .def fileKristof Umann
2018-10-22Fix MSVC "not all control paths return a value" warning. NFCI.Simon Pilgrim
2018-10-21[analyzer][NFC] Fix inconsistencies in AnalyzerOptionsKristof Umann
2018-10-11[analyzer] Experiment with an iteration order only based on location, and not...George Karpenkov
2018-09-28[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameterGeorge Karpenkov
2018-08-02[analyzer] Obtain a ReturnStmt from a CFGAutomaticObjDtor.Reka Kovacs
2018-06-27[analyzer] [NFC] A convenient getter for getting a current stack frameGeorge Karpenkov
2018-03-23[analyzer] [NFC] Move worklist implementation to WorkList.cppGeorge Karpenkov
2018-03-02[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko
2018-02-26[analyzer] Exploration strategy prioritizing unexplored nodes firstGeorge Karpenkov
2018-02-18[Analyzer] Move UnexploredFirstStack into an anonymous namespace.Benjamin Kramer
2018-02-12[analyzer] Exploration strategy prioritizing unexplored coverage firstGeorge Karpenkov
2018-02-02[analyzer] Expose return statement from CallExit program pointGeorge Karpenkov
2018-02-02[analyzer] Expose exploration strategy through analyzer options.George Karpenkov
2018-01-29[analyzer] [NFC] Remove unused method visitItemsInWorkListGeorge Karpenkov
2018-01-18[analyzer] operator new: Add a new ProgramPoint for check::NewAllocator.Artem Dergachev
2017-08-21[StaticAnalyzer] Handle LoopExit CFGElement in the analyzerPeter Szecsi
2016-10-07Silence Warning. NFC.Nirav Dave
2016-10-07[analyzer] Don't merge different return nodes in ExplodedGraphDaniel Marjamaki
2016-07-18[NFC] Header cleanupMehdi Amini
2016-06-10Preallocate ExplodedNode hash tableBen Craig
2016-02-19[analyzer] Add checker callback for beginning of function.Devin Coughlin
2015-10-20Roll-back r250822.Angel Garcia Gomez
2015-10-20Apply modernize-use-default to clang.Angel Garcia Gomez
2015-09-08[analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek
2014-08-08Simplify ownership of ExplodedGraph in the CoreEngine by removing unique_ptr ...David Blaikie
2014-08-07Re-applying r214962.Manuel Klimek
2014-08-06Revert "Fix modelling of non-lifetime-extended temporary destructors in the a...Rui Ueyama
2014-08-06Fix modelling of non-lifetime-extended temporary destructors in the analyzer.Manuel Klimek
2014-06-18[analyzer] Don't create new PostStmt nodes if we don't have to.Jordan Rose
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-31 14:17:40 +0000