clang API Documentation
00001 //== NullDerefChecker.h - Null dereference checker --------------*- C++ -*--==// 00002 // 00003 // The LLVM Compiler Infrastructure 00004 // 00005 // This file is distributed under the University of Illinois Open Source 00006 // License. See LICENSE.TXT for details. 00007 // 00008 //===----------------------------------------------------------------------===// 00009 // 00010 // This defines NullDerefChecker and UndefDerefChecker, two builtin checks 00011 // in ExprEngine that check for null and undefined pointers at loads 00012 // and stores. 00013 // 00014 //===----------------------------------------------------------------------===// 00015 00016 #ifndef LLVM_CLANG_GR_DEREFCHECKER 00017 #define LLVM_CLANG_GR_DEREFCHECKER 00018 00019 #include <utility> 00020 00021 namespace clang { 00022 00023 namespace ento { 00024 00025 class ExprEngine; 00026 class ExplodedNode; 00027 00028 std::pair<ExplodedNode * const *, ExplodedNode * const *> 00029 GetImplicitNullDereferences(ExprEngine &Eng); 00030 00031 } // end GR namespace 00032 00033 } // end clang namespace 00034 00035 #endif