add_clang_library(clangAnalysisFlowSensitive
  Arena.cpp
  ControlFlowContext.cpp
  DataflowAnalysisContext.cpp
  DataflowEnvironment.cpp
  Logger.cpp
  Transfer.cpp
  TypeErasedDataflowAnalysis.cpp
  Value.cpp
  WatchedLiteralsSolver.cpp
  DebugSupport.cpp

  LINK_LIBS
  clangAnalysis
  clangAST
  clangBasic
  )

add_subdirectory(Models)