 Richard Smith
|
731e823a09
[cxx2a] P1236R1: the validity of a left shift does not depend on the
|
6 years ago |
 Chandler Carruth
|
324f918438
Update the file headers across all of the LLVM projects in the monorepo
|
6 years ago |
 Fangrui Song
|
8c76673bb8
Fix -Wimplicit-fallthrough warning in LLVM_ENABLE_ASSERTIONS=Off builds
|
6 years ago |
 Eugene Zelenko
|
fc35d782b2
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
|
7 years ago |
 Gabor Horvath
|
7b1dc5fb9f
[analyzer] Model and check unrepresentable left shifts
|
7 years ago |
|
Gabor Horvath
|
1416d5328a
[analyzer] Left shifting a negative value is undefined
|
7 years ago |
 Devin Coughlin
|
9761e66e32
[analyzer] Add a new SVal to support pointer-to-member operations.
|
8 years ago |
 Daniel Marjamaki
|
daf37e6527
Fix a crash by division by zero in analyzer
|
10 years ago |
 Alexander Kornienko
|
8ca7705aa3
Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").
|
10 years ago |
|
Alexander Kornienko
|
ac58acc7f2
Fixed/added namespace ending comments using clang-tidy. NFC
|
10 years ago |
 Craig Topper
|
1843a2095a
[C++11] Use 'nullptr'. StaticAnalyzer edition.
|
11 years ago |
 Jordan Rose
|
5e21db7130
[analyzer] Shitfing a constant value by its bit width is undefined.
|
11 years ago |
|
Jordan Rose
|
91ab900a93
[analyzer] Disallow creation of int vals with explicit bit width / signedness.
|
13 years ago |
 Benjamin Kramer
|
478851c3ed
Drop the ASTContext.h include from Stmt.h and fix up transitive users.
|
13 years ago |
 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 years ago |
|
Ted Kremenek
|
9697934650
[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separate TypedRegions that implement getValueType() from those that don't.
|
14 years ago |
 Douglas Gregor
|
5e9ebb3c0f
A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.
|
14 years ago |
|
Ted Kremenek
|
2c0af35807
#include Store.h into BasicValueFactory.cpp to provide definitions of StoreRef constructor.
|
14 years ago |
|
Ted Kremenek
|
cf33333961
static analyzer: Fix use-after-free bug in RegionStore involving LazyCompoundValueData not reference counting Store objects.
|
14 years ago |
 Zhanyong Wan
|
7dfc9420ba
Makes most methods in SVals.h conform to the naming guide. Reviewed
|
14 years ago |
|
Ted Kremenek
|
9b66371644
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.
|
14 years ago |
 Argyrios Kyrtzidis
|
811d75ee35
[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.
|
14 years ago |
