Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
ff6f66e33f234d4bba16c9149476d691e2c96ca9
/
lib
/
Checker
/
GRExprEngineExperimentalChecks.h
c196095
Add StreamChecker. This checker models and checks stream manipulation functions.
by Zhongxing Xu
· 14 years ago
1309f9a
Split libAnalysis into two libraries: libAnalysis and libChecker.
by Ted Kremenek
· 15 years ago
[Renamed from lib/Analysis/GRExprEngineExperimentalChecks.h]
7b76096
Hook up Malloc checker.
by Zhongxing Xu
· 15 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
· 15 years ago