aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer
AgeCommit message (Expand)Author
2013-03-20[analyzer] Re-apply "Do part of the work to find shortest bug paths up front".Jordan Rose
2013-03-20[analyzer] Break cycles (optionally) when trimming an ExplodedGraph.Jordan Rose
2013-03-19[analyzer] Do not believe lazy binding when symbolic region types do not matchAnna Zaks
2013-03-19Revert "[analyzer] Do part of the work to find shortest bug paths up front."Jordan Rose
2013-03-18[analyzer] Do part of the work to find shortest bug paths up front.Jordan Rose
2013-03-18[analyzer] Replace uses of assume() with isNull() in BR visitors.Jordan Rose
2013-03-18[analyzer] Warn when a ‘nil’ object is added to NSArray or NSMutableArray.Anna Zaks
2013-03-16[analyzer] Model trivial copy/move assignment operators with a bind as well.Jordan Rose
2013-03-16[analyzer] Separate graph trimming from creating the single-path graph.Jordan Rose
2013-03-16[analyzer] Eliminate InterExplodedGraphMap class and NodeBackMap typedef.Jordan Rose
2013-03-16[analyzer] Don't repeat a bug equivalence class if every report is invalid.Jordan Rose
2013-03-15[analyzer] Address a TODO in the StreamChecker; otherwise the output is non-d...Anna Zaks
2013-03-15[analyzer] Use isLiveRegion to determine when SymbolRegionValue is dead.Anna Zaks
2013-03-15[analyzer] BugReporterVisitors: handle the case where a ternary operator is w...Anna Zaks
2013-03-15[analyzer] Address Jordan’s review of r177138 (a micro optimization)Anna Zaks
2013-03-15[analyzer] Make GRBugReporter::generatePathDiagnostic iterative, not recursive.Jordan Rose
2013-03-15[analyzer] Collect stats on the max # of bug reports in an equivalence class.Jordan Rose
2013-03-15[analyzer] Include opcode in dumping a SymSymExpr.Jordan Rose
2013-03-15[analyzer] Look through ExprWhenCleanups when trying to track a NULL.Jordan Rose
2013-03-15[analyzer] Refactor checks in IDC visitor for consistency and speedAnna Zaks
2013-03-15[analyzer] Teach trackNullOrUndef to look through ternary operatorsAnna Zaks
2013-03-14[analyzer] Change the way in which IDC Visitor decides to kick in and make su...Anna Zaks
2013-03-13[analyzer] BugReporter - more precise tracking of C++ referencesAnna Zaks
2013-03-13Remove stray space.Ted Kremenek
2013-03-13[analyzer] Handle Objc Fast enumeration for "loop is executed 0 times".Ted Kremenek
2013-03-13[analyzer] fixed the logic changed by r176949Anton Yartsev
2013-03-13Refactoring:Anton Yartsev
2013-03-11[analyzer] Look for calls along with lvalue nodes in trackNullOrUndefValue.Jordan Rose
2013-03-09[analyzer] Make Suppress IDC checker aware that it might not start from the s...Anna Zaks
2013-03-09[analyzer] Rename AttrNonNullChecker -> NonNullParamCheckerAnna Zaks
2013-03-09[analyzer] Be more consistent about Objective-C methods that free memory.Jordan Rose
2013-03-08[analyzer] Look for lvalue nodes when tracking a null pointer.Jordan Rose
2013-03-08[analyzer] Don't rely on finding the correct return statement for suppression.Jordan Rose
2013-03-07[analyzer] Warn on passing a reference to null pointer as an argument in a callAnna Zaks
2013-03-07[analyzer] Check for returning null references in ReturnUndefChecker.Jordan Rose
2013-03-07[analyzer] Clean up a few doc comments for ProgramState and CallEvent.Jordan Rose
2013-03-06[analyzer] Pass the correct Expr to the bug reporter visitors when dealing wi...Anna Zaks
2013-03-06[analyzer] IDC: Add config option; perform the idc check on first “null nod...Anna Zaks
2013-03-05Silence a number of static analyzer warnings with assertions and such.Jordan Rose
2013-03-04[analyzer] Don't let cf_audited_transfer override CFRetain semantics.Jordan Rose
2013-03-02[analyzer] Simple inline defensive checks suppressionAnna Zaks
2013-03-01[analyzer] Special-case bitfields when finding sub-region bindings.Jordan Rose
2013-03-01[analyzer] Suppress paths involving a reference whose rvalue is null.Jordan Rose
2013-02-28[analyzer] RegionStore: collectSubRegionKeys -> collectSubRegionBindingsJordan Rose
2013-02-27[analyzer] Teach FindLastStoreBRVisitor to understand stores of the same value.Jordan Rose
2013-02-27[analyzer] Turn on C++ constructor inlining by default.Jordan Rose
2013-02-27[analyzer] Add stop-gap patch to prevent assertion failure when analyzing LLV...Ted Kremenek
2013-02-27[analyzer] If a struct has a partial lazy binding, its fields aren't Undef.Jordan Rose
2013-02-26[analyzer] Use 'MemRegion::printPretty()' instead of assuming the region is a...Ted Kremenek
2013-02-26[analyzer] Don't look through casts when creating pointer temporaries.Jordan Rose
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-14 09:18:58 +0000