Safe Haskell	Safe-Inferred
Language	Haskell2010

Bitcode

Description

The intermediate language (IL) / intermediate representation (IR) / bitcode are all synonyms for:
- a data structure able to represent code originating from multiple programming languages.
- minimal instruction set, similar in spirit to RISC architectures
- unlike actual assembly, it has an infinite number of temporaries ( instead of registers )
Its main purpose is to serve as the:
- second step for static code analysis
- part of the dhscanner framework for static analysis performing security checks 🔒 and PII leaks detection 🪪
As part of the dhscanner framework:
- targets mostly languages used for cloud native applications ☁️
- Python, Ruby 💎, Php, Javascript, Typescript, Java ☕️, C# and Golang.
Typical flow:
- Abstract syntax trees (ASTs) are scanned
  - Callable entities are identified
  - each Callable is associated with its control flow graph (Cfg)
  - control flow graphs are directed, connecting bitcode instructions
Non Haskell parogrammers note:
- Each Callable object is immutable ( like everything else in Haskell ... )

Synopsis

data Instruction = Instruction {
- location :: Location
- instructionContent :: InstructionContent
}
data InstructionContent
- = Nop
- | Call CallContent
- | Unop UnopContent
- | Binop BinopContent
- | Assume AssumeContent
- | Return ReturnContent
- | Assign AssignContent
- | ParamDecl ParamDeclContent
- | FieldRead FieldReadContent
- | FieldWrite FieldWriteContent
- | UnresolvedRef UnresolvedRefContent
- | SubscriptRead SubscriptReadContent
- | SubscriptWrite SubscriptWriteContent
data Value
- = VariableCtor Variable
- | ConstValueCtor ConstValue
- | KeywordArgCtor KeywordArgVariable
data Variable
- = TmpVariableCtor TmpVariable
- | SrcVariableCtor SrcVariable
- | ParamVariableCtor ParamVariable
data TmpVariable = TmpVariable {
- tmpVariableFqn :: Fqn
- tmpVariableLocation :: Location
}
data SrcVariable = SrcVariable {
- srcVariableFqn :: Fqn
- srcVariableToken :: VarName
}
data ParamVariable = ParamVariable {
- paramVariableFqn :: Fqn
- paramVariableSerialIdx :: Word
- paramVariableToken :: ParamName
}
data KeywordArgVariable = KeywordArgVariable {
- keywordArgName :: String
- keywordArgValue :: Value
}
variableFqn :: Variable -> Fqn
locationVariable :: Variable -> Location
locationValue :: Value -> Location
locationConstValue :: ConstValue -> Location
data CallContent = CallContent {
- callOutput :: Variable
- callee :: Variable
- args :: [Value]
- callLocation :: Location
}
data UnresolvedRefContent = UnresolvedRefContent {
- unresolvedRefOutput :: Variable
- unresolvedRef :: Variable
- unresolvedRefLocation :: Location
}
data BinopContent = BinopContent {
- binopOutput :: Variable
- binopLhs :: Value
- binopRhs :: Value
}
data UnopContent = UnopContent {
- unopOutput :: Variable
- unopLhs :: Value
}
data AssumeContent = AssumeContent {
- assumeValue :: Value
- assumeTruthy :: Bool
}
mkNopInstruction :: Location -> Instruction
mkAssumeInstruction :: Value -> Bool -> Instruction
data ReturnContent = ReturnContent {
- returnValue :: Maybe Value
}
data AssignContent = AssignContent {
- assignOutput :: Variable
- assignInput :: Value
}
data ConstValue
- = ConstIntValue ConstInt
- | ConstStrValue ConstStr
- | ConstBoolValue ConstBool
- | ConstNullValue ConstNull
data FieldReadContent = FieldReadContent {
- fieldReadOutput :: Variable
- fieldReadInput :: Variable
- fieldReadName :: FieldName
}
data FieldWriteContent = FieldWriteContent {
- fieldWriteOutput :: Variable
- fieldWriteName :: FieldName
- fieldWriteInput :: Value
}
data SubscriptReadContent = SubscriptReadContent {
- subscriptReadOutput :: Variable
- subscriptReadInput :: Variable
- subscriptReadIdx :: Value
}
data SubscriptWriteContent = SubscriptWriteContent {
- subscriptWriteOutput :: Variable
- subscriptWriteIdx :: Value
- subscriptWriteInput :: Value
}
data ParamDeclContent = ParamDeclContent {
- paramVariable :: ParamVariable
}

Documentation

data Instruction Source #

All instructions have an associated location
That is also true for instrumented instructions (like Nop and Assume)

Constructors

Instruction
Fields location :: Location instructionContent :: InstructionContent

Instances

Instances details

FromJSON Instruction Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser Instruction # parseJSONList :: Value -> Parser [Instruction] # omittedField :: Maybe Instruction #
ToJSON Instruction Source #
Instance details Defined in Bitcode Methods toJSON :: Instruction -> Value # toEncoding :: Instruction -> Encoding # toJSONList :: [Instruction] -> Value # toEncodingList :: [Instruction] -> Encoding # omitField :: Instruction -> Bool #
Generic Instruction Source #
Instance details Defined in Bitcode Associated Types type Rep Instruction :: Type -> Type Methods from :: Instruction -> Rep Instruction x to :: Rep Instruction x -> Instruction
Show Instruction Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> Instruction -> ShowS show :: Instruction -> String showList :: [Instruction] -> ShowS
Eq Instruction Source #
Instance details Defined in Bitcode Methods (==) :: Instruction -> Instruction -> Bool (/=) :: Instruction -> Instruction -> Bool
Ord Instruction Source #
Instance details Defined in Bitcode Methods compare :: Instruction -> Instruction -> Ordering (<) :: Instruction -> Instruction -> Bool (<=) :: Instruction -> Instruction -> Bool (>) :: Instruction -> Instruction -> Bool (>=) :: Instruction -> Instruction -> Bool max :: Instruction -> Instruction -> Instruction min :: Instruction -> Instruction -> Instruction
type Rep Instruction Source #
Instance details Defined in Bitcode type Rep Instruction = D1 ('MetaData "Instruction" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "Instruction" 'PrefixI 'True) (S1 ('MetaSel ('Just "location") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location) :*: S1 ('MetaSel ('Just "instructionContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InstructionContent)))

data InstructionContent Source #

A minimal instruction set for translating common programming languages

Instances

Instances details

FromJSON InstructionContent Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser InstructionContent # parseJSONList :: Value -> Parser [InstructionContent] # omittedField :: Maybe InstructionContent #
ToJSON InstructionContent Source #
Instance details Defined in Bitcode Methods toJSON :: InstructionContent -> Value # toEncoding :: InstructionContent -> Encoding # toJSONList :: [InstructionContent] -> Value # toEncodingList :: [InstructionContent] -> Encoding # omitField :: InstructionContent -> Bool #
Generic InstructionContent Source #
Instance details Defined in Bitcode Associated Types type Rep InstructionContent :: Type -> Type Methods from :: InstructionContent -> Rep InstructionContent x to :: Rep InstructionContent x -> InstructionContent
Show InstructionContent Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> InstructionContent -> ShowS show :: InstructionContent -> String showList :: [InstructionContent] -> ShowS
Eq InstructionContent Source #
Instance details Defined in Bitcode Methods (==) :: InstructionContent -> InstructionContent -> Bool (/=) :: InstructionContent -> InstructionContent -> Bool
Ord InstructionContent Source #
Instance details Defined in Bitcode Methods compare :: InstructionContent -> InstructionContent -> Ordering (<) :: InstructionContent -> InstructionContent -> Bool (<=) :: InstructionContent -> InstructionContent -> Bool (>) :: InstructionContent -> InstructionContent -> Bool (>=) :: InstructionContent -> InstructionContent -> Bool max :: InstructionContent -> InstructionContent -> InstructionContent min :: InstructionContent -> InstructionContent -> InstructionContent
type Rep InstructionContent Source #
Instance details Defined in Bitcode type Rep InstructionContent = D1 ('MetaData "InstructionContent" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (((C1 ('MetaCons "Nop" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Call" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CallContent)) :+: C1 ('MetaCons "Unop" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnopContent)))) :+: (C1 ('MetaCons "Binop" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BinopContent)) :+: (C1 ('MetaCons "Assume" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AssumeContent)) :+: C1 ('MetaCons "Return" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ReturnContent))))) :+: ((C1 ('MetaCons "Assign" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AssignContent)) :+: (C1 ('MetaCons "ParamDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParamDeclContent)) :+: C1 ('MetaCons "FieldRead" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FieldReadContent)))) :+: ((C1 ('MetaCons "FieldWrite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FieldWriteContent)) :+: C1 ('MetaCons "UnresolvedRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnresolvedRefContent))) :+: (C1 ('MetaCons "SubscriptRead" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubscriptReadContent)) :+: C1 ('MetaCons "SubscriptWrite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubscriptWriteContent))))))

data Value Source #

Constructors

VariableCtor Variable
ConstValueCtor ConstValue
KeywordArgCtor KeywordArgVariable

Instances

Instances details

FromJSON Value Source #
Instance details Defined in Bitcode Methods parseJSON :: Value0 -> Parser Value # parseJSONList :: Value0 -> Parser [Value] # omittedField :: Maybe Value #
ToJSON Value Source #
Instance details Defined in Bitcode Methods toJSON :: Value -> Value0 # toEncoding :: Value -> Encoding # toJSONList :: [Value] -> Value0 # toEncodingList :: [Value] -> Encoding # omitField :: Value -> Bool #
Generic Value Source #
Instance details Defined in Bitcode Associated Types type Rep Value :: Type -> Type Methods from :: Value -> Rep Value x to :: Rep Value x -> Value
Show Value Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> Value -> ShowS show :: Value -> String showList :: [Value] -> ShowS
Eq Value Source #
Instance details Defined in Bitcode Methods (==) :: Value -> Value -> Bool (/=) :: Value -> Value -> Bool
Ord Value Source #
Instance details Defined in Bitcode Methods compare :: Value -> Value -> Ordering (<) :: Value -> Value -> Bool (<=) :: Value -> Value -> Bool (>) :: Value -> Value -> Bool (>=) :: Value -> Value -> Bool max :: Value -> Value -> Value min :: Value -> Value -> Value
type Rep Value Source #
Instance details Defined in Bitcode type Rep Value = D1 ('MetaData "Value" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "VariableCtor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable)) :+: (C1 ('MetaCons "ConstValueCtor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstValue)) :+: C1 ('MetaCons "KeywordArgCtor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 KeywordArgVariable))))

data Variable Source #

Constructors

TmpVariableCtor TmpVariable
SrcVariableCtor SrcVariable
ParamVariableCtor ParamVariable

Instances

Instances details

FromJSON Variable Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser Variable # parseJSONList :: Value -> Parser [Variable] # omittedField :: Maybe Variable #
ToJSON Variable Source #
Instance details Defined in Bitcode Methods toJSON :: Variable -> Value # toEncoding :: Variable -> Encoding # toJSONList :: [Variable] -> Value # toEncodingList :: [Variable] -> Encoding # omitField :: Variable -> Bool #
Generic Variable Source #
Instance details Defined in Bitcode Associated Types type Rep Variable :: Type -> Type Methods from :: Variable -> Rep Variable x to :: Rep Variable x -> Variable
Show Variable Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> Variable -> ShowS show :: Variable -> String showList :: [Variable] -> ShowS
Eq Variable Source #
Instance details Defined in Bitcode Methods (==) :: Variable -> Variable -> Bool (/=) :: Variable -> Variable -> Bool
Ord Variable Source #
Instance details Defined in Bitcode Methods compare :: Variable -> Variable -> Ordering (<) :: Variable -> Variable -> Bool (<=) :: Variable -> Variable -> Bool (>) :: Variable -> Variable -> Bool (>=) :: Variable -> Variable -> Bool max :: Variable -> Variable -> Variable min :: Variable -> Variable -> Variable
type Rep Variable Source #
Instance details Defined in Bitcode type Rep Variable = D1 ('MetaData "Variable" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "TmpVariableCtor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TmpVariable)) :+: (C1 ('MetaCons "SrcVariableCtor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SrcVariable)) :+: C1 ('MetaCons "ParamVariableCtor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParamVariable))))

data TmpVariable Source #

Constructors

TmpVariable
Fields tmpVariableFqn :: Fqn tmpVariableLocation :: Location

Instances

Instances details

FromJSON TmpVariable Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser TmpVariable # parseJSONList :: Value -> Parser [TmpVariable] # omittedField :: Maybe TmpVariable #
ToJSON TmpVariable Source #
Instance details Defined in Bitcode Methods toJSON :: TmpVariable -> Value # toEncoding :: TmpVariable -> Encoding # toJSONList :: [TmpVariable] -> Value # toEncodingList :: [TmpVariable] -> Encoding # omitField :: TmpVariable -> Bool #
Generic TmpVariable Source #
Instance details Defined in Bitcode Associated Types type Rep TmpVariable :: Type -> Type Methods from :: TmpVariable -> Rep TmpVariable x to :: Rep TmpVariable x -> TmpVariable
Show TmpVariable Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> TmpVariable -> ShowS show :: TmpVariable -> String showList :: [TmpVariable] -> ShowS
Eq TmpVariable Source #
Instance details Defined in Bitcode Methods (==) :: TmpVariable -> TmpVariable -> Bool (/=) :: TmpVariable -> TmpVariable -> Bool
Ord TmpVariable Source #
Instance details Defined in Bitcode Methods compare :: TmpVariable -> TmpVariable -> Ordering (<) :: TmpVariable -> TmpVariable -> Bool (<=) :: TmpVariable -> TmpVariable -> Bool (>) :: TmpVariable -> TmpVariable -> Bool (>=) :: TmpVariable -> TmpVariable -> Bool max :: TmpVariable -> TmpVariable -> TmpVariable min :: TmpVariable -> TmpVariable -> TmpVariable
type Rep TmpVariable Source #
Instance details Defined in Bitcode type Rep TmpVariable = D1 ('MetaData "TmpVariable" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "TmpVariable" 'PrefixI 'True) (S1 ('MetaSel ('Just "tmpVariableFqn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Fqn) :*: S1 ('MetaSel ('Just "tmpVariableLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location)))

data SrcVariable Source #

Constructors

SrcVariable
Fields srcVariableFqn :: Fqn srcVariableToken :: VarName

Instances

Instances details

FromJSON SrcVariable Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser SrcVariable # parseJSONList :: Value -> Parser [SrcVariable] # omittedField :: Maybe SrcVariable #
ToJSON SrcVariable Source #
Instance details Defined in Bitcode Methods toJSON :: SrcVariable -> Value # toEncoding :: SrcVariable -> Encoding # toJSONList :: [SrcVariable] -> Value # toEncodingList :: [SrcVariable] -> Encoding # omitField :: SrcVariable -> Bool #
Generic SrcVariable Source #
Instance details Defined in Bitcode Associated Types type Rep SrcVariable :: Type -> Type Methods from :: SrcVariable -> Rep SrcVariable x to :: Rep SrcVariable x -> SrcVariable
Show SrcVariable Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> SrcVariable -> ShowS show :: SrcVariable -> String showList :: [SrcVariable] -> ShowS
Eq SrcVariable Source #
Instance details Defined in Bitcode Methods (==) :: SrcVariable -> SrcVariable -> Bool (/=) :: SrcVariable -> SrcVariable -> Bool
Ord SrcVariable Source #
Instance details Defined in Bitcode Methods compare :: SrcVariable -> SrcVariable -> Ordering (<) :: SrcVariable -> SrcVariable -> Bool (<=) :: SrcVariable -> SrcVariable -> Bool (>) :: SrcVariable -> SrcVariable -> Bool (>=) :: SrcVariable -> SrcVariable -> Bool max :: SrcVariable -> SrcVariable -> SrcVariable min :: SrcVariable -> SrcVariable -> SrcVariable
type Rep SrcVariable Source #
Instance details Defined in Bitcode type Rep SrcVariable = D1 ('MetaData "SrcVariable" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "SrcVariable" 'PrefixI 'True) (S1 ('MetaSel ('Just "srcVariableFqn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Fqn) :*: S1 ('MetaSel ('Just "srcVariableToken") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VarName)))

data ParamVariable Source #

Constructors

ParamVariable
Fields paramVariableFqn :: Fqn paramVariableSerialIdx :: Word zero-based paramVariableToken :: ParamName

Instances

Instances details

FromJSON ParamVariable Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser ParamVariable # parseJSONList :: Value -> Parser [ParamVariable] # omittedField :: Maybe ParamVariable #
ToJSON ParamVariable Source #
Instance details Defined in Bitcode Methods toJSON :: ParamVariable -> Value # toEncoding :: ParamVariable -> Encoding # toJSONList :: [ParamVariable] -> Value # toEncodingList :: [ParamVariable] -> Encoding # omitField :: ParamVariable -> Bool #
Generic ParamVariable Source #
Instance details Defined in Bitcode Associated Types type Rep ParamVariable :: Type -> Type Methods from :: ParamVariable -> Rep ParamVariable x to :: Rep ParamVariable x -> ParamVariable
Show ParamVariable Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> ParamVariable -> ShowS show :: ParamVariable -> String showList :: [ParamVariable] -> ShowS
Eq ParamVariable Source #
Instance details Defined in Bitcode Methods (==) :: ParamVariable -> ParamVariable -> Bool (/=) :: ParamVariable -> ParamVariable -> Bool
Ord ParamVariable Source #
Instance details Defined in Bitcode Methods compare :: ParamVariable -> ParamVariable -> Ordering (<) :: ParamVariable -> ParamVariable -> Bool (<=) :: ParamVariable -> ParamVariable -> Bool (>) :: ParamVariable -> ParamVariable -> Bool (>=) :: ParamVariable -> ParamVariable -> Bool max :: ParamVariable -> ParamVariable -> ParamVariable min :: ParamVariable -> ParamVariable -> ParamVariable
type Rep ParamVariable Source #
Instance details Defined in Bitcode type Rep ParamVariable = D1 ('MetaData "ParamVariable" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "ParamVariable" 'PrefixI 'True) (S1 ('MetaSel ('Just "paramVariableFqn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Fqn) :: (S1 ('MetaSel ('Just "paramVariableSerialIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word) :: S1 ('MetaSel ('Just "paramVariableToken") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParamName))))

data KeywordArgVariable Source #

Constructors

KeywordArgVariable
Fields keywordArgName :: String keywordArgValue :: Value

Instances

Instances details

FromJSON KeywordArgVariable Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser KeywordArgVariable # parseJSONList :: Value -> Parser [KeywordArgVariable] # omittedField :: Maybe KeywordArgVariable #
ToJSON KeywordArgVariable Source #
Instance details Defined in Bitcode Methods toJSON :: KeywordArgVariable -> Value # toEncoding :: KeywordArgVariable -> Encoding # toJSONList :: [KeywordArgVariable] -> Value # toEncodingList :: [KeywordArgVariable] -> Encoding # omitField :: KeywordArgVariable -> Bool #
Generic KeywordArgVariable Source #
Instance details Defined in Bitcode Associated Types type Rep KeywordArgVariable :: Type -> Type Methods from :: KeywordArgVariable -> Rep KeywordArgVariable x to :: Rep KeywordArgVariable x -> KeywordArgVariable
Show KeywordArgVariable Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> KeywordArgVariable -> ShowS show :: KeywordArgVariable -> String showList :: [KeywordArgVariable] -> ShowS
Eq KeywordArgVariable Source #
Instance details Defined in Bitcode Methods (==) :: KeywordArgVariable -> KeywordArgVariable -> Bool (/=) :: KeywordArgVariable -> KeywordArgVariable -> Bool
Ord KeywordArgVariable Source #
Instance details Defined in Bitcode Methods compare :: KeywordArgVariable -> KeywordArgVariable -> Ordering (<) :: KeywordArgVariable -> KeywordArgVariable -> Bool (<=) :: KeywordArgVariable -> KeywordArgVariable -> Bool (>) :: KeywordArgVariable -> KeywordArgVariable -> Bool (>=) :: KeywordArgVariable -> KeywordArgVariable -> Bool max :: KeywordArgVariable -> KeywordArgVariable -> KeywordArgVariable min :: KeywordArgVariable -> KeywordArgVariable -> KeywordArgVariable
type Rep KeywordArgVariable Source #
Instance details Defined in Bitcode type Rep KeywordArgVariable = D1 ('MetaData "KeywordArgVariable" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "KeywordArgVariable" 'PrefixI 'True) (S1 ('MetaSel ('Just "keywordArgName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "keywordArgValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

variableFqn :: Variable -> Fqn Source #

locationVariable :: Variable -> Location Source #

locationValue :: Value -> Location Source #

locationConstValue :: ConstValue -> Location Source #

data CallContent Source #

Constructors

CallContent
Fields callOutput :: Variable callee :: Variable args :: [Value] callLocation :: Location

Instances

Instances details

FromJSON CallContent Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser CallContent # parseJSONList :: Value -> Parser [CallContent] # omittedField :: Maybe CallContent #
ToJSON CallContent Source #
Instance details Defined in Bitcode Methods toJSON :: CallContent -> Value # toEncoding :: CallContent -> Encoding # toJSONList :: [CallContent] -> Value # toEncodingList :: [CallContent] -> Encoding # omitField :: CallContent -> Bool #
Generic CallContent Source #
Instance details Defined in Bitcode Associated Types type Rep CallContent :: Type -> Type Methods from :: CallContent -> Rep CallContent x to :: Rep CallContent x -> CallContent
Show CallContent Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> CallContent -> ShowS show :: CallContent -> String showList :: [CallContent] -> ShowS
Eq CallContent Source #
Instance details Defined in Bitcode Methods (==) :: CallContent -> CallContent -> Bool (/=) :: CallContent -> CallContent -> Bool
Ord CallContent Source #
Instance details Defined in Bitcode Methods compare :: CallContent -> CallContent -> Ordering (<) :: CallContent -> CallContent -> Bool (<=) :: CallContent -> CallContent -> Bool (>) :: CallContent -> CallContent -> Bool (>=) :: CallContent -> CallContent -> Bool max :: CallContent -> CallContent -> CallContent min :: CallContent -> CallContent -> CallContent
type Rep CallContent Source #
Instance details Defined in Bitcode type Rep CallContent = D1 ('MetaData "CallContent" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "CallContent" 'PrefixI 'True) ((S1 ('MetaSel ('Just "callOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: S1 ('MetaSel ('Just "callee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable)) :: (S1 ('MetaSel ('Just "args") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Value]) :*: S1 ('MetaSel ('Just "callLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))))

data UnresolvedRefContent Source #

Constructors

UnresolvedRefContent
Fields unresolvedRefOutput :: Variable unresolvedRef :: Variable unresolvedRefLocation :: Location

Instances

Instances details

FromJSON UnresolvedRefContent Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser UnresolvedRefContent # parseJSONList :: Value -> Parser [UnresolvedRefContent] # omittedField :: Maybe UnresolvedRefContent #
ToJSON UnresolvedRefContent Source #
Instance details Defined in Bitcode Methods toJSON :: UnresolvedRefContent -> Value # toEncoding :: UnresolvedRefContent -> Encoding # toJSONList :: [UnresolvedRefContent] -> Value # toEncodingList :: [UnresolvedRefContent] -> Encoding # omitField :: UnresolvedRefContent -> Bool #
Generic UnresolvedRefContent Source #
Instance details Defined in Bitcode Associated Types type Rep UnresolvedRefContent :: Type -> Type Methods from :: UnresolvedRefContent -> Rep UnresolvedRefContent x to :: Rep UnresolvedRefContent x -> UnresolvedRefContent
Show UnresolvedRefContent Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> UnresolvedRefContent -> ShowS show :: UnresolvedRefContent -> String showList :: [UnresolvedRefContent] -> ShowS
Eq UnresolvedRefContent Source #
Instance details Defined in Bitcode Methods (==) :: UnresolvedRefContent -> UnresolvedRefContent -> Bool (/=) :: UnresolvedRefContent -> UnresolvedRefContent -> Bool
Ord UnresolvedRefContent Source #
Instance details Defined in Bitcode Methods compare :: UnresolvedRefContent -> UnresolvedRefContent -> Ordering (<) :: UnresolvedRefContent -> UnresolvedRefContent -> Bool (<=) :: UnresolvedRefContent -> UnresolvedRefContent -> Bool (>) :: UnresolvedRefContent -> UnresolvedRefContent -> Bool (>=) :: UnresolvedRefContent -> UnresolvedRefContent -> Bool max :: UnresolvedRefContent -> UnresolvedRefContent -> UnresolvedRefContent min :: UnresolvedRefContent -> UnresolvedRefContent -> UnresolvedRefContent
type Rep UnresolvedRefContent Source #
Instance details Defined in Bitcode type Rep UnresolvedRefContent = D1 ('MetaData "UnresolvedRefContent" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "UnresolvedRefContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "unresolvedRefOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: (S1 ('MetaSel ('Just "unresolvedRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: S1 ('MetaSel ('Just "unresolvedRefLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))))

data BinopContent Source #

Constructors

BinopContent
Fields binopOutput :: Variable binopLhs :: Value binopRhs :: Value

Instances

Instances details

FromJSON BinopContent Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser BinopContent # parseJSONList :: Value -> Parser [BinopContent] # omittedField :: Maybe BinopContent #
ToJSON BinopContent Source #
Instance details Defined in Bitcode Methods toJSON :: BinopContent -> Value # toEncoding :: BinopContent -> Encoding # toJSONList :: [BinopContent] -> Value # toEncodingList :: [BinopContent] -> Encoding # omitField :: BinopContent -> Bool #
Generic BinopContent Source #
Instance details Defined in Bitcode Associated Types type Rep BinopContent :: Type -> Type Methods from :: BinopContent -> Rep BinopContent x to :: Rep BinopContent x -> BinopContent
Show BinopContent Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> BinopContent -> ShowS show :: BinopContent -> String showList :: [BinopContent] -> ShowS
Eq BinopContent Source #
Instance details Defined in Bitcode Methods (==) :: BinopContent -> BinopContent -> Bool (/=) :: BinopContent -> BinopContent -> Bool
Ord BinopContent Source #
Instance details Defined in Bitcode Methods compare :: BinopContent -> BinopContent -> Ordering (<) :: BinopContent -> BinopContent -> Bool (<=) :: BinopContent -> BinopContent -> Bool (>) :: BinopContent -> BinopContent -> Bool (>=) :: BinopContent -> BinopContent -> Bool max :: BinopContent -> BinopContent -> BinopContent min :: BinopContent -> BinopContent -> BinopContent
type Rep BinopContent Source #
Instance details Defined in Bitcode type Rep BinopContent = D1 ('MetaData "BinopContent" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "BinopContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "binopOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: (S1 ('MetaSel ('Just "binopLhs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :: S1 ('MetaSel ('Just "binopRhs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value))))

data UnopContent Source #

Constructors

UnopContent
Fields unopOutput :: Variable unopLhs :: Value

Instances

Instances details

FromJSON UnopContent Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser UnopContent # parseJSONList :: Value -> Parser [UnopContent] # omittedField :: Maybe UnopContent #
ToJSON UnopContent Source #
Instance details Defined in Bitcode Methods toJSON :: UnopContent -> Value # toEncoding :: UnopContent -> Encoding # toJSONList :: [UnopContent] -> Value # toEncodingList :: [UnopContent] -> Encoding # omitField :: UnopContent -> Bool #
Generic UnopContent Source #
Instance details Defined in Bitcode Associated Types type Rep UnopContent :: Type -> Type Methods from :: UnopContent -> Rep UnopContent x to :: Rep UnopContent x -> UnopContent
Show UnopContent Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> UnopContent -> ShowS show :: UnopContent -> String showList :: [UnopContent] -> ShowS
Eq UnopContent Source #
Instance details Defined in Bitcode Methods (==) :: UnopContent -> UnopContent -> Bool (/=) :: UnopContent -> UnopContent -> Bool
Ord UnopContent Source #
Instance details Defined in Bitcode Methods compare :: UnopContent -> UnopContent -> Ordering (<) :: UnopContent -> UnopContent -> Bool (<=) :: UnopContent -> UnopContent -> Bool (>) :: UnopContent -> UnopContent -> Bool (>=) :: UnopContent -> UnopContent -> Bool max :: UnopContent -> UnopContent -> UnopContent min :: UnopContent -> UnopContent -> UnopContent
type Rep UnopContent Source #
Instance details Defined in Bitcode type Rep UnopContent = D1 ('MetaData "UnopContent" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "UnopContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "unopOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: S1 ('MetaSel ('Just "unopLhs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

data AssumeContent Source #

Constructors

AssumeContent
Fields assumeValue :: Value assumeTruthy :: Bool

Instances

Instances details

FromJSON AssumeContent Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser AssumeContent # parseJSONList :: Value -> Parser [AssumeContent] # omittedField :: Maybe AssumeContent #
ToJSON AssumeContent Source #
Instance details Defined in Bitcode Methods toJSON :: AssumeContent -> Value # toEncoding :: AssumeContent -> Encoding # toJSONList :: [AssumeContent] -> Value # toEncodingList :: [AssumeContent] -> Encoding # omitField :: AssumeContent -> Bool #
Generic AssumeContent Source #
Instance details Defined in Bitcode Associated Types type Rep AssumeContent :: Type -> Type Methods from :: AssumeContent -> Rep AssumeContent x to :: Rep AssumeContent x -> AssumeContent
Show AssumeContent Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> AssumeContent -> ShowS show :: AssumeContent -> String showList :: [AssumeContent] -> ShowS
Eq AssumeContent Source #
Instance details Defined in Bitcode Methods (==) :: AssumeContent -> AssumeContent -> Bool (/=) :: AssumeContent -> AssumeContent -> Bool
Ord AssumeContent Source #
Instance details Defined in Bitcode Methods compare :: AssumeContent -> AssumeContent -> Ordering (<) :: AssumeContent -> AssumeContent -> Bool (<=) :: AssumeContent -> AssumeContent -> Bool (>) :: AssumeContent -> AssumeContent -> Bool (>=) :: AssumeContent -> AssumeContent -> Bool max :: AssumeContent -> AssumeContent -> AssumeContent min :: AssumeContent -> AssumeContent -> AssumeContent
type Rep AssumeContent Source #
Instance details Defined in Bitcode type Rep AssumeContent = D1 ('MetaData "AssumeContent" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "AssumeContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "assumeValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :*: S1 ('MetaSel ('Just "assumeTruthy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

mkNopInstruction :: Location -> Instruction Source #

mkAssumeInstruction :: Value -> Bool -> Instruction Source #

data ReturnContent Source #

Constructors

ReturnContent
Fields returnValue :: Maybe Value

Instances

Instances details

FromJSON ReturnContent Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser ReturnContent # parseJSONList :: Value -> Parser [ReturnContent] # omittedField :: Maybe ReturnContent #
ToJSON ReturnContent Source #
Instance details Defined in Bitcode Methods toJSON :: ReturnContent -> Value # toEncoding :: ReturnContent -> Encoding # toJSONList :: [ReturnContent] -> Value # toEncodingList :: [ReturnContent] -> Encoding # omitField :: ReturnContent -> Bool #
Generic ReturnContent Source #
Instance details Defined in Bitcode Associated Types type Rep ReturnContent :: Type -> Type Methods from :: ReturnContent -> Rep ReturnContent x to :: Rep ReturnContent x -> ReturnContent
Show ReturnContent Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> ReturnContent -> ShowS show :: ReturnContent -> String showList :: [ReturnContent] -> ShowS
Eq ReturnContent Source #
Instance details Defined in Bitcode Methods (==) :: ReturnContent -> ReturnContent -> Bool (/=) :: ReturnContent -> ReturnContent -> Bool
Ord ReturnContent Source #
Instance details Defined in Bitcode Methods compare :: ReturnContent -> ReturnContent -> Ordering (<) :: ReturnContent -> ReturnContent -> Bool (<=) :: ReturnContent -> ReturnContent -> Bool (>) :: ReturnContent -> ReturnContent -> Bool (>=) :: ReturnContent -> ReturnContent -> Bool max :: ReturnContent -> ReturnContent -> ReturnContent min :: ReturnContent -> ReturnContent -> ReturnContent
type Rep ReturnContent Source #
Instance details Defined in Bitcode type Rep ReturnContent = D1 ('MetaData "ReturnContent" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "ReturnContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "returnValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value))))

data AssignContent Source #

Constructors

AssignContent
Fields assignOutput :: Variable assignInput :: Value

Instances

Instances details

FromJSON AssignContent Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser AssignContent # parseJSONList :: Value -> Parser [AssignContent] # omittedField :: Maybe AssignContent #
ToJSON AssignContent Source #
Instance details Defined in Bitcode Methods toJSON :: AssignContent -> Value # toEncoding :: AssignContent -> Encoding # toJSONList :: [AssignContent] -> Value # toEncodingList :: [AssignContent] -> Encoding # omitField :: AssignContent -> Bool #
Generic AssignContent Source #
Instance details Defined in Bitcode Associated Types type Rep AssignContent :: Type -> Type Methods from :: AssignContent -> Rep AssignContent x to :: Rep AssignContent x -> AssignContent
Show AssignContent Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> AssignContent -> ShowS show :: AssignContent -> String showList :: [AssignContent] -> ShowS
Eq AssignContent Source #
Instance details Defined in Bitcode Methods (==) :: AssignContent -> AssignContent -> Bool (/=) :: AssignContent -> AssignContent -> Bool
Ord AssignContent Source #
Instance details Defined in Bitcode Methods compare :: AssignContent -> AssignContent -> Ordering (<) :: AssignContent -> AssignContent -> Bool (<=) :: AssignContent -> AssignContent -> Bool (>) :: AssignContent -> AssignContent -> Bool (>=) :: AssignContent -> AssignContent -> Bool max :: AssignContent -> AssignContent -> AssignContent min :: AssignContent -> AssignContent -> AssignContent
type Rep AssignContent Source #
Instance details Defined in Bitcode type Rep AssignContent = D1 ('MetaData "AssignContent" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "AssignContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "assignOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: S1 ('MetaSel ('Just "assignInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

data ConstValue Source #

Constructors

ConstIntValue ConstInt
ConstStrValue ConstStr
ConstBoolValue ConstBool
ConstNullValue ConstNull

Instances

Instances details

FromJSON ConstValue Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser ConstValue # parseJSONList :: Value -> Parser [ConstValue] # omittedField :: Maybe ConstValue #
ToJSON ConstValue Source #
Instance details Defined in Bitcode Methods toJSON :: ConstValue -> Value # toEncoding :: ConstValue -> Encoding # toJSONList :: [ConstValue] -> Value # toEncodingList :: [ConstValue] -> Encoding # omitField :: ConstValue -> Bool #
Generic ConstValue Source #
Instance details Defined in Bitcode Associated Types type Rep ConstValue :: Type -> Type Methods from :: ConstValue -> Rep ConstValue x to :: Rep ConstValue x -> ConstValue
Show ConstValue Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> ConstValue -> ShowS show :: ConstValue -> String showList :: [ConstValue] -> ShowS
Eq ConstValue Source #
Instance details Defined in Bitcode Methods (==) :: ConstValue -> ConstValue -> Bool (/=) :: ConstValue -> ConstValue -> Bool
Ord ConstValue Source #
Instance details Defined in Bitcode Methods compare :: ConstValue -> ConstValue -> Ordering (<) :: ConstValue -> ConstValue -> Bool (<=) :: ConstValue -> ConstValue -> Bool (>) :: ConstValue -> ConstValue -> Bool (>=) :: ConstValue -> ConstValue -> Bool max :: ConstValue -> ConstValue -> ConstValue min :: ConstValue -> ConstValue -> ConstValue
type Rep ConstValue Source #
Instance details Defined in Bitcode type Rep ConstValue = D1 ('MetaData "ConstValue" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) ((C1 ('MetaCons "ConstIntValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstInt)) :+: C1 ('MetaCons "ConstStrValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstStr))) :+: (C1 ('MetaCons "ConstBoolValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstBool)) :+: C1 ('MetaCons "ConstNullValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstNull))))

data FieldReadContent Source #

Constructors

FieldReadContent
Fields fieldReadOutput :: Variable fieldReadInput :: Variable fieldReadName :: FieldName

Instances

Instances details

FromJSON FieldReadContent Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser FieldReadContent # parseJSONList :: Value -> Parser [FieldReadContent] # omittedField :: Maybe FieldReadContent #
ToJSON FieldReadContent Source #
Instance details Defined in Bitcode Methods toJSON :: FieldReadContent -> Value # toEncoding :: FieldReadContent -> Encoding # toJSONList :: [FieldReadContent] -> Value # toEncodingList :: [FieldReadContent] -> Encoding # omitField :: FieldReadContent -> Bool #
Generic FieldReadContent Source #
Instance details Defined in Bitcode Associated Types type Rep FieldReadContent :: Type -> Type Methods from :: FieldReadContent -> Rep FieldReadContent x to :: Rep FieldReadContent x -> FieldReadContent
Show FieldReadContent Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> FieldReadContent -> ShowS show :: FieldReadContent -> String showList :: [FieldReadContent] -> ShowS
Eq FieldReadContent Source #
Instance details Defined in Bitcode Methods (==) :: FieldReadContent -> FieldReadContent -> Bool (/=) :: FieldReadContent -> FieldReadContent -> Bool
Ord FieldReadContent Source #
Instance details Defined in Bitcode Methods compare :: FieldReadContent -> FieldReadContent -> Ordering (<) :: FieldReadContent -> FieldReadContent -> Bool (<=) :: FieldReadContent -> FieldReadContent -> Bool (>) :: FieldReadContent -> FieldReadContent -> Bool (>=) :: FieldReadContent -> FieldReadContent -> Bool max :: FieldReadContent -> FieldReadContent -> FieldReadContent min :: FieldReadContent -> FieldReadContent -> FieldReadContent
type Rep FieldReadContent Source #
Instance details Defined in Bitcode type Rep FieldReadContent = D1 ('MetaData "FieldReadContent" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "FieldReadContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "fieldReadOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: (S1 ('MetaSel ('Just "fieldReadInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: S1 ('MetaSel ('Just "fieldReadName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FieldName))))

data FieldWriteContent Source #

Constructors

FieldWriteContent
Fields fieldWriteOutput :: Variable fieldWriteName :: FieldName fieldWriteInput :: Value

Instances

Instances details

FromJSON FieldWriteContent Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser FieldWriteContent # parseJSONList :: Value -> Parser [FieldWriteContent] # omittedField :: Maybe FieldWriteContent #
ToJSON FieldWriteContent Source #
Instance details Defined in Bitcode Methods toJSON :: FieldWriteContent -> Value # toEncoding :: FieldWriteContent -> Encoding # toJSONList :: [FieldWriteContent] -> Value # toEncodingList :: [FieldWriteContent] -> Encoding # omitField :: FieldWriteContent -> Bool #
Generic FieldWriteContent Source #
Instance details Defined in Bitcode Associated Types type Rep FieldWriteContent :: Type -> Type Methods from :: FieldWriteContent -> Rep FieldWriteContent x to :: Rep FieldWriteContent x -> FieldWriteContent
Show FieldWriteContent Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> FieldWriteContent -> ShowS show :: FieldWriteContent -> String showList :: [FieldWriteContent] -> ShowS
Eq FieldWriteContent Source #
Instance details Defined in Bitcode Methods (==) :: FieldWriteContent -> FieldWriteContent -> Bool (/=) :: FieldWriteContent -> FieldWriteContent -> Bool
Ord FieldWriteContent Source #
Instance details Defined in Bitcode Methods compare :: FieldWriteContent -> FieldWriteContent -> Ordering (<) :: FieldWriteContent -> FieldWriteContent -> Bool (<=) :: FieldWriteContent -> FieldWriteContent -> Bool (>) :: FieldWriteContent -> FieldWriteContent -> Bool (>=) :: FieldWriteContent -> FieldWriteContent -> Bool max :: FieldWriteContent -> FieldWriteContent -> FieldWriteContent min :: FieldWriteContent -> FieldWriteContent -> FieldWriteContent
type Rep FieldWriteContent Source #
Instance details Defined in Bitcode type Rep FieldWriteContent = D1 ('MetaData "FieldWriteContent" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "FieldWriteContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "fieldWriteOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: (S1 ('MetaSel ('Just "fieldWriteName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FieldName) :: S1 ('MetaSel ('Just "fieldWriteInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value))))

data SubscriptReadContent Source #

Constructors

SubscriptReadContent
Fields subscriptReadOutput :: Variable subscriptReadInput :: Variable subscriptReadIdx :: Value

Instances

Instances details

FromJSON SubscriptReadContent Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser SubscriptReadContent # parseJSONList :: Value -> Parser [SubscriptReadContent] # omittedField :: Maybe SubscriptReadContent #
ToJSON SubscriptReadContent Source #
Instance details Defined in Bitcode Methods toJSON :: SubscriptReadContent -> Value # toEncoding :: SubscriptReadContent -> Encoding # toJSONList :: [SubscriptReadContent] -> Value # toEncodingList :: [SubscriptReadContent] -> Encoding # omitField :: SubscriptReadContent -> Bool #
Generic SubscriptReadContent Source #
Instance details Defined in Bitcode Associated Types type Rep SubscriptReadContent :: Type -> Type Methods from :: SubscriptReadContent -> Rep SubscriptReadContent x to :: Rep SubscriptReadContent x -> SubscriptReadContent
Show SubscriptReadContent Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> SubscriptReadContent -> ShowS show :: SubscriptReadContent -> String showList :: [SubscriptReadContent] -> ShowS
Eq SubscriptReadContent Source #
Instance details Defined in Bitcode Methods (==) :: SubscriptReadContent -> SubscriptReadContent -> Bool (/=) :: SubscriptReadContent -> SubscriptReadContent -> Bool
Ord SubscriptReadContent Source #
Instance details Defined in Bitcode Methods compare :: SubscriptReadContent -> SubscriptReadContent -> Ordering (<) :: SubscriptReadContent -> SubscriptReadContent -> Bool (<=) :: SubscriptReadContent -> SubscriptReadContent -> Bool (>) :: SubscriptReadContent -> SubscriptReadContent -> Bool (>=) :: SubscriptReadContent -> SubscriptReadContent -> Bool max :: SubscriptReadContent -> SubscriptReadContent -> SubscriptReadContent min :: SubscriptReadContent -> SubscriptReadContent -> SubscriptReadContent
type Rep SubscriptReadContent Source #
Instance details Defined in Bitcode type Rep SubscriptReadContent = D1 ('MetaData "SubscriptReadContent" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "SubscriptReadContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "subscriptReadOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: (S1 ('MetaSel ('Just "subscriptReadInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: S1 ('MetaSel ('Just "subscriptReadIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value))))

data SubscriptWriteContent Source #

Constructors

SubscriptWriteContent
Fields subscriptWriteOutput :: Variable subscriptWriteIdx :: Value subscriptWriteInput :: Value

Instances

Instances details

FromJSON SubscriptWriteContent Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser SubscriptWriteContent # parseJSONList :: Value -> Parser [SubscriptWriteContent] # omittedField :: Maybe SubscriptWriteContent #
ToJSON SubscriptWriteContent Source #
Instance details Defined in Bitcode Methods toJSON :: SubscriptWriteContent -> Value # toEncoding :: SubscriptWriteContent -> Encoding # toJSONList :: [SubscriptWriteContent] -> Value # toEncodingList :: [SubscriptWriteContent] -> Encoding # omitField :: SubscriptWriteContent -> Bool #
Generic SubscriptWriteContent Source #
Instance details Defined in Bitcode Associated Types type Rep SubscriptWriteContent :: Type -> Type Methods from :: SubscriptWriteContent -> Rep SubscriptWriteContent x to :: Rep SubscriptWriteContent x -> SubscriptWriteContent
Show SubscriptWriteContent Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> SubscriptWriteContent -> ShowS show :: SubscriptWriteContent -> String showList :: [SubscriptWriteContent] -> ShowS
Eq SubscriptWriteContent Source #
Instance details Defined in Bitcode Methods (==) :: SubscriptWriteContent -> SubscriptWriteContent -> Bool (/=) :: SubscriptWriteContent -> SubscriptWriteContent -> Bool
Ord SubscriptWriteContent Source #
Instance details Defined in Bitcode Methods compare :: SubscriptWriteContent -> SubscriptWriteContent -> Ordering (<) :: SubscriptWriteContent -> SubscriptWriteContent -> Bool (<=) :: SubscriptWriteContent -> SubscriptWriteContent -> Bool (>) :: SubscriptWriteContent -> SubscriptWriteContent -> Bool (>=) :: SubscriptWriteContent -> SubscriptWriteContent -> Bool max :: SubscriptWriteContent -> SubscriptWriteContent -> SubscriptWriteContent min :: SubscriptWriteContent -> SubscriptWriteContent -> SubscriptWriteContent
type Rep SubscriptWriteContent Source #
Instance details Defined in Bitcode type Rep SubscriptWriteContent = D1 ('MetaData "SubscriptWriteContent" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "SubscriptWriteContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "subscriptWriteOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: (S1 ('MetaSel ('Just "subscriptWriteIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :: S1 ('MetaSel ('Just "subscriptWriteInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value))))

data ParamDeclContent Source #

Constructors

ParamDeclContent
Fields paramVariable :: ParamVariable

Instances

Instances details

FromJSON ParamDeclContent Source #
Instance details Defined in Bitcode Methods parseJSON :: Value -> Parser ParamDeclContent # parseJSONList :: Value -> Parser [ParamDeclContent] # omittedField :: Maybe ParamDeclContent #
ToJSON ParamDeclContent Source #
Instance details Defined in Bitcode Methods toJSON :: ParamDeclContent -> Value # toEncoding :: ParamDeclContent -> Encoding # toJSONList :: [ParamDeclContent] -> Value # toEncodingList :: [ParamDeclContent] -> Encoding # omitField :: ParamDeclContent -> Bool #
Generic ParamDeclContent Source #
Instance details Defined in Bitcode Associated Types type Rep ParamDeclContent :: Type -> Type Methods from :: ParamDeclContent -> Rep ParamDeclContent x to :: Rep ParamDeclContent x -> ParamDeclContent
Show ParamDeclContent Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> ParamDeclContent -> ShowS show :: ParamDeclContent -> String showList :: [ParamDeclContent] -> ShowS
Eq ParamDeclContent Source #
Instance details Defined in Bitcode Methods (==) :: ParamDeclContent -> ParamDeclContent -> Bool (/=) :: ParamDeclContent -> ParamDeclContent -> Bool
Ord ParamDeclContent Source #
Instance details Defined in Bitcode Methods compare :: ParamDeclContent -> ParamDeclContent -> Ordering (<) :: ParamDeclContent -> ParamDeclContent -> Bool (<=) :: ParamDeclContent -> ParamDeclContent -> Bool (>) :: ParamDeclContent -> ParamDeclContent -> Bool (>=) :: ParamDeclContent -> ParamDeclContent -> Bool max :: ParamDeclContent -> ParamDeclContent -> ParamDeclContent min :: ParamDeclContent -> ParamDeclContent -> ParamDeclContent
type Rep ParamDeclContent Source #
Instance details Defined in Bitcode type Rep ParamDeclContent = D1 ('MetaData "ParamDeclContent" "Bitcode" "dhscanner-bitcode-1.0.10-inplace" 'False) (C1 ('MetaCons "ParamDeclContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "paramVariable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParamVariable)))

Nop
Call CallContent
Unop UnopContent
Binop BinopContent
Assume AssumeContent
Return ReturnContent
Assign AssignContent
ParamDecl ParamDeclContent
FieldRead FieldReadContent
FieldWrite FieldWriteContent
UnresolvedRef UnresolvedRefContent	Since: 1.0.5
SubscriptRead SubscriptReadContent
SubscriptWrite SubscriptWriteContent