 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 년 전 |
|
Benjamin Kramer
|
00bd44d567
Move various diagnostic operator<< overloads out of line and remove includes of Diagnostic.h.
|
13 년 전 |
 Ted Kremenek
|
8bef823818
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
13 년 전 |
|
Ted Kremenek
|
5eca482fe8
[analyzer] Make the entries in 'Environment' context-sensitive by making entries map from
|
13 년 전 |
 Anna Zaks
|
e3d250e488
[analyzer] CStringChecker should not rely on the analyzer generating UndefOrUnknown value when it cannot reason about the expression.
|
13 년 전 |
|
Anna Zaks
|
1d1d515b2b
[analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use it
|
13 년 전 |
|
Anna Zaks
|
b805c8ff13
[analyzer] Refactor checkers to use helper function for getting callee Decl and name.
|
13 년 전 |
|
Anna Zaks
|
39ac1876f6
[analyzer] Add getLocationContext to CheckerContext
|
14 년 전 |
|
Anna Zaks
|
0bd6b110e9
[analyzer] Rename generateNode -> addTransition in CheckerContext
|
14 년 전 |
|
Anna Zaks
|
063e0887ad
[analyzer] Simplify CheckerContext
|
14 년 전 |
|
Benjamin Kramer
|
b8989f27f1
Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer.
|
14 년 전 |
|
Anna Zaks
|
c800f68f8e
[analyzer] Fix a typo.
|
14 년 전 |
|
Anna Zaks
|
5d0ea6d62e
[analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context.
|
14 년 전 |
 Jordy Rose
|
537716ad8d
[analyzer] Change the check::RegionChanges callback to include the regions explicitly requested for invalidation.
|
14 년 전 |
|
Anna Zaks
|
50bbc165b0
Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*).
|
14 년 전 |
|
Anna Zaks
|
e172e8b9e7
Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME.
|
14 년 전 |
|
Ted Kremenek
|
18c66fdc3c
Rename GRState to ProgramState, and cleanup some code formatting along the way.
|
14 년 전 |
|
Ted Kremenek
|
9c378f7054
Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at.
|
14 년 전 |
|
Jordy Rose
|
096aef9597
[analyzer] Nitpicks on Olaf's patch, which I meant to e-mail but then didn't in
|
14 년 전 |
|
Ted Kremenek
|
9697934650
[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separate TypedRegions that implement getValueType() from those that don't.
|
14 년 전 |
 Chris Lattner
|
5f9e272e63
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports
|
14 년 전 |
|
Jordy Rose
|
8912aaedb4
[analyzer] Finish size argument checking for strncat (and strncpy).
|
14 년 전 |
|
Jordy Rose
|
8cc2491239
[analyzer] Replace stream-built error message with constant string. No functionality change.
|
14 년 전 |
|
Jordy Rose
|
5e5f15062b
[analyzer] Re-enable checking for strncpy, along with a new validation of the size argument. strncat is not yet up-to-date, but I'm leaving it enabled for now (there shouldn't be any false positives, at least...)
|
14 년 전 |
|
Jordy Rose
|
9e49d9fbdc
[analyzer] Eliminate "byte string function" from CStringChecker's diagnostics, and make it easier to provide custom messages for overflow checking, in preparation for re-enabling strncpy checking.
|
14 년 전 |
|
Jordy Rose
|
adc42d412d
[analyzer] Clean up modeling of strcmp, including cases where a string literal has an embedded null character, and where both arguments are the same buffer. Also use nested ifs rather than early returns; in this case early returns will lose any assumptions we've made earlier in the function.
|
14 년 전 |
|
Jordy Rose
|
ee2fde1293
[analyzer] Fix trivial errors in previous commit.
|
14 년 전 |
|
Jordy Rose
|
1e022415b9
[analyzer] Cleanup: mainly 80-char violations and preferring SValBuilder::getComparisonType() to just referencing IntTy.
|
14 년 전 |
