aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker
AgeCommit message (Expand)Author
2010-10-25Add check for UnknownVals for mutexes in ObjCAtSyncChecker. Fixes crash repo...Ted Kremenek
2010-10-22Fix '-analyzer-display-progress' for Objective-C methods. Also remove obsole...Ted Kremenek
2010-10-22Move classes into anonymous namespaces.Benjamin Kramer
2010-10-21Tweak the ObjCAtSyncChecker to assume that a mutex is non-nil after checking ...Ted Kremenek
2010-10-21Remove unused variable.Ted Kremenek
2010-10-20Remove obsolete GRAuditor and GRSimpleAPICheck, which have been completely su...Ted Kremenek
2010-10-20Convert GRSimpleAPIChecks in BasicObjCFoundationChecks to be Checkers.Ted Kremenek
2010-10-15Tweak retain/release checker diagnostics to specify a leak occurs because an ...Ted Kremenek
2010-10-14Eliminate usage of ObjCSuperExpr used forFariborz Jahanian
2010-10-14Call PreVisitDeclStmt for C++ aggregate initializers. Patch by Jim Goodnow II.Zhongxing Xu
2010-10-11comment out unused functionChris Lattner
2010-10-10Unbreak the CMake build.Francois Pichet
2010-10-10Add experimental chroot check which checks improper use of chroot(). Patch by Zhongxing Xu
2010-10-06UnreachableCodeChecker cleanup and improvementsTom Care
2010-10-01UnreachableCodeChecker does not need to inherit from CheckerVisitor, only Che...Tom Care
2010-09-30Added two new command line arguments:Marcin Swiderski
2010-09-30Include changes to VisitCXXMemberCallExpr (call visitor functions).Ted Kremenek
2010-09-30Tweak nil receiver checker to not warning about 64-bit return values.Ted Kremenek
2010-09-29AnalyzerStatsChecker improvements:Tom Care
2010-09-29Change -analyzer-max-nodes to allow 0 as a parameter. This allows the analyze...Tom Care
2010-09-23Refactor GRExprEngine::VisitCall() to use EvalArguments(), just like VisitCXX...Ted Kremenek
2010-09-22Fix an inverse boolean and unnecessary new line in warning output from Analyz...Tom Care
2010-09-18Revert r114244 since it breaks a test in Analysis.Tom Care
2010-09-18IdempotentOperationChecker no longer reports errors that are post-dominated b...Tom Care
2010-09-16Refactored BugReporter to refer to EndNode as ErrorNode. We currently make th...Tom Care
2010-09-16Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patchZhongxing Xu
2010-09-15Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals ...Ted Kremenek
2010-09-14Adjust assertion in RegionStoreManager::RetrieveArray() to also take into acc...Ted Kremenek
2010-09-14Don't divide-by-zero in RegionStoreManager::getSizeInElements() when getting ...Ted Kremenek
2010-09-14Rename 'MaxLoop' to 'MaxVisit' in AnalysisManager to more correctly reflect t...Tom Care
2010-09-13Revert "CMake: Update to use standard CMake dependency tracking facilities in...Michael J. Spencer
2010-09-10CMake: Update to use standard CMake dependency tracking facilities insteadMichael J. Spencer
2010-09-10Serialization support for CXXNoexceptExpr.Sebastian Redl
2010-09-10Polish diagnostics for null dereferences via ObjC ivar accesses. Finishes up...Ted Kremenek
2010-09-10Add checker implementation for my previous commit!Ted Kremenek
2010-09-10Implement: <rdar://problem/6351970> rule request: warn if @synchronized mutex...Ted Kremenek
2010-09-10Add ObjCAtSynchronizedStmt to the CFG and add GRExprEngine support (PreVisit ...Ted Kremenek
2010-09-10Added AnalyzerStatsChecker, a path sensitive check that reports visitation st...Tom Care
2010-09-09Clean up obtuse wording of checker diagnostic of using an uninitialized value...Ted Kremenek
2010-09-09Use FindReportInEquivalenceClass to identify all the nodes used for the trimm...Ted Kremenek
2010-09-09Clean up CMake dependenciesDouglas Gregor
2010-09-09Remove unused variable.Benjamin Kramer
2010-09-09do not bind temporaries to non-const referencesGabor Greif
2010-09-09Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().Ted Kremenek
2010-09-09Simplified reachability checking in IdempotentOperationChecker and added a he...Tom Care
2010-09-09Static analyzer fix: <rdar://problem/5880430> Switch on enum should not consi...Ted Kremenek
2010-09-08Fix warnings caused by new CXXUuidofExprClass enumerator.Francois Pichet
2010-09-07Fix null pointer dereference in StreamChecker::Fseek (reported in PR 8081) an...Ted Kremenek
2010-09-07Re-enabled truncation/extension checking in IdempotentOperationChecker and ad...Tom Care
2010-09-03"I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignmentChris Lattner
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-15 05:49:18 +0000