Log - 1fafd1d96419f587763d1b81332d8f476aeace2e - fp2-dev/platform/external/clang

1fafd1d Removed IdempotentOperationChecker from default analysis and returned back to a flag (-analyzer-check-idempotent-operations) 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
df4ca42 Improved false positive rate for the idempotent operations checker and moved it into the default path-sensitive analysis options. by Tom Care · 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
db2fa8a Added a path-sensitive idempotent operation checker (-analyzer-idempotent-operation). Finds idempotent and/or tautological operations in a path sensitive context, flagging operations that have no effect or a predictable effect. by Tom Care · 15 years ago
c196095 Add StreamChecker. This checker models and checks stream manipulation functions. by Zhongxing Xu · 15 years ago
1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed from lib/Analysis/GRExprEngineExperimentalChecks.h]
7b76096 Hook up Malloc checker. by Zhongxing Xu · 16 years ago
ac9bea8 Add most of the boilerplate logic for a simple pthread_mutux_lock() -> pthread_mutex_unlock() checker. We need to add a visitor method to Checker for handling dead symbols in order to detect locks that are not unlocked. by Ted Kremenek · 16 years ago