 Artem Dergachev
|
62f2197fb4
[analyzer] CStringChecker: Add support for BSD strlcpy() and strlcat().
|
7 роки тому |
 Henry Wong
|
5715d6709d
[analyzer] CStringChecker.cpp - Code refactoring on bug report.
|
7 роки тому |
 George Karpenkov
|
f3b50dc6b2
[analyzer] Fix assertion crash in CStringChecker
|
7 роки тому |
|
Artem Dergachev
|
a54e295df5
Revert r326782 "[analyzer] CStringChecker.cpp: Remove the duplicated check...".
|
7 роки тому |
|
Henry Wong
|
415ff5a3f9
[analyzer] CStringChecker.cpp: Remove the duplicated check about null dereference on dest-buffer or src-buffer.
|
7 роки тому |
 Devin Coughlin
|
23a20415d5
[analyzer] Provide a check name when MallocChecker enables CStringChecker
|
7 роки тому |
|
George Karpenkov
|
b340ee9768
[analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently
|
7 роки тому |
|
Artem Dergachev
|
8ab0d100c3
[analyzer] pr34779: CStringChecker: Accept non-standard headers.
|
7 роки тому |
|
Artem Dergachev
|
89ba86c158
[analyzer] CStringChecker: pr34460: Avoid a crash when a cast is not modeled.
|
7 роки тому |
 Leslie Zhai
|
6cd9d89a3c
[analyzer] Check NULL pointer dereference issue for memset function
|
8 роки тому |
 Anna Zaks
|
85570ac22c
[analyzer] Add LocationContext as a parameter to checkRegionChanges
|
8 роки тому |
|
Anna Zaks
|
c9ea912185
[analyzer] Remove unused check::RegionChanges::wantsRegionChangeUpdate callback
|
8 роки тому |
|
Artem Dergachev
|
64f71c6f30
[analyzer] Add LocationContext information to SymbolMetadata.
|
9 роки тому |
 Mehdi Amini
|
2e23251d3e
[NFC] Header cleanup
|
9 роки тому |
 Anton Yartsev
|
23d62c03a7
[analyzer] Fix for PR23790 : constrain return value of strcmp() rather than returning a concrete value.
|
9 роки тому |
|
Artem Dergachev
|
6ca703b27f
[analyzer] Let TK_PreserveContents span across the whole base region.
|
9 роки тому |
|
Devin Coughlin
|
8b5ad43a09
[analyzer] Invalidate destination of std::copy() and std::copy_backward().
|
9 роки тому |
|
Artem Dergachev
|
3e7cbba83d
[analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency.
|
9 роки тому |
 Alexander Kornienko
|
a68f403749
Refactor: Simplify boolean conditional return statements in lib/StaticAnalyzer/Checkers
|
9 роки тому |
|
Devin Coughlin
|
dd332dcdc4
[analyzer] When memcpy'ing into a fixed-size array, do not invalidate entire region.
|
10 роки тому |
|
Devin Coughlin
|
440c44a96a
[analyzer] Add generateErrorNode() APIs to CheckerContext.
|
10 роки тому |
 Ted Kremenek
|
99bb39afb4
[analyzer] Apply whitespace cleanups by Honggyu Kim.
|
10 роки тому |
 Gabor Horvath
|
3af3e291f4
Revert r246345 until an assertion is fixed.
|
10 роки тому |
|
Devin Coughlin
|
de3f60f0d6
[analyzer] When memcpy'ing into a fixed-size array, do not invalidate entire region.
|
10 роки тому |
 Aaron Ballman
|
e1c2ad65ca
Clarify pointer ownership semantics by hoisting the std::unique_ptr creation to the caller instead of hiding it in emitReport. NFC.
|
10 роки тому |
 Sylvestre Ledru
|
f28eaebc06
Remove the assertion as it was useless and broken.
|
10 роки тому |
|
Sylvestre Ledru
|
f20f630c77
Fix a bad assert. Found by coverity. CID 1101110
|
10 роки тому |
|
Anna Zaks
|
6118a4aa50
[analyzer] Make CStringChecker correctly calculate return value of mempcpy
|
11 роки тому |
 Craig Topper
|
1843a2095a
[C++11] Use 'nullptr'. StaticAnalyzer edition.
|
11 роки тому |
|
Aaron Ballman
|
47aa3ca54b
[C++11] Replacing DeclStmt iterators decl_begin() and decl_end() with iterator_range decls(). Updating all of the usages of the iterators with range-based for loops.
|
11 роки тому |
