Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
7eb83caea14cbd3f0273004a6816c26040ac3755
/
test
/
Analysis
/
bstring.c
22d2717
[analyzer] Fix handling of "copy zero bytes" for memcpy and friends.
by Jordy Rose
· 14 years ago
be460d8
[analyzer] __mempcpy_chk is the same as mempcpy (at least to CStringChecker)
by Jordy Rose
· 14 years ago
8a285ae
Emit a -Wnull-dereference warning for "*null" not just "*null = something". Addresses rdar://9269271.
by Argyrios Kyrtzidis
· 14 years ago
fc8f0e1
fix a bunch of comment typos found by codespell. Patch by
by Chris Lattner
· 14 years ago
b8b875b
Adding Static Analyzer checker for mempcpy().
by Lenny Maiorani
· 14 years ago
5188507
Rework checker "packages" and groups to be more hierarchical.
by Ted Kremenek
· 14 years ago
c4d2c90
[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award.
by Argyrios Kyrtzidis
· 14 years ago
b3d74da
[analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2.
by Argyrios Kyrtzidis
· 14 years ago
6dd4dff
[analyzer] Remove '-analyzer-experimental-checks' flag.
by Argyrios Kyrtzidis
· 14 years ago
a0decc9
[analyzer] Use the new registration mechanism on some of the experimental checks. These are:
by Argyrios Kyrtzidis
· 14 years ago
e64f311
Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes:
by Jordy Rose
· 15 years ago
b6a4026
When checking if a buffer access is valid, first make sure the buffer has a valid Loc. Fixes PR7830.
by Jordy Rose
· 15 years ago
7bce3a1
Added some false positive checking to UnreachableCodeChecker
by Tom Care
· 15 years ago
c4b5bd8
Added an path-sensitive unreachable code checker to the experimental analyzer checks.
by Tom Care
· 15 years ago
d325ffb
Cleanup in CStringChecker. Now properly bifurcates the state for zero/nonzero sizes.
by Jordy Rose
· 15 years ago
bc56d1f
Add memcmp() and bcmp() to CStringChecker. These check for valid access to the buffer arguments and have a special-case for when the buffer arguments are known to be the same address, or when the size is zero.
by Jordy Rose
· 15 years ago
a6b808c
Cleanup on CStringChecker and its associated tests. Also check for null arguments...which are allowed if the access length is 0!
by Jordy Rose
· 15 years ago
ccbf7ee
Add a new path-sensitive checker for functions in <string.h>, for both null-terminated strings and memory blocks. Currently only checks memcpy(), memmove(), and bcopy(), but this is intended to be expanded soon.
by Jordy Rose
· 15 years ago