aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers
AgeCommit message (Expand)Author
2011-08-23Move creation of the deallocation mismatch report into a separate function fo...Anna Zaks
2011-08-22[analyzer] MacOSKeychainAPIChecker: Users of KeyChain API often use free() to...Anna Zaks
2011-08-21[analyzer] Replace calls to getNameAsString() with StringRef equivalents.Jordy Rose
2011-08-20Fix compile on platforms that don't implicitly include stdarg.h here.Benjamin Kramer
2011-08-20[analyzer] Move handling of hardcoded noreturn ("panic") methods from CFRefCo...Jordy Rose
2011-08-20Remove dead code.Ted Kremenek
2011-08-19Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) AP...Anna Zaks
2011-08-17Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali...Anna Zaks
2011-08-16[analyzer] Overhaul of checker registration in preparation for basic plugin s...Jordy Rose
2011-08-16MacOSKeychainAPIChecker: Turn it on by default.Anna Zaks
2011-08-16MacOSKeychainAPIChecker: Do not report double allocation if first allocation ...Anna Zaks
2011-08-15MacOSKeychainAPIChecker: The security API/memory leak checker should always g...Anna Zaks
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-08-15MacOSKeychainAPIChecker: Use llvm::SmallString instead of std::string (as per...Anna Zaks
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-08-12[analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.Ted Kremenek
2011-08-12MacOSKeychainAPIChecker: If the allocated data address entered as an enclosin...Anna Zaks
2011-08-12MacOSKeychainAPIChecker: Anna Zaks
2011-08-12[analyzer] Nitpicks on Olaf's patch, which I meant to e-mail but then didn't inJordy Rose
2011-08-12MacOSKeychainAPIChecker: There is no need to use SymbolMetadata to represent ...Anna Zaks
2011-08-12[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek
2011-08-05KeychainAPI checker: Track SymbolMetadata instead of MemRegion in checker sta...Anna Zaks
2011-08-05KeychainAPI checker: Generate an error on double allocation. Pull out getAsPo...Anna Zaks
2011-08-04KeychainAPI checker: Track additional pair of SecKeychain APIs. Also, keep ex...Anna Zaks
2011-08-04KeychainAPI checker: Refactor to make it easier to add more allocator/dealloc...Anna Zaks
2011-08-04KeychainAPI checker: refactor to use early exit.Anna Zaks
2011-08-04KeychainAPI checker: Add basic diagnostics. Track MemoryRegion istead of Symb...Anna Zaks
2011-08-04[analyzer] Remove 'all-experimental' checker group.Ted Kremenek
2011-08-03[analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek
2011-08-03[analyzer] Introduce MallocOverflowSecurityChecker, a simple flow-sensitive c...Ted Kremenek
2011-08-02KeychainAPI checker: only check the paths on which the allocator function ret...Anna Zaks
2011-08-01Add a skeleton for the Keychain Services API Checker. Register it as OSX expe...Anna Zaks
2011-07-31Remove dead code flagged by GCC's -Wunused-but-set-variable.Benjamin Kramer
2011-07-28[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek
2011-07-28[analyzer] fix bug in malloc checker where the tracked symbol would not prope...Ted Kremenek
2011-07-25Rename getInstantiationLineNumber to getExpansionLineNumber in bothChandler Carruth
2011-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner
2011-07-19[analyzer] Very minor cleanup in PthreadLockChecker. No functionality change.Jordy Rose
2011-07-19[analysis] Add checks for double-locking and lock order reversal bugs forJordy Rose
2011-07-16[analyzer] Place checking for Core Foundation "Create" rule into a proper API...Ted Kremenek
2011-07-15Clean up UnixAPIChecker, including switching its array of BugTypes to llvm::O...Jordy Rose
2011-07-15Clean up MacOSXAPIChecker, including switching its array of BugTypes to a sin...Jordy Rose
2011-07-02Update for llvm commit r134291.Eric Christopher
2011-06-21Introduce a new AST node describing reference binding to temporaries.Douglas Gregor
2011-06-20[analyzer] Finish size argument checking for strncat (and strncpy).Jordy Rose
2011-06-20[analyzer] Replace stream-built error message with constant string. No functi...Jordy Rose
2011-06-20[analyzer] Re-enable checking for strncpy, along with a new validation of the...Jordy Rose
2011-06-20[analyzer] Eliminate "byte string function" from CStringChecker's diagnostics...Jordy Rose
2011-06-16[analyzer] Clean up modeling of strcmp, including cases where a string litera...Jordy Rose
2011-06-16[analyzer] Fix trivial errors in previous commit.Jordy Rose