- 0b3ade8 [analyzer] Run remove dead bindings right before leaving a function. by Anna Zaks · 12 years ago
- eb382ec Implements boxed expressions for Objective-C. <rdar://problem/10194391> by Patrick Beard · 12 years ago
- 01561d1 Change ExprEngine::shouldInlineDecl() to be defensive in checking if the CFG of the callee is valid. Fixes <rdar://problem/11257631>. by Ted Kremenek · 12 years ago
- 9a70cdd [analyzer] Fix a false alarm in SelfInitChecker (radar://11235991). by Anna Zaks · 12 years ago
- 534986f Add an AttributedStmt type to represent a statement with C++11 attributes by Richard Smith · 12 years ago
- 87e154c Remove the unused, unmaintained, incomplete 'Index' library. by Douglas Gregor · 12 years ago
- 6a86082 [analyzer] PCH deserialization optimization. by Anna Zaks · 12 years ago
- 7ea1c56 [analyzer] dynamic_cast Simplify null value generation. by Anna Zaks · 12 years ago
- 259052d [analyzer] Don't crash even when the system functions are redefined. by Anna Zaks · 12 years ago
- a2c8d2e [analyzer] dynamic_cast: Better model cast from a reference. by Anna Zaks · 12 years ago
- e19f86e [analyzer] Add support for C++ dynamic_cast. by Anna Zaks · 12 years ago
- bd61313 Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode by Ted Kremenek · 12 years ago
- f439e00 [analyzer] Check that the arguments to NSOrderedSet creation methods are valid ObjC objects. by Jordy Rose · 12 years ago
- 6fd4505 Require that all static analyzer issues have a category. As part of this change, by Ted Kremenek · 12 years ago
- b98b998 Handle symbolicating a reference in an initializer expression that we don't understand. by Ted Kremenek · 12 years ago
- 04a18c9 Teach ObjCContainersChecker that the array passed to CFArrayGetValueAtIndex might not be a symbolic value. by Ted Kremenek · 12 years ago
- 6b77ce8 [analyzer] Move stats calculation out of AnalysisConsumer destructor. by Anna Zaks · 12 years ago
- 907344e [analyzer] Change warding in a path diagnostic: by Anna Zaks · 12 years ago
- 4f4705f [analyzer] Remove redundant if statement (pointed out by Ted). by Anna Zaks · 12 years ago
- bb811ca Look through chains of 'x = y = z' when employing silencing heuristics in the DeadStoresChecker. by Ted Kremenek · 12 years ago
- 0718952 Include the "issue context" (e.g. function or method) where a static analyzer issue occurred in the plist output. by Ted Kremenek · 12 years ago
- 88fc181 Change BugReporter's usage of IsCachedDiagnostic to only impact pruning diagnostics emitted to the by Ted Kremenek · 12 years ago
- e62f048 [analyzer] Record the basic blocks covered by the analyzes run. by Anna Zaks · 12 years ago
- 31b5762 Fix another false positive in RegionStore involving doing loads from symbolic offsets. We still don't by Ted Kremenek · 12 years ago
- d9b7955 Fix potential null dereference in the static analyzer when inlining a call that has already been inlined. Unfortunately I have no test case. by Ted Kremenek · 12 years ago
- 4a5f724 Analyzer: Store BugReports directly in a ilist instead of adding another layer of inderection with std::list by Benjamin Kramer · 12 years ago
- 62a5c34 [analyzer]Malloc,RetainRelease: Allow pointer to escape via NSMapInsert. by Anna Zaks · 12 years ago
- 3bbd8cd [analyzer] Do not inline functions which previously reached max block count. by Anna Zaks · 12 years ago
- b47dbcb [analyzer] Enable retry exhausted without inlining by default. by Anna Zaks · 12 years ago
- 253955c [analyser] Stats checker: do not mark a node as exhausted if we will by Anna Zaks · 12 years ago
- 64ee9d0 [analyzer] Refactor: Use Decl when determining if the Block belongs to by Anna Zaks · 12 years ago
- 6488dc3 Fix suspicious comparison reported by PVS-Studio! by Ted Kremenek · 12 years ago
- 5903a37 [analyzer] Add an option to re-analyze a dead-end path without inlining. by Anna Zaks · 12 years ago
- 65552ca [analyzer] Stats checker: minor interprocedural tweaks. by Anna Zaks · 12 years ago
- 1f5171e [analyzer] Stats: Only count the number of times we run path sensitive analyzes. by Anna Zaks · 12 years ago
- de5b4fb Change RetainCountChecker to eagerly "escape" retained objects when they are by Ted Kremenek · 12 years ago
- 4cd7edf [analyzer] Malloc: Allow a pointer to escape through OSAtomicEnqueue. by Anna Zaks · 12 years ago
- b000fb5 [analyzer] Tighten up the realloc() failure path note generation...make sure we get the right realloc()! by Jordy Rose · 12 years ago
- 3bc75ca [analyzer] Restart path diagnostic generation if any of the visitors change the report configuration while walking the path. by Jordy Rose · 12 years ago
- 0115349 [analyzer] Add a clone() method to BugReporterVisitor, so that we'll be able to reset diagnostic generation. by Jordy Rose · 12 years ago
- 514f2c9 Avoid applying retain/release effects twice in RetainCountChecker when a function call was inlined (i.e., we do not need to apply summaries in such cases). by Ted Kremenek · 12 years ago
- e8018f2 corrected check::EndOfTranslationUnit checker name and added 'const' to declaration by Anton Yartsev · 12 years ago
- 5aac0b6 Fix static analyzer crash on code taking the address of a field. Fixes PR 11146. by Ted Kremenek · 12 years ago
- 638e2d3 [analyzer] Add the stat for the number of successfully explored paths. by Anna Zaks · 12 years ago
- 749bbe6 [analyzer] Add stats useful for coverage investigations. by Anna Zaks · 12 years ago
- 64394e2 [analyzer] Add inlining awareness to the block coverage computation by Anna Zaks · 12 years ago
- 06911d4 "Teach" RetainCountChecker about dispatch_set_context, which can indirectly free its argument later. Fixes <rdar://problem/11059275>. by Ted Kremenek · 12 years ago
- f5aa3f5 [analyzer] Malloc: drop symbols captured by blocks. by Anna Zaks · 12 years ago
- 850f1b1 Remove unused variable, fix indentation. by Benjamin Kramer · 12 years ago
- 3d7c44e [analyzer] Malloc: Utter the name of the leaked variable. by Anna Zaks · 12 years ago
- 27b867e [analyser] Factor out FindUniqueBinding from RetainCount checker. by Anna Zaks · 12 years ago
- 393f98b [analyzer] Mark a failed-realloc's result as an interesting symbol between the realloc call and the null check, so we get nicer path notes. Fixes a regression introduced by the diagnostic pruning added in r152361. by Jordy Rose · 12 years ago
- ef94588 [analyzer] Use a FoldingSet to cache simple RetainSummary instances, rather than explicitly keeping DoNothing and StopTracking summaries and nothing else. by Jordy Rose · 12 years ago
- f3aae58 [analyzer] Unify retain-count summary generation for class and instance methods. No functionality change. by Jordy Rose · 12 years ago
- e921b1a [analyzer] Remove duplicate work on deriving method behavior. No functionality change. by Jordy Rose · 12 years ago
- 8fe4525 StaticAnalyzer: Fix abuse of StringRef in r152962. by NAKAMURA Takumi · 12 years ago
- 74b7b2b [analyzer] Don't claim an object was returned with +1 retain count before counting autoreleases. Fixes PR10376. by Jordy Rose · 12 years ago
- fbd5874 [analyzer] Shorten the stack hint diagnostic. by Anna Zaks · 12 years ago
- 56a938f [analyzer] Create symbol-aware stack hints (building upon r152837). by Anna Zaks · 12 years ago
- 076add6 [analyzer] +Comments by Anna Zaks · 12 years ago
- 131579f [analyzer] Add a statistic for the number of times we reach the max by Anna Zaks · 12 years ago
- ce612f5 Fix analyzer crash on analyzing 'catch' with no condition variable. by Ted Kremenek · 12 years ago
- 8ec588e [analyzer] If a metadata symbol is interesting, its region is interesting as well. by Jordy Rose · 12 years ago
- d7b8314 [analyzer] Remove AggExprVisitor, a dead class that assisted in visiting C++ expressions with a "base object", because the CFG is now linearized. by Jordy Rose · 12 years ago
- 368a0d5 [analyzer] Allow checkers to supply call stack diagnostic hints for the by Anna Zaks · 12 years ago
- 59e7f4e '#if 0' out a variable that's only used in other preprocessor-disabled code. by Matt Beaumont-Gay · 12 years ago
- 9373937 [analyzer] Diagnostics: Supply Caller information even if the bug occurs by Anna Zaks · 12 years ago
- e711d7e [Analyser] Remove unnecessary recursive visits for ExprWithCleanups and by Erik Verbruggen · 12 years ago
- e5049d2 [Analyser] Removes more recursive visitations in ExprEngine that are no by Erik Verbruggen · 12 years ago
- 6cc0969 [analyser] Refactor shouldInline logic into a helper. by Anna Zaks · 12 years ago
- fc544e3 [analyzer] Call enter/exit diagnostic should refer to caller/callee, by Anna Zaks · 12 years ago
- b990d03 [analyzer] Change the order in which we analyze the functions under by Anna Zaks · 12 years ago
- 7fe8dce [analyzer] Use BFS over call graph when analysing functions. by Anna Zaks · 12 years ago
- a2e589e [analyzer] Refactor CallGraph to use Recursive AST visitor when by Anna Zaks · 12 years ago
- aa56098 [analyzer] Use recursive AST visitor to drive simple visitation order in by Anna Zaks · 12 years ago
- 9852083 [analyzer] Minor: factor out logic for determining if we should skip a function. by Anna Zaks · 12 years ago
- b6ee44d [analyzer] Move the check for parser errors out of the loop over Decls. by Anna Zaks · 12 years ago
- 29af3c7 Add new analyzer diagnostic mode where plists can have bugs that span multiple files. by Ted Kremenek · 12 years ago
- e881efe [analyzer] Include inlining call stack depth in plist output. by Ted Kremenek · 12 years ago
- 4e4d084 Unify naming of LangOptions variable/get function across the Clang stack (Lex to AST). by David Blaikie · 12 years ago
- 3e67814 [analyzer] Replace a static helper with existing logic. No functionality change. by Jordy Rose · 12 years ago
- f4b88a4 Remove BlockDeclRefExpr and introduce a bit on DeclRefExpr to by John McCall · 12 years ago
- 337e4db [analyzer] fix regression in analyzer of NOT actually aborting on Stmts it doesn't understand. We registered by Ted Kremenek · 12 years ago
- 7acf23f Teach RetainCountChecker about mixing method families with explicit annotations. Fixes <rdar://problem/10824732>. by Ted Kremenek · 13 years ago
- 3fd5f37 [analyzer] Add support for NoRedundancy inlining mode. by Anna Zaks · 13 years ago
- 76aadc3 [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. by Ted Kremenek · 13 years ago
- d95e0b8 [analyzer] Use call graph to determine order in which functions are analyzed. by Anna Zaks · 13 years ago
- 6625335 [analyzer] Rework inlining related command line options. by Anna Zaks · 13 years ago
- 196b8cf Add a basic CallGraph to Analysis. by Anna Zaks · 13 years ago
- 9fcce65 AST representation for user-defined literals, plus just enough of semantic by Richard Smith · 13 years ago
- 1a45a5f Add static analyzer support for new NSArray/NSDictionary/NSNumber literals. by Ted Kremenek · 13 years ago
- 097ebb3 [analyzer] add a diagnostic event when entering a call via inlining, within the callee, and add an edge. by Ted Kremenek · 13 years ago
- 2dd17ab [analyzer] 'Looping back to the head of the loop' diagnostics are prunable. by Ted Kremenek · 13 years ago
- 218fce0 [analyzer] Remove now-unused constant. No functionality change. by Jordy Rose · 13 years ago
- 257c60f [analyzer] Fix unnecessary dyn_cast_or_null. No functionality change. by Jordy Rose · 13 years ago
- e4d653b Teak CallAndMessageChecker to only warn about uninitialized struct fields in call arguments by Ted Kremenek · 13 years ago
- a99f874 Teach SimpleSValBuilder that (in the absence of more information) stack memory doesn't alias symbolic memory. This is a heuristic/hack, but works well in practice. Fixes <rdar://problem/10978247>. by Ted Kremenek · 13 years ago
- d38f795 [analyzer] Time the execution (per each TU) with -analyzer-stats. by Anna Zaks · 13 years ago
- f420fe3 [analyzer] False positive in SelfInit - teach the checker about method by Anna Zaks · 13 years ago
- fb7f76f [analyzer] Malloc should assume that ownership is transfered when by Anna Zaks · 13 years ago