Sylvestre Ledru
|
f3477c13ee
Revert 'Fix a typo 'iff' => 'if''. iff is an abreviation of if and only if. See: http://en.wikipedia.org/wiki/If_and_only_if Commit 164766
|
13 年之前 |
Sylvestre Ledru
|
94ff8e1f57
Fix a typo 'iff' => 'if'
|
13 年之前 |
Ted Kremenek
|
47cbd0f389
Remove ProgramState::getSymVal(). It was being misused by Checkers,
|
13 年之前 |
Jordan Rose
|
5ef6e94b29
[analyzer] Guard against C++ member functions that look like system functions.
|
13 年之前 |
Jordan Rose
|
852aa0d2c5
[analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPoints
|
13 年之前 |
Jordy Rose
|
011534973e
[analyzer] Add a clone() method to BugReporterVisitor, so that we'll be able to reset diagnostic generation.
|
13 年之前 |
Jordy Rose
|
3e67814381
[analyzer] Replace a static helper with existing logic. No functionality change.
|
13 年之前 |
Ted Kremenek
|
76aadc346c
[analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions.
|
13 年之前 |
Anna Zaks
|
721aa37621
[analyzer] Leaks should be uniqued by the allocation point in the
|
13 年之前 |
Anna Zaks
|
d708bacd66
[analyzer] KeyChainAPI: unique the leaks by allocation site.
|
13 年之前 |
Anna Zaks
|
9c1e1bd040
[analyzer] Make KeyChainAPI checker inlining-aware.
|
13 年之前 |
Dylan Noblesmith
|
f7ccbad5d9
Basic: import SmallString<> into clang namespace
|
13 年之前 |
Dylan Noblesmith
|
6f42b62b61
Basic: import OwningPtr<> into clang namespace
|
13 年之前 |
Benjamin Kramer
|
8fe83e1df9
Move a method from IdentifierTable.h out of line and remove the SmallString include.
|
13 年之前 |
Ted Kremenek
|
8bef823818
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
13 年之前 |
Anna Zaks
|
1437425a62
[analyzer] Rename Store::Retrieve() -> getBinding().
|
13 年之前 |
Ted Kremenek
|
5eca482fe8
[analyzer] Make the entries in 'Environment' context-sensitive by making entries map from
|
13 年之前 |
Anna Zaks
|
ee5a21fda5
[analyzer] Make KeychainAPI checker less aggressive. radar://10508828
|
13 年之前 |
Anna Zaks
|
b805c8ff13
[analyzer] Refactor checkers to use helper function for getting callee Decl and name.
|
13 年之前 |
Anna Zaks
|
0e12ebfd3e
[analyzer] Factor getCalleeName to the checker context.
|
13 年之前 |
Anna Zaks
|
0bd6b110e9
[analyzer] Rename generateNode -> addTransition in CheckerContext
|
14 年之前 |
Anna Zaks
|
063e0887ad
[analyzer] Simplify CheckerContext
|
14 年之前 |
Anna Zaks
|
af498a2879
[analyze] Convert EndOfPath callback to use CheckerContext
|
14 年之前 |
Anna Zaks
|
220ac8c175
[analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?):
|
14 年之前 |
Anna Zaks
|
065a4055f7
[analyzer] MacOSKeychainAPIChecker: Simplify getSymbolForRegion by using existing API. Thanks Jordy.
|
14 年之前 |
Anna Zaks
|
8b6eb7ce4f
Fix: Bug 10798 - [analyzer] Crash when analyzing ICU. (A slight improvement on the previous commit.)
|
14 年之前 |
Anna Zaks
|
5c96f862b7
Fix bug 10797: Crash: "cast<Ty>() argument of incompatible type!" assert when analyzing ICU.
|
14 年之前 |
Anna Zaks
|
eacd2b469b
[analyzer] MacOSKeychainAPIChecker: Cleanup AllocationState structure.
|
14 年之前 |
Anna Zaks
|
6b7aad989f
[analyzer] MacOSKeychainAPIChecker: Add the custom BugReport visitor(which highlights the allocation site) to all the relevant reports within the checker.
|
14 年之前 |
Anna Zaks
|
5eb7d82604
[analyzer] Do not use references in std::pair.
|
14 年之前 |