summaryrefslogtreecommitdiffstats
path: root/lib/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
* Merging r321933:Hans Wennborg2018-01-162-8/+17
* [analyzer] do not crash with assertion on processing locations of bodyfarmed ...George Karpenkov2018-01-021-1/+0
* [analyzer] Add Javascript to analyzer HTML output to allow keyboard navigation.George Karpenkov2017-12-211-2/+93
* Re-commit r321223, which adds a printing policy to the ASTDumper.Aaron Ballman2017-12-211-328/+330
* [analyzer] Fix zero-initialization of stack VLAs under ObjC ARC.Artem Dergachev2017-12-211-3/+4
* Reverting r321223 and its follow-up commit because of failing bots due to Mis...Aaron Ballman2017-12-201-330/+328
* Add a printing policy to the ASTDumper.Aaron Ballman2017-12-201-328/+330
* [analyzer] De-duplicate path diagnostics for each exploded graph node.Artem Dergachev2017-12-201-0/+12
* [analyzer] trackNullOrUndefValue: always track through parentheses and casts.Artem Dergachev2017-12-201-6/+2
* [analyzer] trackNullOrUndefValue: track last store to non-variables.Artem Dergachev2017-12-201-1/+4
* [analyzer] Fix a crash during C++17 aggregate construction of base objects.Artem Dergachev2017-12-202-2/+32
* [c++20] P0515R3: Parsing support and basic AST construction for operator <=>.Richard Smith2017-12-145-5/+10
* [analyzer] StackAddrEscape: For now, disable the new async escape checks.Artem Dergachev2017-12-121-3/+24
* [analyzer] In getSVal() API, disable auto-detection of void type as char type.Artem Dergachev2017-12-123-9/+15
* [analyzer] do not crash on cases where an array subscript is an rvalueGeorge Karpenkov2017-12-051-11/+24
* [analyzer] Mark heap-based symbolic regions in debug dumps.Artem Dergachev2017-12-051-0/+2
* [analyzer] [NFC] remove duplicated functionGeorge Karpenkov2017-12-041-31/+12
* [analyzer] Don't treat lambda-captures float constexprs as undefinedDevin Coughlin2017-12-041-2/+9
* [analyzer] Fix false negative on post-increment of uninitialized variable.Roman Lebedev2017-11-302-1/+16
* [analyzer] Fix unreachable creating PathDiagnosticLocation with widen-loops=trueDevin Coughlin2017-11-291-0/+9
* [analyzer] pr34766: Fix a crash on explicit std::initializer_list constructor.Artem Dergachev2017-11-271-1/+1
* [analyzer] pr34404: Fix a crash on modeling pointers to indirect members.Artem Dergachev2017-11-271-1/+3
* [analyzer] Teach RetainCountChecker about CoreMedia APIsDevin Coughlin2017-11-251-4/+4
* [analyzer] Diagnose stack leaks via block capturesAlexander Shaposhnikov2017-11-201-99/+192
* Add NDEBUG checks around LLVM_DUMP_METHOD functions for Wunused-function warn...Eric Christopher2017-11-162-1/+4
* [clang] Remove redundant return [NFC]Mandeep Singh Grang2017-11-131-2/+0
* [analyzer] ObjCGenerics: Don't warn on cast conversions involving explicit castDevin Coughlin2017-11-131-16/+16
* [analyzer] [NFC] Minor ExprEngineC refactoringGeorge Karpenkov2017-11-091-15/+22
* [analyzer] do not crash when trying to convert an APSInt to an unexpected typeGeorge Karpenkov2017-11-091-1/+3
* [analyzer] assume bitwise arithmetic axiomsGeorge Karpenkov2017-11-091-6/+54
* [analyzer] Fix a crash on logical operators with vectors.Artem Dergachev2017-11-081-0/+10
* [analyzer] pr34779: CStringChecker: Accept non-standard headers.Artem Dergachev2017-11-071-2/+4
* [analyzer] [NFC] very minor ExprEngineC refactoringGeorge Karpenkov2017-11-031-4/+2
* [analyzer] Use the same filename for the header and the implementation of Bug...George Karpenkov2017-10-301-1/+1
* [analyzer] Left shifting a negative value is undefinedGabor Horvath2017-10-302-0/+6
* [analyzer] Use the signature of the primary template for issue hash calculationGabor Horvath2017-10-301-0/+7
* [analyzer] Make issue hash related tests more conciseGabor Horvath2017-10-302-35/+16
* [analyzer] lock_guard and unique_lock extension for BlockInCriticalSection ch...Gabor Horvath2017-10-301-11/+43
* [analyzer] Handle ObjC messages conservatively in CallDescriptionGabor Horvath2017-10-301-1/+3
* [analyzer] MisusedMovedObjectChecker: More precise warning messagePeter Szecsi2017-10-281-9/+23
* [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, ...Peter Szecsi2017-10-281-12/+15
* [analyzer] LoopUnrolling: check the bitwidth of the used numbers (pr34943)Peter Szecsi2017-10-281-2/+9
* [Analyzer] Do not use static storage to for implementations created in BodyFa...George Karpenkov2017-10-231-27/+19
* [analyzer] Fix handling of labels in getLValueElementAlexander Shaposhnikov2017-10-231-1/+4
* [analyzer] Dump signed integers in SymIntExpr and IntSymExpr correctlyGabor Horvath2017-10-191-3/+9
* [analyzer] pr28449: Fix support for various array initializers.Artem Dergachev2017-10-131-8/+5
* [analyzer] CStringChecker: pr34460: Avoid a crash when a cast is not modeled.Artem Dergachev2017-10-131-23/+14
* [analyzer] RetainCount: Ignore annotations on user-made CFRetain wrappers.Artem Dergachev2017-10-131-0/+5
* [Analyzer] Assume that CFBooleanRef const globals are non-nullGeorge Karpenkov2017-10-132-18/+23
* SVal::getAsSymbol(bool IncludeBaseRegions): Follow clang/StaticAnalyzer/Core/...NAKAMURA Takumi2017-10-121-2/+2