aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
AgeCommit message (Expand)Author
2013-05-03[analyzer] Check the stack frame when looking for a var's initialization.Jordan Rose
2013-05-03[analyzer] Fix trackNullOrUndef when tracking args that have nil receivers.Jordan Rose
2013-04-20[analyzer] Ensure BugReporterTracking works on regions with pointer arithmeticAnna Zaks
2013-04-18[analyzer] Refine 'nil receiver' diagnostics to mention the name of the metho...Ted Kremenek
2013-04-18[analyzer] Tweak getDerefExpr more to track DeclRefExprs to references.Anna Zaks
2013-04-17[analyzer] Improve dereferenced expression tracking for MemberExpr with a dot...Anna Zaks
2013-04-17[analyzer] Gain more precision retrieving the right SVal by specifying the ty...Anna Zaks
2013-04-17[analyzer] Allow TrackConstraintBRVisitor to work when the value it’s track...Anna Zaks
2013-04-15[analyzer] Add more specialized error messages for corner cases as per Jordan...Anna Zaks
2013-04-12[analyzer] Print a diagnostic note even if the region cannot be printed.Anna Zaks
2013-04-12[analyzer]Print field region even when the base region is not printableAnna Zaks
2013-04-09[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose
2013-04-05[analyzer] Remove another redundancy from trackNullOrUndefAnna Zaks
2013-04-05[analyzer] Fix null tracking for the given test case, by using the proper sta...Anna Zaks
2013-04-05[analyzer] Show path diagnostic for C++ initializersAnna Zaks
2013-04-03[analyzer] Allow tracknullOrUndef look through the ternary operator even when...Anna Zaks
2013-04-03[analyzer] make peelOffOuterExpr in BugReporterVisitors recursively peel off ...Anna Zaks
2013-04-03[analyzer] Properly handle the ternary operator in trackNullOrUndefValueAnna Zaks
2013-04-02[analyzer] Allow suppressing diagnostics reported within the 'std' namespaceJordan Rose
2013-03-29[analyzer] Address Jordan’s review of r178309 - do not register an extra vi...Anna Zaks
2013-03-29[analyzer] Look for a StmtPoint node instead of PostStmt in trackNullOrUndefV...Anna Zaks
2013-03-28[analyzer] Apply the suppression rules to the nil receiver only if the value ...Anna Zaks
2013-03-27[analyzer] Ensure that the node NilReceiverBRVisitor is looking for is not re...Anna Zaks
2013-03-26[analyzer] Make sure IDC works for ‘NSContainer value/key is nil’ checks.Anna Zaks
2013-03-18[analyzer] Replace uses of assume() with isNull() in BR visitors.Jordan Rose
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] 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-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-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-06[analyzer] IDC: Add config option; perform the idc check on first “null nod...Anna Zaks
2013-03-02[analyzer] Simple inline defensive checks suppressionAnna Zaks
2013-03-01[analyzer] Suppress paths involving a reference whose rvalue is null.Jordan Rose
2013-02-27[analyzer] Teach FindLastStoreBRVisitor to understand stores of the same value.Jordan Rose
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-25[analyzer] Relax assumption in FindLastStoreBRVisitor that the thing we are l...Ted Kremenek
2013-02-25[analyzer] add the notion of an "interesting" lvalue expression for ExplodedN...Ted Kremenek
2013-02-24[analyzer] tracking stores/constraints now works for ObjC ivars or struct fie...Ted Kremenek
2013-02-24Add "KnownSVal" to represent SVals that cannot be UnknownSVal.Ted Kremenek
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-02-05Change subexpressions to be visited in the CFG from left-to-right.Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-07-24 09:52:01 +0000