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.
Its main purpose is to serve as the:
- second step for static code analysis
- part of the dhscanner framework for CI/CD container 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:
- the Asts (collection of all Ast objects from some code base) are sent for code generation
  - received through REST API as a JSON http request
  - Callable entities are identified
  - each Callable is associated with its control flow graph (Cfg)
- the collection of all Callables is returned
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
- | LoadImmStr StrContent
- | LoadImmInt IntContent
- | LoadImmBool BoolContent
- | ParamDecl ParamDeclContent
- | FieldRead FieldReadContent
- | FieldWrite FieldWriteContent
- | SubscriptRead SubscriptReadContent
- | SubscriptWrite SubscriptWriteContent
mkNopInstruction :: Location -> Instruction
data TmpVariable = TmpVariable {
- tmpVariableFqn :: Fqn
- tmpVariableLocation :: Location
}
data SrcVariable = SrcVariable {
- srcVariableFqn :: Fqn
- srcVariableToken :: VarName
}
data ArgContent = ArgContent {
- argVariableFqn :: Fqn
- argVariableSerialIdx :: Word
- argVariableMyAwesomeCallContext :: Location
}
data ParamVariable = ParamVariable {
- paramVariableFqn :: Fqn
- paramVariableSerialIdx :: Word
- paramVariableToken :: ParamName
}
data Variable
- = TmpVariableCtor TmpVariable
- | SrcVariableCtor SrcVariable
- | ParamVariableCtor ParamVariable
- | Arg ArgContent
variableFqn :: Variable -> Fqn
data Variables = Variables {
- actualVariables :: Set Variable
}
data SrcVariables = SrcVariables {
- actualSrcVariables :: Set SrcVariable
}
createEmptyCollectionOfGlobalVariables :: SrcVariables
data TmpVariables = TmpVariables {
- actualTmpVariables :: Set TmpVariable
}
locationVariable :: Variable -> Location
data CallContent = CallContent {
- callOutput :: Variable
- callee :: Variable
- args :: [Variable]
- callLocation :: Location
}
data BinopContent = BinopContent {
- binopOutput :: Variable
- binopLhs :: Variable
- binopRhs :: Variable
}
data UnopContent = UnopContent {
- unopOutput :: Variable
- unopLhs :: Variable
}
data AssumeContent = AssumeContent {
- assumeVariable :: Variable
- assumedValue :: Bool
}
mkAssumeInstruction :: Variable -> Bool -> Instruction
data ReturnContent = ReturnContent {
- returnValue :: Maybe Variable
}
data AssignContent = AssignContent {
- assignOutput :: Variable
- assignInput :: Variable
}
data IntContent = IntContent {
- loadImmIntOutput :: TmpVariable
- loadImmIntValue :: ConstInt
}
data StrContent = StrContent {
- loadImmStrOutput :: TmpVariable
- loadImmStrValue :: ConstStr
}
data BoolContent = BoolContent {
- loadImmBoolOutput :: TmpVariable
- loadImmBoolValue :: ConstBool
}
data FieldReadContent = FieldReadContent {
- fieldReadOutput :: Variable
- fieldReadInput :: Variable
- fieldReadName :: FieldName
}
data FieldWriteContent = FieldWriteContent {
- fieldWriteOutput :: Variable
- fieldWriteName :: FieldName
- fieldWriteInput :: Variable
}
data SubscriptReadContent = SubscriptReadContent {
- subscriptReadOutput :: Variable
- subscriptReadInput :: Variable
- subscriptReadIdx :: Variable
}
data SubscriptWriteContent = SubscriptWriteContent {
- subscriptWriteOutput :: Variable
- subscriptWriteIdx :: Variable
- subscriptWriteInput :: Variable
}
data ParamDeclContent = ParamDeclContent {
- paramVariable :: ParamVariable
}
output :: InstructionContent -> Maybe Variable
inputs :: InstructionContent -> Set Variable
variables :: InstructionContent -> Set Variable

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-0.1.0.3-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 cloud native programming languages and enabling easier static analysis

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-0.1.0.3-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 "LoadImmStr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StrContent)) :+: C1 ('MetaCons "LoadImmInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntContent))) :+: (C1 ('MetaCons "LoadImmBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BoolContent)) :+: 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 "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))))))

mkNopInstruction :: Location -> Instruction Source #

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-0.1.0.3-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-0.1.0.3-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 ArgContent Source #

Constructors

ArgContent
Fields argVariableFqn :: Fqn argVariableSerialIdx :: Word argVariableMyAwesomeCallContext :: Location

Instances

Instances details

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

data ParamVariable Source #

Constructors

ParamVariable
Fields paramVariableFqn :: Fqn paramVariableSerialIdx :: Word 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-0.1.0.3-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 Variable Source #

Constructors

TmpVariableCtor TmpVariable
SrcVariableCtor SrcVariable
ParamVariableCtor ParamVariable
Arg ArgContent

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-0.1.0.3-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)) :+: C1 ('MetaCons "Arg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArgContent))))

variableFqn :: Variable -> Fqn Source #

data Variables Source #

Can not be serialized to JSON

Constructors

Variables
Fields actualVariables :: Set Variable

Instances

Instances details

Show Variables Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> Variables -> ShowS show :: Variables -> String showList :: [Variables] -> ShowS
Eq Variables Source #
Instance details Defined in Bitcode Methods (==) :: Variables -> Variables -> Bool (/=) :: Variables -> Variables -> Bool
Ord Variables Source #
Instance details Defined in Bitcode Methods compare :: Variables -> Variables -> Ordering (<) :: Variables -> Variables -> Bool (<=) :: Variables -> Variables -> Bool (>) :: Variables -> Variables -> Bool (>=) :: Variables -> Variables -> Bool max :: Variables -> Variables -> Variables min :: Variables -> Variables -> Variables

data SrcVariables Source #

Constructors

SrcVariables
Fields actualSrcVariables :: Set SrcVariable

Instances

Instances details

Show SrcVariables Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> SrcVariables -> ShowS show :: SrcVariables -> String showList :: [SrcVariables] -> ShowS
Eq SrcVariables Source #
Instance details Defined in Bitcode Methods (==) :: SrcVariables -> SrcVariables -> Bool (/=) :: SrcVariables -> SrcVariables -> Bool
Ord SrcVariables Source #
Instance details Defined in Bitcode Methods compare :: SrcVariables -> SrcVariables -> Ordering (<) :: SrcVariables -> SrcVariables -> Bool (<=) :: SrcVariables -> SrcVariables -> Bool (>) :: SrcVariables -> SrcVariables -> Bool (>=) :: SrcVariables -> SrcVariables -> Bool max :: SrcVariables -> SrcVariables -> SrcVariables min :: SrcVariables -> SrcVariables -> SrcVariables

createEmptyCollectionOfGlobalVariables :: SrcVariables Source #

Creating an empty collection of global variables

data TmpVariables Source #

Can not be serialized to JSON

Constructors

TmpVariables
Fields actualTmpVariables :: Set TmpVariable

Instances

Instances details

Show TmpVariables Source #
Instance details Defined in Bitcode Methods showsPrec :: Int -> TmpVariables -> ShowS show :: TmpVariables -> String showList :: [TmpVariables] -> ShowS
Eq TmpVariables Source #
Instance details Defined in Bitcode Methods (==) :: TmpVariables -> TmpVariables -> Bool (/=) :: TmpVariables -> TmpVariables -> Bool
Ord TmpVariables Source #
Instance details Defined in Bitcode Methods compare :: TmpVariables -> TmpVariables -> Ordering (<) :: TmpVariables -> TmpVariables -> Bool (<=) :: TmpVariables -> TmpVariables -> Bool (>) :: TmpVariables -> TmpVariables -> Bool (>=) :: TmpVariables -> TmpVariables -> Bool max :: TmpVariables -> TmpVariables -> TmpVariables min :: TmpVariables -> TmpVariables -> TmpVariables

locationVariable :: Variable -> Location Source #

data CallContent Source #

Constructors

CallContent
Fields callOutput :: Variable callee :: Variable args :: [Variable] 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-0.1.0.3-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 [Variable]) :*: S1 ('MetaSel ('Just "callLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))))

data BinopContent Source #

Constructors

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

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-0.1.0.3-inplace" 'False) (C1 ('MetaCons "BinopContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "binopOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: (S1 ('MetaSel ('Just "binopLhs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: S1 ('MetaSel ('Just "binopRhs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable))))

data UnopContent Source #

Constructors

UnopContent
Fields unopOutput :: Variable unopLhs :: Variable

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-0.1.0.3-inplace" 'False) (C1 ('MetaCons "UnopContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "unopOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: S1 ('MetaSel ('Just "unopLhs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable)))

data AssumeContent Source #

Constructors

AssumeContent
Fields assumeVariable :: Variable assumedValue :: 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-0.1.0.3-inplace" 'False) (C1 ('MetaCons "AssumeContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "assumeVariable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: S1 ('MetaSel ('Just "assumedValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

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

data ReturnContent Source #

Constructors

ReturnContent
Fields returnValue :: Maybe Variable

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-0.1.0.3-inplace" 'False) (C1 ('MetaCons "ReturnContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "returnValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Variable))))

data AssignContent Source #

Constructors

AssignContent
Fields assignOutput :: Variable assignInput :: Variable

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-0.1.0.3-inplace" 'False) (C1 ('MetaCons "AssignContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "assignOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: S1 ('MetaSel ('Just "assignInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable)))

data IntContent Source #

Constructors

IntContent
Fields loadImmIntOutput :: TmpVariable loadImmIntValue :: ConstInt

Instances

Instances details

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

data StrContent Source #

Constructors

StrContent
Fields loadImmStrOutput :: TmpVariable loadImmStrValue :: ConstStr

Instances

Instances details

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

data BoolContent Source #

Constructors

BoolContent
Fields loadImmBoolOutput :: TmpVariable loadImmBoolValue :: ConstBool

Instances

Instances details

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

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-0.1.0.3-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 :: Variable

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-0.1.0.3-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 Variable))))

data SubscriptReadContent Source #

Constructors

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

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-0.1.0.3-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 Variable))))

data SubscriptWriteContent Source #

Constructors

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

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-0.1.0.3-inplace" 'False) (C1 ('MetaCons "SubscriptWriteContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "subscriptWriteOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: (S1 ('MetaSel ('Just "subscriptWriteIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: S1 ('MetaSel ('Just "subscriptWriteInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable))))

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-0.1.0.3-inplace" 'False) (C1 ('MetaCons "ParamDeclContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "paramVariable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParamVariable)))

output :: InstructionContent -> Maybe Variable Source #

some instructions don't have an output variable
- Nop, Assume, Return etc.
other instructions have exactly one output variable

inputs :: InstructionContent -> Set Variable Source #

some instructions don't have input variables at all
other instructions have multiple input variables

variables :: InstructionContent -> Set Variable Source #

Nop
Call CallContent
Unop UnopContent
Binop BinopContent
Assume AssumeContent
Return ReturnContent
Assign AssignContent
LoadImmStr StrContent
LoadImmInt IntContent
LoadImmBool BoolContent
ParamDecl ParamDeclContent
FieldRead FieldReadContent
FieldWrite FieldWriteContent
SubscriptRead SubscriptReadContent
SubscriptWrite SubscriptWriteContent