wip TLSA
[pdns-pipe-nmc.git] / PowerDns.hs
index 696b9b57af6c06fd3bd4d85349f4185a65af3a04..ef8211dfc373e6769eab671ee2b8d654bb331b47 100644 (file)
@@ -1,45 +1,74 @@
 module PowerDns ( RRType(..)
+                , rrType
                 , PdnsRequest(..)
                 , pdnsParse
                 , pdnsReport
-                , pdnsOut
+                , pdnsOutQ
+                , pdnsOutXfr
                 ) where
 
-import NmcJson
+import Data.Text.Lazy (splitOn, pack)
+import Data.Map.Lazy (foldrWithKey)
+import Data.Default.Class (def)
+
+import NmcDom
 
 data RRType = RRTypeSRV   | RRTypeA   | RRTypeAAAA | RRTypeCNAME
             | RRTypeDNAME | RRTypeSOA | RRTypeRP   | RRTypeLOC
-            | RRTypeNS    | RRTypeDS
-            | RRTypeANY   | RRTypeError String 
-        deriving (Show)
+            | RRTypeNS    | RRTypeDS  | RRTypeMX   | RRTypeTLSA
+            | RRTypeANY   | RRTypeError String
+
+instance Show RRType where
+  show RRTypeSRV       = "SRV"
+  show RRTypeA         = "A"
+  show RRTypeAAAA      = "AAAA"
+  show RRTypeCNAME     = "CNAME"
+  show RRTypeDNAME     = "DNAME"
+  show RRTypeSOA       = "SOA"
+  show RRTypeRP        = "RP"
+  show RRTypeLOC       = "LOC"
+  show RRTypeNS        = "NS"
+  show RRTypeDS        = "DS"
+  show RRTypeMX        = "MX"
+  show RRTypeTLSA      = "TLSA"
+  show RRTypeANY       = "ANY"
+  show (RRTypeError s) = "Unknown RR type: " ++ (show s)
+
+rrType qt = case qt of
+  "SRV"     -> RRTypeSRV
+  "A"       -> RRTypeA
+  "AAAA"    -> RRTypeAAAA
+  "CNAME"   -> RRTypeCNAME
+  "DNAME"   -> RRTypeDNAME
+  "SOA"     -> RRTypeSOA
+  "RP"      -> RRTypeRP
+  "LOC"     -> RRTypeLOC
+  "NS"      -> RRTypeNS
+  "DS"      -> RRTypeDS
+  "MX"      -> RRTypeMX
+  "TLSA"    -> RRTypeTLSA
+  "ANY"     -> RRTypeANY
+  _         -> RRTypeError qt
 
 data PdnsRequest = PdnsRequestQ
                    { qName              :: String
                    , qType              :: RRType
-                   , iD                 :: String
+                   , iD                 :: Int
                    , remoteIpAddress    :: String
                    , localIpAddress     :: Maybe String
                    , ednsSubnetAddress  :: Maybe String
                    }
-                 | PdnsRequestAXFR String
+                 | PdnsRequestAXFR Int
                  | PdnsRequestPing
         deriving (Show)
 
+-- | Parse request string read from the core PowerDNS process
+pdnsParse :: Int -> String -> Either String PdnsRequest
 pdnsParse ver s =
   let
-    getQt qt = case qt of
-      "SRV"     -> RRTypeSRV   
-      "A"       -> RRTypeA
-      "AAAA"    -> RRTypeAAAA
-      "CNAME"   -> RRTypeCNAME
-      "DNAME"   -> RRTypeDNAME 
-      "SOA"     -> RRTypeSOA 
-      "RP"      -> RRTypeRP   
-      "LOC"     -> RRTypeLOC
-      "NS"      -> RRTypeNS    
-      "DS"      -> RRTypeDS
-      "ANY"     -> RRTypeANY
-      _         -> RRTypeError qt
+    getInt s = case reads s :: [(Int, String)] of
+      [(x, _)] -> x
+      _        -> (-1)
     getLIp ver xs
       | ver >= 2  = case xs of
                       x:_       -> Just x
@@ -53,66 +82,131 @@ pdnsParse ver s =
   in
     case words s of
       "PING":[]                 -> Right PdnsRequestPing
-      "AXFR":x:[]               -> Right (PdnsRequestAXFR x)
-      "Q":qn:"IN":qt:id:rip:xs  -> Right (PdnsRequestQ
+      "AXFR":x:[]               -> Right (PdnsRequestAXFR (getInt x))
+      "Q":qn:"IN":qt:id:rip:xs  -> case rrType qt of
+                                     RRTypeError e ->
+                                       Left $ "Unrecognized RR type: " ++ e
+                                     rt ->
+                                       Right (PdnsRequestQ
                                             { qName = qn
-                                            , qType = getQt qt
-                                            , iD = id
+                                            , qType = rrType qt
+                                            , iD = getInt id
                                             , remoteIpAddress = rip
                                             , localIpAddress = getLIp ver xs
                                             , ednsSubnetAddress = getRIp ver xs
                                             })
       _                         -> Left $ "Unparseable PDNS Request: " ++ s
 
+-- | Produce LOG entry followed by FAIL
 pdnsReport :: String -> String
-pdnsReport err =
-  "LOG\tError: " ++ err ++ "\nFAIL\n"
-
-pdnsOut :: Int -> String -> String -> RRType -> Either String NmcDom -> String
-pdnsOut ver id name rrtype edom =
-  case edom of
-    Left  err -> pdnsReport err
-    Right dom -> foldr addLine "END\n" $ nmc2pdns name rrtype dom
+pdnsReport err = "LOG\tError: " ++ err ++ "\nFAIL\n"
+
+-- | Produce answer to the Q request
+pdnsOutQ :: Int -> Int -> Int -> String -> RRType -> Either String NmcDom -> String
+pdnsOutQ ver id gen name rrt edom =
+  let
+    rrl = case rrt of
+      RRTypeANY -> [ RRTypeSRV, RRTypeA, RRTypeAAAA, RRTypeCNAME
+                   , RRTypeDNAME, RRTypeRP, RRTypeLOC, RRTypeNS
+                   , RRTypeDS, RRTypeMX -- SOA not included
+                   ]
+      x         -> [x]
+  in
+    case edom of
+      Left  err ->
+        pdnsReport $ err ++ " in the " ++ (show rrt) ++ " query for " ++ name
+      Right dom ->
+        formatDom ver id gen rrl name dom "END\n"
+
+-- | Produce answer to the AXFR request
+pdnsOutXfr :: Int -> Int -> Int -> String -> Either String NmcDom -> String
+pdnsOutXfr ver id gen name edom =
+  let
+    allrrs = [ RRTypeSRV, RRTypeA, RRTypeAAAA, RRTypeCNAME
+             , RRTypeDNAME, RRTypeRP, RRTypeLOC, RRTypeNS
+             , RRTypeDS, RRTypeMX, RRTypeSOA
+             ]
+    walkDom f acc name dom =
+      f name dom $ case domMap dom of
+        Nothing -> acc
+        Just dm ->
+          foldrWithKey (\n d a -> walkDom f a (n ++ "." ++ name) d) acc dm
+  in
+    case edom of
+      Left  err ->
+        pdnsReport $ err ++ " in the AXFR request for " ++ name
+      Right dom ->
+        walkDom (formatDom ver id gen allrrs) "END\n" name dom
+
+formatDom ver id gen rrl name dom acc =
+  foldr (\x a -> (formatRR ver id gen name dom x) ++ a) acc rrl
+
+formatRR ver id gen name dom rrtype =
+  foldr (\x a -> "DATA\t" ++ v3ext ++ name ++ "\tIN\t" ++ (show rrtype)
+              ++ "\t" ++ ttl ++ "\t" ++ (show id) ++ "\t" ++ x ++ "\n" ++ a)
+        "" $ dataRR rrtype gen name dom
+    where
+      v3ext = case ver of
+        3 -> "0\t1\t"
+        _ -> ""
+      ttl = show 3600
+
+justl accessor _ _ dom = case accessor dom of
+  Nothing -> []
+  Just xs -> xs
+
+justv accessor _ _ dom = case accessor dom of
+  Nothing -> []
+  Just x  -> [x]
+
+dotmail addr =
+  let (aname, adom) = break (== '@') addr
+  in case adom of
+    "" -> aname ++ "."
+    _  -> aname ++ "." ++ (tail adom) ++ "."
+
+dataRR RRTypeSRV   = justl domSrv
+dataRR RRTypeMX    = justl domMx
+dataRR RRTypeTLSA  = justl domTlsa
+dataRR RRTypeA     = justl domIp
+dataRR RRTypeAAAA  = justl domIp6
+dataRR RRTypeCNAME = justv domAlias
+dataRR RRTypeDNAME = justv domTranslate
+dataRR RRTypeSOA   = \ gen name dom ->
+  let
+    ns = case domNs dom of
+      Just (x:_) -> x
+      _          -> "."
+    email = case domEmail dom of
+      Nothing   -> "hostmaster." ++ name ++ "."
+      Just addr -> dotmail addr
+  in
+    if dom == def then []
+    else
+    -- Follows a relatively ugly hack to figure if we are at the top
+    -- level domain ("something.bit"). Only in such case we provide
+    -- the synthetic SOA RR. Otherwise yield empty.
+    -- Alternative would be to carry "top-ness" as a parameter through
+    -- all the calls from the very top where we split the fqdn.
+      case splitOn (pack ".") (pack name) of
+        [_,_] -> [ns ++ " " ++ email ++ " " ++ (show gen)
+                     ++ " 10800 3600 604800 86400"]
+        _     -> []
+dataRR RRTypeRP    = \ _ _ dom ->
+  case domEmail dom of
+    Nothing   -> []
+    Just addr -> [(dotmail addr) ++ " ."]
+dataRR RRTypeLOC   = justv domLoc
+dataRR RRTypeNS    = justl domNs
+dataRR RRTypeDS    = \ _ _ dom ->
+  case domDs dom of
+    Nothing  -> []
+    Just dss -> map dsStr dss
       where
-        addLine (nm, ty, dt) accum =
-          "DATA\t" ++ v3ext ++ nm ++ "\tIN\t" ++ ty ++ "\t" ++ ttl ++
-              "\t" ++ id ++ "\t" ++ dt ++ "\n" ++ accum
-        v3ext = case ver of
-          3 -> "0\t1\t"
-          _ -> ""
-        ttl = show 3600
-
-nmc2pdns :: String -> RRType -> NmcDom -> [(String, String, String)]
-nmc2pdns name RRTypeANY   dom =
-  foldr (\r accum -> (nmc2pdns name r dom) ++ accum) []
-    [RRTypeA, RRTypeAAAA, RRTypeCNAME, RRTypeDNAME, -- no SRV here!
-     RRTypeSOA, RRTypeRP, RRTypeLOC, RRTypeNS, RRTypeDS]
-nmc2pdns name RRTypeSRV   dom = [] -- FIXME
-nmc2pdns name RRTypeA     dom = mapto name "A" $ domIp dom
-nmc2pdns name RRTypeAAAA  dom = mapto name "AAAA" $ domIp6 dom
-nmc2pdns name RRTypeCNAME dom = takejust name "CNAME" $ domAlias dom
-nmc2pdns name RRTypeDNAME dom = takejust name "DNAME" $ domTranslate dom
-nmc2pdns name RRTypeSOA   dom =
-  if dom == emptyNmcDom then []
-  else
-    let
-      email = case domEmail dom of
-        Nothing   -> "hostmaster." ++ name
-        Just addr ->
-          let (aname, adom) = break (== '@') addr
-          in case adom of
-            "" -> aname
-            _  -> aname ++ "." ++ (tail adom)
-    in [(name, "SOA", email ++ " 99999999 10800 3600 604800 86400")]
-nmc2pdns name RRTypeRP    dom = [] --FIXME
-nmc2pdns name RRTypeLOC   dom = takejust name "LOC" $ domLoc dom
-nmc2pdns name RRTypeNS    dom = mapto name "NS" $ domNs dom
-nmc2pdns name RRTypeDS    dom = [] --FIXME
-
-mapto name rrstr maybel = case maybel of
-  Nothing  -> []
-  Just l   -> map (\x -> (name, rrstr, x)) l
-
-takejust name rrstr maybestr = case maybestr of
-  Nothing  -> []
-  Just str -> [(name, rrstr, str)]
+        dsStr x = (show (dsKeyTag x)) ++ " "
+               ++ (show (dsAlgo x)) ++ " "
+               ++ (show (dsHashType x)) ++ " "
+               ++ (dsHashValue x)
+-- This only comes into play when data arrived _not_ from a PDNS request:
+dataRR (RRTypeError e) = \ _ _ _ ->
+  ["; No data for bad request type " ++ e]