 Gabor Horvath
|
dbe98ca454
[analyzer] Avoid an allocation in Std C function modelling
|
8 年之前 |
 Dominic Chen
|
e7feaec187
[analyzer] Rename assumeWithinInclusiveRange*()
|
8 年之前 |
 Artem Dergachev
|
718769f9ea
[analyzer] StdLibraryFunctions: provide platform-specific function summaries.
|
8 年之前 |
 Simon Pilgrim
|
d255fae769
Fix MSVC unused variable warning.
|
8 年之前 |
|
Artem Dergachev
|
1048d282e7
[analyzer] Use unsigned integers to rely on well-defined overflow semantics.
|
8 年之前 |
|
Artem Dergachev
|
6c99a5533b
[analyzer] Add StdLibraryFunctions checker.
|
8 年之前 |
