module Hadolint.Rule.DL3037 (rule) where import qualified Data.Text as Text import Hadolint.Rule import qualified Hadolint.Shell as Shell import Language.Docker.Syntax rule :: Rule Shell.ParsedShell rule :: Rule ParsedShell rule = Rule ParsedShell dl3037 forall a. Semigroup a => a -> a -> a <> forall args. Rule args -> Rule args onbuild Rule ParsedShell dl3037 {-# INLINEABLE rule #-} dl3037 :: Rule Shell.ParsedShell dl3037 :: Rule ParsedShell dl3037 = forall args. RuleCode -> DLSeverity -> Text -> (Instruction args -> Bool) -> Rule args simpleRule RuleCode code DLSeverity severity Text message Instruction ParsedShell -> Bool check where code :: RuleCode code = RuleCode "DL3037" severity :: DLSeverity severity = DLSeverity DLWarningC message :: Text message = Text "Specify version with `zypper install -y <package>=<version>`." check :: Instruction ParsedShell -> Bool check (Run (RunArgs Arguments ParsedShell args RunFlags _)) = forall a b. (a -> b) -> Arguments a -> b foldArguments (forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool all Text -> Bool versionFixed forall b c a. (b -> c) -> (a -> b) -> a -> c . ParsedShell -> [Text] zypperPackages) Arguments ParsedShell args check Instruction ParsedShell _ = Bool True versionFixed :: Text -> Bool versionFixed Text package = Text "=" Text -> Text -> Bool `Text.isInfixOf` Text package Bool -> Bool -> Bool || Text ">=" Text -> Text -> Bool `Text.isInfixOf` Text package Bool -> Bool -> Bool || Text ">" Text -> Text -> Bool `Text.isInfixOf` Text package Bool -> Bool -> Bool || Text "<=" Text -> Text -> Bool `Text.isInfixOf` Text package Bool -> Bool -> Bool || Text "<" Text -> Text -> Bool `Text.isInfixOf` Text package Bool -> Bool -> Bool || Text ".rpm" Text -> Text -> Bool `Text.isSuffixOf` Text package {-# INLINEABLE dl3037 #-} zypperPackages :: Shell.ParsedShell -> [Text.Text] zypperPackages :: ParsedShell -> [Text] zypperPackages ParsedShell args = [ Text arg | Command cmd <- ParsedShell -> [Command] Shell.presentCommands ParsedShell args, Text -> [Text] -> Command -> Bool Shell.cmdHasArgs Text "zypper" [Text "install", Text "in"] Command cmd, Text arg <- Command -> [Text] Shell.getArgsNoFlags Command cmd, Text arg forall a. Eq a => a -> a -> Bool /= Text "install", Text arg forall a. Eq a => a -> a -> Bool /= Text "in" ]