- 6bde7a0 [analyzer] Generate and use stable identifiers for LocationContext by George Karpenkov · 7 years ago
- 5857c32 Remove PseudoConstantAnalysis by Shuai Wang · 7 years ago
- f2ceec4 Port getLocStart -> getBeginLoc by Stephen Kelly · 7 years ago
- 6907ce2 Remove trailing space by Fangrui Song · 7 years ago
- ff267df [CFG] [analyzer] Add construction contexts that explain pre-C++17 copy elision. by Artem Dergachev · 7 years ago
- dd18b11 [analyzer] [NFC] A convenient getter for getting a current stack frame by George Karpenkov · 7 years ago
- 1c1057a [Analysis] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC). by Eugene Zelenko · 8 years ago
- debca45 [analyzer] Add scope information to CFG by Maxim Ostapenko · 8 years ago
- 41ffb30 [CFG] Add extra context to C++ constructor statement elements. by Artem Dergachev · 8 years ago
- be07303 [analyzer] Self-debug: Dump environment frame-by-frame. by Artem Dergachev · 8 years ago
- 050b53b [analyzer] Removing unused stored field. by George Karpenkov · 8 years ago
- ed017b6 [Analyzer] Use value storage for BodyFarm by George Karpenkov · 8 years ago
- 134d847 [Analyzer] Give more descriptive name to BdyFrm field. by George Karpenkov · 8 years ago
- 506ecbb [Analyzer] Store BodyFarm in std::unique_ptr by George Karpenkov · 8 years ago
- 0501f97 [Analyzer] Fix for the memory leak: fix typo in if-statement. by George Karpenkov · 8 years ago
- 3d64d6e [Analyzer] Do not use static storage to for implementations created in BodyFarm.cpp by George Karpenkov · 8 years ago
- 50657f6 [CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.h by George Karpenkov · 8 years ago
- 999a25f [CFG] Add LoopExit information to CFG by Peter Szecsi · 8 years ago
- 351c218 CFG: Add CFGElement for automatic variables that leave the scope by Matthias Gehre · 8 years ago
- da8f9b5 [coroutines] Fix fallthrough diagnostics for coroutines by Eric Fiselier · 8 years ago
- 5cb35e1 [Analysis] Use unique_ptr in AnalyaisDeclContextManager's ContextMap. by Justin Lebar · 9 years ago
- 7646ebe [analyzer] Use BodyFarm-synthesized body even when actual body available. by Devin Coughlin · 10 years ago
- c289b74 [analyzer] Find ObjC 'self' decl even when block captures local named 'self'. by Devin Coughlin · 10 years ago
- 9165df1 [analyzer] Invalidate destination of std::copy() and std::copy_backward(). by Devin Coughlin · 10 years ago
- 1d40583 [analyzer] Handle calling ObjC super method from inside C++ lambda. by Devin Coughlin · 10 years ago
- 637d1e6 Roll-back r250822. by Angel Garcia Gomez · 10 years ago
- b5250d3 Apply modernize-use-default to clang. by Angel Garcia Gomez · 10 years ago
- 642f173 Switch users of the 'for (StmtRange range = stmt->children(); range; ++range)‘ pattern to range for loops. by Benjamin Kramer · 10 years ago
- b4ef668 Update APIs that return a pair of iterators to return an iterator_range instead. by Benjamin Kramer · 11 years ago
- 82e95a3 Update for LLVM API change to make Small(Ptr)Set::insert return pair<iterator, bool> as per the C++ standard's associative container concept. by David Blaikie · 11 years ago
- e90195c unique_ptrify the result of CFG::buildCFG/CFGBuilder::buildCFG by David Blaikie · 11 years ago
- eeccb30 Add support for the static analyzer to synthesize function implementations from external model files. by Ted Kremenek · 11 years ago
- 2554294 [C++11] Use 'nullptr'. Analysis edition. by Craig Topper · 11 years ago
- e729d9b Fix typo from r206232 by Richard Trieu · 11 years ago
- e9fa266 Fix a bad interaction between -Wtautological-overlap-compare and delayed by Richard Trieu · 11 years ago
- fb74458 remove a bunch of unused private methods by Nuno Lopes · 12 years ago
- 9371dd2 [C++11] Replacing BlockDecl iterators capture_begin() and capture_end() with iterator_range captures(). Updating all of the usages of the iterators with range-based for loops. by Aaron Ballman · 12 years ago
- 0ad7830 [C++11] Replacing CXXRecordDecl iterators init_begin() and init_end() with iterator_range inits(). Updating all of the usages of the iterators with range-based for loops. by Aaron Ballman · 12 years ago
- 588c937 Use llvm::DeleteContainerSeconds when possible by Reid Kleckner · 12 years ago
- c917607 [analyzer] Add a CFG node for the allocator call in a C++ 'new' expression. by Jordan Rose · 12 years ago
- 1a866cd [analyzer] Model getters of known-@synthesized Objective-C properties. by Jordan Rose · 12 years ago
- 5553d0d Sort all the #include lines with LLVM's utils/sort_includes.py which by Chandler Carruth · 12 years ago
- ef6b007 Only mark dump() function definitions 'used' in debug builds by Alp Toker · 12 years ago
- e9c5722 [analyzer] Include analysis stack in crash traces. by Jordan Rose · 12 years ago
- cf10ea8 [analyzer; new edges] Simplify edges in a C++11 for-range loop. by Jordan Rose · 12 years ago
- 433b0f5 Revert "[analyzer; alternate edges] improve support for edges with PseudoObjectExprs." by Jordan Rose · 12 years ago
- 35de145 [analyzer; alternate edges] improve support for edges with PseudoObjectExprs. by Ted Kremenek · 12 years ago
- 6fdef11 [analyzer] Add debug helper LocationContext::dumpStack(). by Jordan Rose · 13 years ago
- 233c1b0 Add configuration plumbing to enable static initializer branching in the CFG for the analyzer. by Ted Kremenek · 13 years ago
- cc4aaef clang/Analysis: Fix r174245, a valgrind error in AnalysisDeclContext::getBody(bool &IsAutosynthesized), to initialize IsAutosynthesized explicitly. by NAKAMURA Takumi · 13 years ago
- 00c69a5 [analyzer] Always inline functions with bodies generated by BodyFarm. by Anna Zaks · 13 years ago
- 3e871d8 Use the BlockDecl captures list to infer the direct captures for a BlockDataRegion. Fixes <rdar://problem/12415065>. by Ted Kremenek · 13 years ago
- 3a02247 Sort all of Clang's files under 'lib', and fix up the broken headers uncovered. by Chandler Carruth · 13 years ago
- 44dc91b [analyzer] add LocationContext::inTopFrame() helper. by Anna Zaks · 13 years ago
- 3d0ec38 Add clarifying comment. by Ted Kremenek · 13 years ago
- 14f779c Implement faux-body-synthesis of well-known functions in the static analyzer when by Ted Kremenek · 13 years ago
- 6d671cc [analyzer] Always include destructors in the analysis CFG. by Jordan Rose · 13 years ago
- 25bc20f [analyzer] Don't crash on implicit statements inside initializers. by Jordan Rose · 13 years ago
- 4ab984e Drop the ASTContext.h include from DeclFriend.h and DeclTemplate.h. by Benjamin Kramer · 13 years ago
- c3da376 static analyzer: add inlining support for directly called blocks. by Ted Kremenek · 13 years ago
- 4f8198e [analyzer] Remove references to idx::TranslationUnit. Index is dead, cross-TU inlining never panned out. by Jordy Rose · 13 years ago
- bbafb8a Unify naming of LangOptions variable/get function across the Clang stack (Lex to AST). by David Blaikie · 14 years ago
- 616f802 Replace a map of boolean values with a set. by Benjamin Kramer · 14 years ago
- 113bee0 Remove BlockDeclRefExpr and introduce a bit on DeclRefExpr to by John McCall · 14 years ago
- 981a961 Move llvm/ADT/SaveAndRestore.h -> llvm/Support/SaveAndRestore.h. by Argyrios Kyrtzidis · 14 years ago
- bb5abc7 Move "clang/Analysis/Support/SaveAndRestore.h" to "llvm/ADT/SaveAndRestore.h" by Argyrios Kyrtzidis · 14 years ago
- 72be32a Colorize and condense CFG pretty-printing. by Ted Kremenek · 14 years ago
- 299cfb7 Enhance AnalysisDeclContext::getReferencedBlockVars() to understand PseudoObjExprs. It turns out by Ted Kremenek · 14 years ago
- b39fcfa [analyzer] teach AnalysisDeclContext::getSelfDecl() about blocks that capture the 'self' variable of the enclosing ObjC method decl. Fixes <rdar://problem/10380300>. by Ted Kremenek · 14 years ago
- 6f2e652 Actually rename the file AnalysisContext.cpp -> AnalysisDeclContext.cpp by Chandler Carruth · 14 years ago[Renamed from clang/lib/Analysis/AnalysisContext.cpp]
- 81ce1c8 Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses. by Ted Kremenek · 14 years ago
- 142adc4 [analyzer] Remove LocationContext creation methods from AnalysisManager, and change clients to use AnalysisContext instead. by Ted Kremenek · 14 years ago
- dccc2b2 Remove AnalysisContext::getLiveVariables(), and introduce a templatized mechanism to lazily create analyses that are attached to AnalysisContext objects. by Ted Kremenek · 14 years ago
- c2b3c1f [analyzer] Constify a method. by Anna Zaks · 14 years ago
- 5ef32db Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. by Ted Kremenek · 14 years ago
- e9fda1e [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs. by Ted Kremenek · 14 years ago
- 189ecec Simplify passing of CFGBuildOptions around for AnalysisContext. No functionality change. by Ted Kremenek · 14 years ago
- 1734737 [analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expressions (by calling IgnoreParens before adding expressions to blocks). Undo 132769 (LiveVariables' local IgnoreParens), since it's no longer necessary. by Jordy Rose · 14 years ago
- ddc06d0 Rename class 'CFGReachabilityAnalysis' to 'CFGReverseBlockReachabilityAnalysis'. by Ted Kremenek · 15 years ago
- a099c59 When doing reachability analysis for warnings issued under DiagRuntimeBehavior, don't construct a ParentMap or CFGStmtMap. by Ted Kremenek · 15 years ago
- f9d8290 Rework interaction between AnalysisContext and CFG::BuildOptions to keep a BuildOptions object around instead of keeping a copy of the flags. by Ted Kremenek · 15 years ago
- 80861ca Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and into its own analysis file. by Ted Kremenek · 15 years ago
- cc7f1f8 Have IdempotentOperationsChecker pull its CFGStmtMap from AnalysisContext. by Ted Kremenek · 15 years ago
- 8322c3a Give some convenient idiomatic accessors to Stmt::child_range and by John McCall · 15 years ago
- 36ecb1f Add AnalysisContext::dumpCFG. by Anders Carlsson · 15 years ago
- 8219b82 Start migration of static analyzer to using the by Ted Kremenek · 15 years ago
- a1a9ba1 Let StackFrameContext represent if the call expr is evaluated as lvalue. by Zhongxing Xu · 15 years ago
- 99a9040 Added two new command line arguments: by Marcin Swiderski · 15 years ago
- e97b1eb Add CFG::BuildOptions class to pass in CFG builder options under on parameter. Patch by Marcin Świderski! by Ted Kremenek · 15 years ago
- 52ac860 Delete the relaxedLiveness object in the dtor of AnalysisContext. by Ted Kremenek · 15 years ago
- e5aa30c Add alternate version of LiveVariables analysis that does not kill liveness at assignments. This 'relaxed' liveness is useful in path sensitive analysis for situations where the resulting extended liveness allows us to find some bugs. by Tom Care · 15 years ago
- e332c3b Several small changes to PseudoConstantAnalysis and the way IdempotentOperationChecker uses it. by Tom Care · 15 years ago
- b9933f3 Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker. by Tom Care · 15 years ago
- 4a2b237 Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis) that doesn't prune CFG edges. by Ted Kremenek · 15 years ago
- dc03bd0 Add 'AnalysisContext::getUnoptimizedCFG()' to allow clients to get access to the original by Ted Kremenek · 15 years ago
- adf644d Make a bunch of new data structures for the new analysis by Zhongxing Xu · 15 years ago
- 84f65e0 Reapply r108617. by Zhongxing Xu · 15 years ago
- e2e031e Revert r108617, it broke the build. by Benjamin Kramer · 15 years ago
- 4ca4a99 Prepare the analyzer for the callee in another translation unit: by Zhongxing Xu · 15 years ago
- 0b40532 Only perform CFG-based warnings on 'static inline' functions that by Ted Kremenek · 16 years ago