LocalCheckers.h revision 1ed6d2e4fda310af2de2ec09cdfedfa280cce948
11ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek//==- LocalCheckers.h - Intra-Procedural+Flow-Sensitive Checkers -*- C++ -*-==// 21ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek// 31ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek// The LLVM Compiler Infrastructure 41ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek// 51ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek// This file was developed by Ted Kremenek and is distributed under 61ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek// the University of Illinois Open Source License. See LICENSE.TXT for details. 71ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek// 81ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek//===----------------------------------------------------------------------===// 91ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek// 101ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek// This file defines the interface to call a set of intra-procedural (local) 111ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek// checkers that use flow/path-sensitive analyses to find bugs. 121ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek// 131ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek//===----------------------------------------------------------------------===// 141ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek 151ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek#ifndef LLVM_CLANG_ANALYSIS_LOCALCHECKERS_H 161ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek#define LLVM_CLANG_ANALYSIS_LOCALCHECKERS_H 171ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek 181ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremeneknamespace clang { 191ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek 201ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenekclass Preprocessor; 211ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenekclass CFG; 221ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenekclass LiveVariables; 231ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek 241ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenekvoid CheckDeadStores(CFG& cfg, LiveVariables& L, Preprocessor& PP); 251ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenekvoid CheckDeadStores(CFG& cfg, Preprocessor& PP); 261ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek 271ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek} // end namespace clang 281ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek 291ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek#endif 30