summaryrefslogtreecommitdiffstats
path: root/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Add CheckerManager::getChecker, make sure that a registry function...Kristof Umann2019-01-261-2/+1
* [analyzer] Supply all checkers with a shouldRegister functionKristof Umann2019-01-261-0/+8
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer][NFC] Move CheckerRegistry from the Core directory to FrontendKristof Umann2018-12-151-1/+1
* [analyzer] Fix the "Zombie Symbols" bug.Artem Dergachev2018-11-301-5/+0
* [analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameterGeorge Karpenkov2018-09-281-3/+1
* [analyzer] Partial revert of https://reviews.llvm.org/D49050George Karpenkov2018-07-111-8/+7
* [analyzer] Pass through all arguments from the registerChecker() to the check...George Karpenkov2018-07-111-7/+8
* [analyzer] Do not run visitors until the fixpoint, run only once.George Karpenkov2018-06-261-1/+1
* Remove \brief commands from doxygen comments.Adrian Prantl2018-05-091-1/+1
* Fix typos in clangAlexander Kornienko2018-04-061-1/+1
* [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the he...George Karpenkov2018-01-171-1/+1
* [analyzer] Fix a crash during C++17 aggregate construction of base objects.Artem Dergachev2017-12-201-2/+14
* [analyzer] ObjCGenerics: Don't warn on cast conversions involving explicit castDevin Coughlin2017-11-131-16/+16
* Migrate PathDiagnosticPiece to std::shared_ptrDavid Blaikie2017-01-051-8/+11
* [analyzer] ObjCGenerics: Warn only on mismatch for invariant type parametersDevin Coughlin2016-12-051-0/+31
* ObjectiveC Generics: Start using ObjCTypeParamType.Manman Ren2016-09-131-1/+1
* [analyzer] Small cleanups when checkers retrieving statements from explodedGabor Horvath2016-08-181-6/+1
* [analyzer] Fix crash in ObjCGenericsCheckerDevin Coughlin2016-05-111-0/+25
* Fix some Clang-tidy readability-redundant-control-flow warnings; other minor ...Eugene Zelenko2016-02-101-4/+3
* [Static Analyzer] General type checker based on dynamic type information.Gabor Horvath2015-09-181-52/+0
* [Static Analyzer] Use generics related information to infer dynamic types.Gabor Horvath2015-09-181-13/+31
* [Static Analyzer] Generics Checker: When an ObjC method returns a specialized...Gabor Horvath2015-09-161-76/+136
* [Static Analyzer] Merge the Objective-C Generics Checker into Dynamic Type Pr...Gabor Horvath2015-09-131-18/+634
* [Static Analyzer] Properly clean up the dynamic type information for dead reg...Gabor Horvath2015-09-111-8/+25
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-2/+2
* Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko2015-06-221-1/+1
* Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko2015-06-221-1/+1
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-5/+5
* StaticAnalyzer/Checkers/DynamicTypePropagation.cpp: Fix in comments. 80-col a...NAKAMURA Takumi2013-10-281-2/+2
* [analyzer] Type information from C++ new expressions is perfect.Jordan Rose2013-04-221-1/+17
* [analyzer] Restrict ObjC type inference to methods that have related result t...Anna Zaks2013-02-251-30/+32
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-2/+2
* [analyzer] Add some convenience accessors to CallEvent, and use them.Jordan Rose2012-11-021-2/+1
* [analyzer] Don't attempt to devirtualize calls to base class destructors.Jordan Rose2012-09-061-3/+3
* [analyzer] Correctly devirtualize virtual method calls in constructors.Jordan Rose2012-08-151-10/+60
* [analyzer] Correctly devirtualize virtual method calls in destructors.Jordan Rose2012-08-151-1/+36
* [analyzer] Add getStackFrame() to CheckerContext and ExplodedNode.Anna Zaks2012-08-141-1/+1
* [analyzer] Track if a region can be a subclass in the dynamic type info.Anna Zaks2012-08-101-1/+1
* [analyzer] Rename the function to better reflect what it actually does.Anna Zaks2012-08-091-3/+3
* [analyzer] Address Jordan's review of DynamicTypePropagation.Anna Zaks2012-08-071-1/+2
* [analyzer] Dynamic type info - propagate through implicit casts.Anna Zaks2012-08-061-2/+64
* [analyzer] Add a checker to manage dynamic type propagation.Anna Zaks2012-08-061-0/+116