Index

_

_add() (lyra.abstract_domains.assumption.quantity_domain.QuantityLattice method) (lyra.abstract_domains.assumption.range_domain.RangeLattice method) (lyra.abstract_domains.numerical.interval_domain.IntervalLattice method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) _assign() (lyra.abstract_domains.liveness.liveness_domain.LivenessState method) (lyra.abstract_domains.liveness.liveness_domain.StrongLivenessState method) (lyra.abstract_domains.numerical.interval_domain.IntervalState method) (lyra.abstract_domains.numerical.sign_domain.SignState method) (lyra.abstract_domains.string.character_domain.CharacterState method) (lyra.abstract_domains.usage.usage_domain.SimpleUsageState method) _assume() (lyra.abstract_domains.assumption.alphabet_domain.AlphabetState method) (lyra.abstract_domains.assumption.assumption_domain.AssumptionState method) (lyra.abstract_domains.assumption.assumption_domain.TypeAlphabetAssumptionState method) (lyra.abstract_domains.assumption.assumption_domain.TypeQuantityAssumptionState method) (lyra.abstract_domains.assumption.assumption_domain.TypeRangeAlphabetAssumptionState method) (lyra.abstract_domains.assumption.assumption_domain.TypeRangeAssumptionState method) (lyra.abstract_domains.assumption.quantity_domain.QuantityState method) (lyra.abstract_domains.assumption.range_domain.RangeState method) (lyra.abstract_domains.assumption.type_domain.TypeState method) (lyra.abstract_domains.liveness.liveness_domain.LivenessState method) (lyra.abstract_domains.liveness.liveness_domain.StrongLivenessState method) (lyra.abstract_domains.numerical.interval_domain.IntervalState method) (lyra.abstract_domains.numerical.sign_domain.SignState method) (lyra.abstract_domains.string.character_domain.CharacterState method) (lyra.abstract_domains.usage.usage_domain.SimpleUsageState method) _concat() (lyra.abstract_domains.assumption.alphabet_domain.AlphabetLattice method) (lyra.abstract_domains.string.character_domain.CharacterLattice method) _join() (lyra.abstract_domains.assumption.alphabet_domain.AlphabetLattice method) (lyra.abstract_domains.assumption.quantity_domain.QuantityLattice method) (lyra.abstract_domains.assumption.range_domain.RangeLattice method) (lyra.abstract_domains.assumption.type_domain.TypeLattice method) (lyra.abstract_domains.liveness.liveness_domain.LivenessLattice method) (lyra.abstract_domains.numerical.interval_domain.IntervalLattice method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) (lyra.abstract_domains.stack.Stack method) (lyra.abstract_domains.store.Store method) (lyra.abstract_domains.string.character_domain.CharacterLattice method) (lyra.abstract_domains.usage.usage_domain.SimpleUsageStore method) (lyra.abstract_domains.usage.usage_domain.UsageStore method) (lyra.abstract_domains.usage.usage_lattice.UsageLattice method) _less_equal() (lyra.abstract_domains.assumption.alphabet_domain.AlphabetLattice method) (lyra.abstract_domains.assumption.quantity_domain.QuantityLattice method) (lyra.abstract_domains.assumption.range_domain.RangeLattice method) (lyra.abstract_domains.assumption.type_domain.TypeLattice method) (lyra.abstract_domains.liveness.liveness_domain.LivenessLattice method) (lyra.abstract_domains.numerical.interval_domain.IntervalLattice method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) (lyra.abstract_domains.stack.Stack method) (lyra.abstract_domains.store.Store method) (lyra.abstract_domains.string.character_domain.CharacterLattice method) (lyra.abstract_domains.usage.usage_domain.SimpleUsageStore method) (lyra.abstract_domains.usage.usage_domain.UsageStore method) (lyra.abstract_domains.usage.usage_lattice.UsageLattice method)

_meet() (lyra.abstract_domains.assumption.alphabet_domain.AlphabetLattice method) (lyra.abstract_domains.assumption.quantity_domain.QuantityLattice method) (lyra.abstract_domains.assumption.range_domain.RangeLattice method) (lyra.abstract_domains.assumption.type_domain.TypeLattice method) (lyra.abstract_domains.liveness.liveness_domain.LivenessLattice method) (lyra.abstract_domains.numerical.interval_domain.IntervalLattice method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) (lyra.abstract_domains.stack.Stack method) (lyra.abstract_domains.store.Store method) (lyra.abstract_domains.string.character_domain.CharacterLattice method) (lyra.abstract_domains.usage.usage_domain.SimpleUsageStore method) (lyra.abstract_domains.usage.usage_domain.UsageStore method) (lyra.abstract_domains.usage.usage_lattice.UsageLattice method) _mult() (lyra.abstract_domains.assumption.quantity_domain.QuantityLattice method) (lyra.abstract_domains.assumption.range_domain.RangeLattice method) (lyra.abstract_domains.numerical.interval_domain.IntervalLattice method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) _neg() (lyra.abstract_domains.assumption.quantity_domain.QuantityLattice method) (lyra.abstract_domains.assumption.range_domain.RangeLattice method) (lyra.abstract_domains.numerical.interval_domain.IntervalLattice method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) _output() (lyra.abstract_domains.liveness.liveness_domain.LivenessState method) (lyra.abstract_domains.liveness.liveness_domain.StrongLivenessState method) (lyra.abstract_domains.numerical.interval_domain.IntervalState method) (lyra.abstract_domains.numerical.sign_domain.SignState method) (lyra.abstract_domains.usage.usage_domain.SimpleUsageState method) _sub() (lyra.abstract_domains.assumption.quantity_domain.QuantityLattice method) (lyra.abstract_domains.assumption.range_domain.RangeLattice method) (lyra.abstract_domains.numerical.interval_domain.IntervalLattice method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) _substitute() (lyra.abstract_domains.assumption.alphabet_domain.AlphabetState method) (lyra.abstract_domains.assumption.assumption_domain.AssumptionState method) (lyra.abstract_domains.assumption.assumption_domain.TypeAlphabetAssumptionState method) (lyra.abstract_domains.assumption.assumption_domain.TypeQuantityAssumptionState method) (lyra.abstract_domains.assumption.assumption_domain.TypeRangeAlphabetAssumptionState method) (lyra.abstract_domains.assumption.assumption_domain.TypeRangeAssumptionState method) (lyra.abstract_domains.assumption.quantity_domain.QuantityState method) (lyra.abstract_domains.assumption.range_domain.RangeState method) (lyra.abstract_domains.assumption.type_domain.TypeState method) (lyra.abstract_domains.liveness.liveness_domain.LivenessState method) (lyra.abstract_domains.liveness.liveness_domain.StrongLivenessState method) (lyra.abstract_domains.numerical.interval_domain.IntervalState method) (lyra.abstract_domains.numerical.sign_domain.SignState method) (lyra.abstract_domains.string.character_domain.CharacterState method) (lyra.abstract_domains.usage.usage_domain.SimpleUsageState method) _widening() (lyra.abstract_domains.assumption.alphabet_domain.AlphabetLattice method) (lyra.abstract_domains.assumption.quantity_domain.QuantityLattice method) (lyra.abstract_domains.assumption.range_domain.RangeLattice method) (lyra.abstract_domains.assumption.type_domain.TypeLattice method) (lyra.abstract_domains.liveness.liveness_domain.LivenessLattice method) (lyra.abstract_domains.numerical.interval_domain.IntervalLattice method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) (lyra.abstract_domains.string.character_domain.CharacterLattice method) (lyra.abstract_domains.usage.usage_lattice.UsageLattice method)

A

Add (lyra.core.expressions.BinaryArithmeticOperation.Operator attribute) (lyra.core.expressions.UnaryArithmeticOperation.Operator attribute) add() (lyra.abstract_domains.lattice.ArithmeticMixin method) add_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) add_edge() (lyra.frontend.cfg_generator.LooseControlFlowGraph method) add_node() (lyra.frontend.cfg_generator.LooseControlFlowGraph method) add_stmts() (lyra.frontend.cfg_generator.CFGFactory method) add_variable() (lyra.abstract_domains.state.EnvironmentMixin method) AlphabetAnalysis (class in lyra.engine.assumption.assumption_analysis) AlphabetLattice (class in lyra.abstract_domains.assumption.alphabet_domain) AlphabetState (class in lyra.abstract_domains.assumption.alphabet_domain) AlphabetState.ExpressionRefinement (class in lyra.abstract_domains.assumption.alphabet_domain) AnalysisResult (class in lyra.engine.result) analyze() (lyra.engine.backward.BackwardInterpreter method) (lyra.engine.forward.ForwardInterpreter method) (lyra.engine.interpreter.Interpreter method) And (lyra.core.expressions.BinaryBooleanOperation.Operator attribute) and_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) append() (lyra.frontend.cfg_generator.LooseControlFlowGraph method)

append_call_semantics() (lyra.semantics.forward.ForwardSemantics method) append_cfg() (lyra.frontend.cfg_generator.CFGFactory method) arguments (lyra.abstract_domains.store.Store attribute) (lyra.core.statements.Call attribute) ArithmeticMixin (class in lyra.abstract_domains.lattice) assign() (lyra.abstract_domains.state.State method) Assignment (class in lyra.core.statements) assignment_semantics() (lyra.semantics.backward.AssignmentSemantics method) (lyra.semantics.forward.AssignmentSemantics method) AssignmentSemantics (class in lyra.semantics.backward) (class in lyra.semantics.forward) assume() (lyra.abstract_domains.state.State method) AssumptionState (class in lyra.abstract_domains.assumption.assumption_domain) AssumptionState.InputStack (class in lyra.abstract_domains.assumption.assumption_domain) AssumptionState.InputStack.InputLattice (class in lyra.abstract_domains.assumption.assumption_domain) AssumptionState.InputStack.InputReplacement (class in lyra.abstract_domains.assumption.assumption_domain) AssumptionState.InputStack.Scope (class in lyra.abstract_domains.assumption.assumption_domain) ast_to_cfg() (in module lyra.frontend.cfg_generator) attribute (lyra.core.expressions.AttributeReference attribute) AttributeReference (class in lyra.core.expressions)

B

BackwardCharacterAnalysis (class in lyra.engine.string.character_analysis) BackwardInterpreter (class in lyra.engine.backward) BackwardIntervalAnalysis (class in lyra.engine.numerical.interval_analysis) BackwardSemantics (class in lyra.semantics.backward) BackwardSignAnalysis (class in lyra.engine.numerical.sign_analysis) Basic (class in lyra.core.cfg) BasicConstraint (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputLattice attribute) Basis (class in lyra.abstract_domains.basis) Basis.ExpressionEvaluation (class in lyra.abstract_domains.basis) Basis.ExpressionRefinement (class in lyra.abstract_domains.basis) Basis.LengthEvaluation (class in lyra.abstract_domains.basis) before() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState method) (lyra.abstract_domains.state.State method) big_join() (lyra.abstract_domains.lattice.Lattice method) big_meet() (lyra.abstract_domains.lattice.Lattice method) BinaryArithmeticOperation (class in lyra.core.expressions) BinaryArithmeticOperation.Operator (class in lyra.core.expressions) BinaryBooleanOperation (class in lyra.core.expressions) BinaryBooleanOperation.Operator (class in lyra.core.expressions) BinaryComparisonOperation (class in lyra.core.expressions) BinaryComparisonOperation.Operator (class in lyra.core.expressions) BinaryOperation (class in lyra.core.expressions)

BinaryOperation.Operator (class in lyra.core.expressions) BinarySequenceOperation (class in lyra.core.expressions) BinarySequenceOperation.Operator (class in lyra.core.expressions) bool_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) Boolean (lyra.abstract_domains.assumption.type_domain.TypeLattice.Status attribute) boolean() (lyra.abstract_domains.assumption.type_domain.TypeLattice method) BooleanLyraType (class in lyra.core.types) BooleanMixin (class in lyra.abstract_domains.lattice) both_loose_edges (lyra.frontend.cfg_generator.LooseControlFlowGraph attribute) BOTTOM (lyra.abstract_domains.lattice.KindMixin.Kind attribute) bottom() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState method) (lyra.abstract_domains.lattice.BottomMixin method) (lyra.abstract_domains.lattice.BoundedLattice method) (lyra.abstract_domains.lattice.Lattice method) (lyra.abstract_domains.liveness.liveness_domain.LivenessLattice method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) (lyra.abstract_domains.store.Store method) (lyra.abstract_domains.usage.usage_lattice.UsageLattice method) BottomMixin (class in lyra.abstract_domains.lattice) BoundedLattice (class in lyra.abstract_domains.lattice) Branch (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.Scope attribute) BREAK (lyra.frontend.cfg_generator.LooseControlFlowGraph.SpecialEdgeType attribute) BuiltInCallSemantics (class in lyra.semantics.semantics)

C

Call (class in lyra.core.expressions) (class in lyra.core.statements) call_semantics() (lyra.semantics.semantics.CallSemantics method) CallSemantics (class in lyra.semantics.semantics) camel_to_snake() (in module lyra.semantics.semantics) certainly (lyra.abstract_domains.string.character_domain.CharacterLattice attribute) cfg (lyra.engine.interpreter.Interpreter attribute) (lyra.engine.result.AnalysisResult attribute) (lyra.engine.runner.Runner attribute) (lyra.frontend.cfg_generator.CFGFactory attribute) CFGFactory (class in lyra.frontend.cfg_generator) CFGVisitor (class in lyra.frontend.cfg_generator) CFGVisitor.NodeIdentifierGenerator (class in lyra.frontend.cfg_generator) CharacterLattice (class in lyra.abstract_domains.string.character_domain) CharacterState (class in lyra.abstract_domains.string.character_domain)

CharacterState.ExpressionEvaluation (class in lyra.abstract_domains.string.character_domain) CharacterState.ExpressionRefinement (class in lyra.abstract_domains.string.character_domain) column (lyra.core.statements.ProgramPoint attribute) combine() (lyra.frontend.cfg_generator.LooseControlFlowGraph method) compl() (lyra.abstract_domains.lattice.BooleanMixin method) complete_basic_block() (lyra.frontend.cfg_generator.CFGFactory method) Concat (lyra.core.expressions.BinarySequenceOperation.Operator attribute) concat() (lyra.abstract_domains.lattice.SequenceMixin method) condition (lyra.core.cfg.Conditional attribute) Conditional (class in lyra.core.cfg) conj() (lyra.abstract_domains.lattice.BooleanMixin method) constraints (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputLattice attribute) ContainerLyraType (class in lyra.core.types) CONTINUE (lyra.frontend.cfg_generator.LooseControlFlowGraph.SpecialEdgeType attribute) ControlFlowGraph (class in lyra.core.cfg) copy_docstring() (in module lyra.core.utils)

D

Dead (lyra.abstract_domains.liveness.liveness_domain.LivenessLattice.Status attribute) decrease() (lyra.abstract_domains.usage.usage_domain.UsageStore method) (lyra.abstract_domains.usage.usage_lattice.UsageLattice method) DEFAULT (lyra.abstract_domains.lattice.KindMixin.Kind attribute) (lyra.core.cfg.Edge.Kind attribute) DefaultBackwardSemantics (class in lyra.semantics.backward) DefaultForwardSemantics (class in lyra.semantics.forward) DefaultSemantics (class in lyra.semantics.semantics)

dict_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) dict_display_access_semantics() (lyra.semantics.semantics.ExpressionSemantics method) DictDisplay (class in lyra.core.expressions) DictDisplayAccess (class in lyra.core.statements) DictLyraType (class in lyra.core.types) disj() (lyra.abstract_domains.lattice.BooleanMixin method) Div (lyra.core.expressions.BinaryArithmeticOperation.Operator attribute) div() (lyra.abstract_domains.lattice.ArithmeticMixin method) div_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method)

E

Edge (class in lyra.core.cfg) Edge.Kind (class in lyra.core.cfg) edges (lyra.core.cfg.ControlFlowGraph attribute) (lyra.frontend.cfg_generator.LooseControlFlowGraph attribute) eject() (lyra.frontend.cfg_generator.LooseControlFlowGraph method) element (lyra.abstract_domains.assumption.type_domain.TypeLattice attribute) (lyra.abstract_domains.liveness.liveness_domain.LivenessLattice attribute) (lyra.abstract_domains.usage.usage_lattice.UsageLattice attribute) enter_if() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState method) (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack method) (lyra.abstract_domains.assumption.type_domain.TypeState method) (lyra.abstract_domains.basis.Basis method) (lyra.abstract_domains.liveness.liveness_domain.LivenessState method) (lyra.abstract_domains.state.State method) (lyra.abstract_domains.usage.usage_domain.SimpleUsageState method) enter_loop() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState method) (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack method) (lyra.abstract_domains.assumption.type_domain.TypeState method) (lyra.abstract_domains.basis.Basis method) (lyra.abstract_domains.liveness.liveness_domain.LivenessState method) (lyra.abstract_domains.state.State method) (lyra.abstract_domains.usage.usage_domain.SimpleUsageState method)

EnvironmentMixin (class in lyra.abstract_domains.state) Eq (lyra.core.expressions.BinaryComparisonOperation.Operator attribute) eq_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) exit_if() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState method) (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack method) (lyra.abstract_domains.assumption.type_domain.TypeState method) (lyra.abstract_domains.basis.Basis method) (lyra.abstract_domains.liveness.liveness_domain.LivenessState method) (lyra.abstract_domains.state.State method) (lyra.abstract_domains.usage.usage_domain.SimpleUsageState method) exit_loop() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState method) (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack method) (lyra.abstract_domains.assumption.type_domain.TypeState method) (lyra.abstract_domains.basis.Basis method) (lyra.abstract_domains.liveness.liveness_domain.LivenessState method) (lyra.abstract_domains.state.State method) (lyra.abstract_domains.usage.usage_domain.SimpleUsageState method) Expression (class in lyra.core.expressions) expression (lyra.core.expressions.UnaryOperation attribute) ExpressionAccess (class in lyra.core.statements) ExpressionSemantics (class in lyra.semantics.semantics) ExpressionVisitor (class in lyra.core.expressions)

F

false() (lyra.abstract_domains.lattice.BooleanMixin method) (lyra.abstract_domains.numerical.interval_domain.IntervalLattice method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) filter() (lyra.abstract_domains.state.State method) Float (lyra.abstract_domains.assumption.type_domain.TypeLattice.Status attribute) float() (lyra.abstract_domains.assumption.type_domain.TypeLattice method) float_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) FloatLyraType (class in lyra.core.types) forget_variable() (lyra.abstract_domains.state.EnvironmentMixin method) ForwardCharacterAnalysis (class in lyra.engine.string.character_analysis) ForwardInterpreter (class in lyra.engine.forward)

ForwardIntervalAnalysis (class in lyra.engine.numerical.interval_analysis) ForwardSemantics (class in lyra.semantics.forward) ForwardSignAnalysis (class in lyra.engine.numerical.sign_analysis) from_json() (lyra.abstract_domains.assumption.alphabet_domain.AlphabetLattice static method) (lyra.abstract_domains.assumption.assumption_domain.JSONMixin static method) (lyra.abstract_domains.assumption.quantity_domain.QuantityLattice static method) (lyra.abstract_domains.assumption.range_domain.RangeLattice static method) (lyra.abstract_domains.assumption.type_domain.TypeLattice static method) from_literal() (lyra.abstract_domains.numerical.interval_domain.IntervalLattice class method) (lyra.abstract_domains.numerical.sign_domain.SignLattice class method) (lyra.abstract_domains.string.character_domain.CharacterLattice class method) from_lyra_type() (lyra.abstract_domains.assumption.type_domain.TypeLattice class method)

G

generic_visit() (lyra.core.expressions.ExpressionVisitor method) (lyra.frontend.cfg_generator.CFGVisitor method) get_node_result() (lyra.engine.result.AnalysisResult method)

Gt (lyra.core.expressions.BinaryComparisonOperation.Operator attribute) gt_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) GtE (lyra.core.expressions.BinaryComparisonOperation.Operator attribute) gte_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method)

I

Identifier (class in lyra.core.expressions) identifier (lyra.core.cfg.Node attribute) ids() (lyra.core.expressions.Expression method) IF_IN (lyra.core.cfg.Edge.Kind attribute) IF_OUT (lyra.core.cfg.Edge.Kind attribute) In (lyra.core.expressions.BinaryComparisonOperation.Operator attribute) in_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) in_edges() (lyra.core.cfg.ControlFlowGraph method) in_node (lyra.core.cfg.ControlFlowGraph attribute) (lyra.frontend.cfg_generator.LooseControlFlowGraph attribute) incomplete_block() (lyra.frontend.cfg_generator.CFGFactory method) increase() (lyra.abstract_domains.usage.usage_domain.UsageStore method) (lyra.abstract_domains.usage.usage_lattice.UsageLattice method) Input (class in lyra.core.expressions) input_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) InputConstraint (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputLattice attribute) InputLattice (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputLattice attribute) InputMixin (class in lyra.abstract_domains.assumption.assumption_domain) int_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) Integer (lyra.abstract_domains.assumption.type_domain.TypeLattice.Status attribute) integer() (lyra.abstract_domains.assumption.type_domain.TypeLattice method) IntegerLyraType (class in lyra.core.types) Interpreter (class in lyra.engine.interpreter) interpreter() (lyra.engine.assumption.assumption_analysis.AlphabetAnalysis method) (lyra.engine.assumption.assumption_analysis.QuantityAnalysis method) (lyra.engine.assumption.assumption_analysis.RangeAnalysis method) (lyra.engine.assumption.assumption_analysis.TypeAlphabetAssumptionAnalysis method) (lyra.engine.assumption.assumption_analysis.TypeAnalysis method) (lyra.engine.assumption.assumption_analysis.TypeQuantityAssumptionAnalysis method) (lyra.engine.assumption.assumption_analysis.TypeRangeAlphabetAssumptionAnalysis method) (lyra.engine.assumption.assumption_analysis.TypeRangeAssumptionAnalysis method) (lyra.engine.liveness.liveness_analysis.LivenessAnalysis method) (lyra.engine.numerical.interval_analysis.BackwardIntervalAnalysis method) (lyra.engine.numerical.interval_analysis.ForwardIntervalAnalysis method) (lyra.engine.numerical.sign_analysis.BackwardSignAnalysis method) (lyra.engine.numerical.sign_analysis.ForwardSignAnalysis method) (lyra.engine.runner.Runner method) (lyra.engine.string.character_analysis.BackwardCharacterAnalysis method) (lyra.engine.string.character_analysis.ForwardCharacterAnalysis method) (lyra.engine.usage.usage_analysis.SimpleUsageAnalysis method) IntervalLattice (class in lyra.abstract_domains.numerical.interval_domain) IntervalState (class in lyra.abstract_domains.numerical.interval_domain) IntervalState.ExpressionEvaluation (class in lyra.abstract_domains.numerical.interval_domain) Is (lyra.core.expressions.BinaryComparisonOperation.Operator attribute) is_boolean() (lyra.abstract_domains.assumption.type_domain.TypeLattice method) is_bottom() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState method) (lyra.abstract_domains.basis.Basis method) (lyra.abstract_domains.lattice.BottomMixin method) (lyra.abstract_domains.lattice.BoundedLattice method) (lyra.abstract_domains.lattice.Lattice method) (lyra.abstract_domains.liveness.liveness_domain.LivenessLattice method) (lyra.abstract_domains.liveness.liveness_domain.LivenessState method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) (lyra.abstract_domains.store.Store method) (lyra.abstract_domains.usage.usage_domain.UsageStore method) (lyra.abstract_domains.usage.usage_lattice.UsageLattice method)

is_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) is_false() (lyra.abstract_domains.lattice.BooleanMixin method) (lyra.abstract_domains.numerical.interval_domain.IntervalLattice method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) is_float() (lyra.abstract_domains.assumption.type_domain.TypeLattice method) is_integer() (lyra.abstract_domains.assumption.type_domain.TypeLattice method) is_maybe() (lyra.abstract_domains.lattice.BooleanMixin method) (lyra.abstract_domains.numerical.interval_domain.IntervalLattice method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) is_negative() (lyra.abstract_domains.numerical.sign_domain.SignLattice method) is_positive() (lyra.abstract_domains.numerical.sign_domain.SignLattice method) is_scoped() (lyra.abstract_domains.usage.usage_lattice.UsageLattice method) is_top() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState method) (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputLattice method) (lyra.abstract_domains.assumption.type_domain.TypeLattice method) (lyra.abstract_domains.lattice.BoundedLattice method) (lyra.abstract_domains.lattice.Lattice method) (lyra.abstract_domains.lattice.TopMixin method) (lyra.abstract_domains.liveness.liveness_domain.LivenessLattice method) (lyra.abstract_domains.numerical.interval_domain.IntervalLattice method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) (lyra.abstract_domains.store.Store method) (lyra.abstract_domains.string.character_domain.CharacterLattice method) (lyra.abstract_domains.usage.usage_lattice.UsageLattice method) is_true() (lyra.abstract_domains.lattice.BooleanMixin method) (lyra.abstract_domains.numerical.interval_domain.IntervalLattice method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) is_written() (lyra.abstract_domains.usage.usage_lattice.UsageLattice method) is_zero() (lyra.abstract_domains.numerical.sign_domain.SignLattice method) IsNot (lyra.core.expressions.BinaryComparisonOperation.Operator attribute) isnot_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) Items (class in lyra.core.expressions) items (lyra.core.expressions.ListDisplay attribute) (lyra.core.expressions.SetDisplay attribute) (lyra.core.expressions.TupleDisplay attribute) (lyra.core.statements.ListDisplayAccess attribute) (lyra.core.statements.SetDisplayAccess attribute) (lyra.core.statements.TupleDisplayAccess attribute) items_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method)

J

join() (lyra.abstract_domains.assumption.assumption_domain.InputMixin method) (lyra.abstract_domains.lattice.Lattice method)

JSONMixin (class in lyra.abstract_domains.assumption.assumption_domain)

K

key (lyra.core.expressions.Subscription attribute) (lyra.core.statements.SubscriptionAccess attribute) key_typ (lyra.core.types.DictLyraType attribute) Keys (class in lyra.core.expressions) keys (lyra.core.expressions.DictDisplay attribute) (lyra.core.statements.DictDisplayAccess attribute)

keys_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) kind (lyra.abstract_domains.lattice.KindMixin attribute) (lyra.core.cfg.Edge attribute) KindMixin (class in lyra.abstract_domains.lattice) KindMixin.Kind (class in lyra.abstract_domains.lattice)

L

Lattice (class in lyra.abstract_domains.lattice) lattice (lyra.abstract_domains.stack.Stack attribute) lattices (lyra.abstract_domains.store.Store attribute) left (lyra.core.expressions.BinaryOperation attribute) (lyra.core.statements.Assignment attribute) len_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) LengthIdentifier (class in lyra.core.expressions) less_equal() (lyra.abstract_domains.assumption.assumption_domain.InputMixin method) (lyra.abstract_domains.lattice.Lattice method) line (lyra.core.statements.ProgramPoint attribute) list_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) list_display_access_semantics() (lyra.semantics.semantics.ExpressionSemantics method) ListDisplay (class in lyra.core.expressions) ListDisplayAccess (class in lyra.core.statements) ListLyraType (class in lyra.core.types) Literal (class in lyra.core.expressions) literal (lyra.core.statements.LiteralEvaluation attribute) literal_evaluation_semantics() (lyra.semantics.semantics.ExpressionSemantics method) LiteralEvaluation (class in lyra.core.statements) Live (lyra.abstract_domains.liveness.liveness_domain.LivenessLattice.Status attribute) LivenessAnalysis (class in lyra.engine.liveness.liveness_analysis) LivenessLattice (class in lyra.abstract_domains.liveness.liveness_domain) LivenessLattice.Status (class in lyra.abstract_domains.liveness.liveness_domain) LivenessState (class in lyra.abstract_domains.liveness.liveness_domain) Loop (class in lyra.core.cfg) (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.Scope attribute) LOOP_IN (lyra.core.cfg.Edge.Kind attribute) LOOP_OUT (lyra.core.cfg.Edge.Kind attribute) loose() (lyra.frontend.cfg_generator.LooseControlFlowGraph method) loose_in_edges (lyra.frontend.cfg_generator.LooseControlFlowGraph attribute) loose_out_edges (lyra.frontend.cfg_generator.LooseControlFlowGraph attribute) LooseControlFlowGraph (class in lyra.frontend.cfg_generator) LooseControlFlowGraph.SpecialEdgeType (class in lyra.frontend.cfg_generator) lower (lyra.abstract_domains.numerical.interval_domain.IntervalLattice attribute) (lyra.core.expressions.Slicing attribute) (lyra.core.statements.SlicingAccess attribute) lower_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) Lt (lyra.core.expressions.BinaryComparisonOperation.Operator attribute) lt_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) LtE (lyra.core.expressions.BinaryComparisonOperation.Operator attribute) lte_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) lyra (module) lyra.abstract_domains (module) lyra.abstract_domains.assumption (module) lyra.abstract_domains.assumption.alphabet_domain (module) lyra.abstract_domains.assumption.assumption_domain (module) lyra.abstract_domains.assumption.quantity_domain (module)

lyra.abstract_domains.assumption.range_domain (module) lyra.abstract_domains.assumption.type_domain (module) lyra.abstract_domains.basis (module) lyra.abstract_domains.lattice (module) lyra.abstract_domains.liveness (module) lyra.abstract_domains.liveness.liveness_domain (module) lyra.abstract_domains.numerical (module) lyra.abstract_domains.numerical.interval_domain (module) lyra.abstract_domains.numerical.sign_domain (module) lyra.abstract_domains.stack (module) lyra.abstract_domains.state (module) lyra.abstract_domains.store (module) lyra.abstract_domains.string (module) lyra.abstract_domains.string.character_domain (module) lyra.abstract_domains.usage (module) lyra.abstract_domains.usage.usage_domain (module) lyra.abstract_domains.usage.usage_lattice (module) lyra.core (module) lyra.core.cfg (module) lyra.core.expressions (module) lyra.core.statements (module) lyra.core.types (module) lyra.core.utils (module) lyra.engine (module) lyra.engine.assumption (module) lyra.engine.assumption.assumption_analysis (module) lyra.engine.backward (module) lyra.engine.forward (module) lyra.engine.interpreter (module) lyra.engine.liveness (module) lyra.engine.liveness.liveness_analysis (module) lyra.engine.numerical (module) lyra.engine.numerical.interval_analysis (module) lyra.engine.numerical.sign_analysis (module) lyra.engine.result (module) lyra.engine.runner (module) lyra.engine.string (module) lyra.engine.string.character_analysis (module) lyra.engine.usage (module) lyra.engine.usage.usage_analysis (module) lyra.frontend (module) lyra.frontend.cfg_generator (module) lyra.main (module) lyra.semantics (module) lyra.semantics.backward (module) lyra.semantics.forward (module) lyra.semantics.semantics (module) LyraType (class in lyra.core.types)

M

main() (in module lyra.frontend.cfg_generator) (in module lyra.main) (lyra.engine.runner.Runner method) maybe (lyra.abstract_domains.string.character_domain.CharacterLattice attribute) maybe() (lyra.abstract_domains.lattice.BooleanMixin method) (lyra.abstract_domains.numerical.interval_domain.IntervalLattice method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) maybe_negative() (lyra.abstract_domains.numerical.sign_domain.SignLattice method) maybe_non_negative() (lyra.abstract_domains.numerical.sign_domain.SignLattice method)

maybe_non_positive() (lyra.abstract_domains.numerical.sign_domain.SignLattice method) maybe_non_zero() (lyra.abstract_domains.numerical.sign_domain.SignLattice method) maybe_positive() (lyra.abstract_domains.numerical.sign_domain.SignLattice method) maybe_zero() (lyra.abstract_domains.numerical.sign_domain.SignLattice method) meet() (lyra.abstract_domains.assumption.assumption_domain.InputMixin method) (lyra.abstract_domains.lattice.Lattice method) Mult (lyra.core.expressions.BinaryArithmeticOperation.Operator attribute) mult() (lyra.abstract_domains.lattice.ArithmeticMixin method) mult_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) multiplier (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputLattice attribute)

N

N (lyra.abstract_domains.usage.usage_lattice.UsageLattice.Status attribute) name (lyra.core.expressions.Identifier attribute) (lyra.core.statements.Call attribute) Neg (lyra.core.expressions.UnaryBooleanOperation.Operator attribute) neg() (lyra.abstract_domains.lattice.ArithmeticMixin method) NegationFreeNormalExpression (class in lyra.core.expressions) negative (lyra.abstract_domains.numerical.sign_domain.SignLattice attribute) next (lyra.frontend.cfg_generator.CFGVisitor.NodeIdentifierGenerator attribute)

Node (class in lyra.core.cfg) nodes (lyra.core.cfg.ControlFlowGraph attribute) (lyra.frontend.cfg_generator.LooseControlFlowGraph attribute) nonce (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement attribute) not_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) NotEq (lyra.core.expressions.BinaryComparisonOperation.Operator attribute) noteq_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) NotIn (lyra.core.expressions.BinaryComparisonOperation.Operator attribute) notin_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method)

O

Operation (class in lyra.core.expressions) operator (lyra.core.expressions.BinaryOperation attribute) (lyra.core.expressions.UnaryOperation attribute) Or (lyra.core.expressions.BinaryBooleanOperation.Operator attribute)

or_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) out_edges() (lyra.core.cfg.ControlFlowGraph method) out_node (lyra.core.cfg.ControlFlowGraph attribute) (lyra.frontend.cfg_generator.LooseControlFlowGraph attribute) output() (lyra.abstract_domains.state.State method)

P

path (lyra.engine.runner.Runner attribute) pop() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack method) (lyra.abstract_domains.stack.Stack method) (lyra.abstract_domains.usage.usage_domain.SimpleUsageState method) positive (lyra.abstract_domains.numerical.sign_domain.SignLattice attribute) pp (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement attribute) (lyra.abstract_domains.state.State attribute) (lyra.core.statements.Statement attribute) precursory (lyra.abstract_domains.state.State attribute) (lyra.engine.interpreter.Interpreter attribute)

predecessors() (lyra.core.cfg.ControlFlowGraph method) prepend() (lyra.frontend.cfg_generator.LooseControlFlowGraph method) prepend_cfg() (lyra.frontend.cfg_generator.CFGFactory method) print_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) ProgramPoint (class in lyra.core.statements) push() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack method) (lyra.abstract_domains.stack.Stack method) (lyra.abstract_domains.usage.usage_domain.SimpleUsageState method)

Q

QuantityAnalysis (class in lyra.engine.assumption.assumption_analysis) QuantityLattice (class in lyra.abstract_domains.assumption.quantity_domain)

QuantityState (class in lyra.abstract_domains.assumption.quantity_domain) QuantityState.ExpressionRefinement (class in lyra.abstract_domains.assumption.quantity_domain)

R

Raise (class in lyra.core.statements) raise_error() (lyra.abstract_domains.state.State method) raise_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) Range (class in lyra.core.expressions) range_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) RangeAnalysis (class in lyra.engine.assumption.assumption_analysis) RangeLattice (class in lyra.abstract_domains.assumption.range_domain) RangeState (class in lyra.abstract_domains.assumption.range_domain) RangeState.ExpressionRefinement (class in lyra.abstract_domains.assumption.range_domain) record() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack method) (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputLattice method) (lyra.abstract_domains.assumption.assumption_domain.InputMixin method) remove_variable() (lyra.abstract_domains.state.EnvironmentMixin method) render() (lyra.engine.runner.Runner method) repeat() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputLattice method) replace() (lyra.abstract_domains.assumption.alphabet_domain.AlphabetState method) (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputLattice method) (lyra.abstract_domains.assumption.assumption_domain.InputMixin method) (lyra.abstract_domains.assumption.quantity_domain.QuantityState method) (lyra.abstract_domains.assumption.range_domain.RangeState method) (lyra.abstract_domains.assumption.type_domain.TypeState method) (lyra.frontend.cfg_generator.LooseControlFlowGraph method)

resolve_type_annotation() (in module lyra.core.types) result (lyra.abstract_domains.state.State attribute) (lyra.engine.interpreter.Interpreter attribute) (lyra.engine.result.AnalysisResult attribute) retrieve() (lyra.abstract_domains.assumption.assumption_domain.InputMixin method) reverse_operator() (lyra.core.expressions.BinaryBooleanOperation.Operator method) (lyra.core.expressions.BinaryComparisonOperation.Operator method) right (lyra.core.expressions.BinaryOperation attribute) (lyra.core.statements.Assignment attribute) run() (lyra.engine.runner.Runner method) Runner (class in lyra.engine.runner)

S

S (lyra.abstract_domains.usage.usage_lattice.UsageLattice.Status attribute) scope (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack attribute) scoped() (lyra.abstract_domains.usage.usage_lattice.UsageLattice method) scopes (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack attribute) Semantics (class in lyra.semantics.semantics) semantics (lyra.engine.backward.BackwardInterpreter attribute) (lyra.engine.interpreter.Interpreter attribute) semantics() (lyra.semantics.semantics.Semantics method) SequenceLyraType (class in lyra.core.types) SequenceMixin (class in lyra.abstract_domains.lattice) set_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) set_display_access_semantics() (lyra.semantics.semantics.ExpressionSemantics method) set_node_result() (lyra.engine.result.AnalysisResult method) SetDisplay (class in lyra.core.expressions) SetDisplayAccess (class in lyra.core.statements) SetLyraType (class in lyra.core.types) SignLattice (class in lyra.abstract_domains.numerical.sign_domain) SignState (class in lyra.abstract_domains.numerical.sign_domain) SignState.ExpressionEvaluation (class in lyra.abstract_domains.numerical.sign_domain) SimpleUsageAnalysis (class in lyra.engine.usage.usage_analysis) SimpleUsageState (class in lyra.abstract_domains.usage.usage_domain) SimpleUsageStore (class in lyra.abstract_domains.usage.usage_domain) size() (lyra.core.cfg.Node method) Slicing (class in lyra.core.expressions) slicing_access_semantics() (lyra.semantics.semantics.ExpressionSemantics method) SlicingAccess (class in lyra.core.statements) source (lyra.core.cfg.Edge attribute) (lyra.engine.runner.Runner attribute) source_to_cfg() (in module lyra.frontend.cfg_generator) special_edges (lyra.frontend.cfg_generator.LooseControlFlowGraph attribute) split_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) Stack (class in lyra.abstract_domains.stack) stack (lyra.abstract_domains.assumption.assumption_domain.AssumptionState attribute) (lyra.abstract_domains.stack.Stack attribute) StarConstraint (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputLattice attribute) start (lyra.core.expressions.Range attribute) State (class in lyra.abstract_domains.state) state() (lyra.engine.assumption.assumption_analysis.AlphabetAnalysis method) (lyra.engine.assumption.assumption_analysis.QuantityAnalysis method) (lyra.engine.assumption.assumption_analysis.RangeAnalysis method) (lyra.engine.assumption.assumption_analysis.TypeAlphabetAssumptionAnalysis method) (lyra.engine.assumption.assumption_analysis.TypeAnalysis method) (lyra.engine.assumption.assumption_analysis.TypeQuantityAssumptionAnalysis method) (lyra.engine.assumption.assumption_analysis.TypeRangeAlphabetAssumptionAnalysis method) (lyra.engine.assumption.assumption_analysis.TypeRangeAssumptionAnalysis method) (lyra.engine.liveness.liveness_analysis.LivenessAnalysis method) (lyra.engine.liveness.liveness_analysis.StrongLivenessAnalysis method) (lyra.engine.numerical.interval_analysis.BackwardIntervalAnalysis method) (lyra.engine.numerical.interval_analysis.ForwardIntervalAnalysis method) (lyra.engine.numerical.sign_analysis.BackwardSignAnalysis method) (lyra.engine.numerical.sign_analysis.ForwardSignAnalysis method) (lyra.engine.runner.Runner method) (lyra.engine.string.character_analysis.BackwardCharacterAnalysis method) (lyra.engine.string.character_analysis.ForwardCharacterAnalysis method) (lyra.engine.usage.usage_analysis.SimpleUsageAnalysis method)

Statement (class in lyra.core.statements) states (lyra.abstract_domains.assumption.assumption_domain.AssumptionState attribute) step (lyra.core.expressions.Range attribute) stmts (lyra.core.cfg.Node attribute) stop (lyra.core.expressions.Range attribute) Store (class in lyra.abstract_domains.store) store (lyra.abstract_domains.store.Store attribute) stride (lyra.core.expressions.Slicing attribute) (lyra.core.statements.SlicingAccess attribute) String (lyra.abstract_domains.assumption.type_domain.TypeLattice.Status attribute) StringLyraType (class in lyra.core.types) StrongLivenessAnalysis (class in lyra.engine.liveness.liveness_analysis) StrongLivenessState (class in lyra.abstract_domains.liveness.liveness_domain) Sub (lyra.core.expressions.BinaryArithmeticOperation.Operator attribute) (lyra.core.expressions.UnaryArithmeticOperation.Operator attribute) sub() (lyra.abstract_domains.lattice.ArithmeticMixin method) sub_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) Subscription (class in lyra.core.expressions) subscription_access_semantics() (lyra.semantics.semantics.ExpressionSemantics method) SubscriptionAccess (class in lyra.core.statements) substitute() (lyra.abstract_domains.state.State method) successors() (lyra.core.cfg.ControlFlowGraph method)

T

target (lyra.core.cfg.Edge attribute) (lyra.core.expressions.AttributeReference attribute) (lyra.core.expressions.Slicing attribute) (lyra.core.expressions.Subscription attribute) (lyra.core.statements.SlicingAccess attribute) (lyra.core.statements.SubscriptionAccess attribute) target_dict (lyra.core.expressions.Items attribute) (lyra.core.expressions.Keys attribute) (lyra.core.expressions.Values attribute) to_json() (lyra.abstract_domains.assumption.alphabet_domain.AlphabetLattice method) (lyra.abstract_domains.assumption.assumption_domain.JSONMixin method) (lyra.abstract_domains.assumption.quantity_domain.QuantityLattice method) (lyra.abstract_domains.assumption.range_domain.RangeLattice method) (lyra.abstract_domains.assumption.type_domain.TypeLattice method) TOP (lyra.abstract_domains.lattice.KindMixin.Kind attribute) top() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState method) (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputLattice method) (lyra.abstract_domains.assumption.type_domain.TypeLattice method) (lyra.abstract_domains.lattice.BoundedLattice method) (lyra.abstract_domains.lattice.Lattice method) (lyra.abstract_domains.lattice.TopMixin method) (lyra.abstract_domains.liveness.liveness_domain.LivenessLattice method) (lyra.abstract_domains.numerical.interval_domain.IntervalLattice method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) (lyra.abstract_domains.store.Store method) (lyra.abstract_domains.string.character_domain.CharacterLattice method) (lyra.abstract_domains.usage.usage_lattice.UsageLattice method) TopMixin (class in lyra.abstract_domains.lattice)

tree (lyra.engine.runner.Runner attribute) true() (lyra.abstract_domains.lattice.BooleanMixin method) (lyra.abstract_domains.numerical.interval_domain.IntervalLattice method) (lyra.abstract_domains.numerical.sign_domain.SignLattice method) tuple_display_access_semantics() (lyra.semantics.semantics.ExpressionSemantics method) TupleDisplay (class in lyra.core.expressions) TupleDisplayAccess (class in lyra.core.statements) TupleLyraType (class in lyra.core.types) typ (lyra.core.expressions.Expression attribute) (lyra.core.statements.Call attribute) (lyra.core.statements.ExpressionAccess attribute) (lyra.core.types.ListLyraType attribute) (lyra.core.types.SetLyraType attribute) TypeAlphabetAssumptionAnalysis (class in lyra.engine.assumption.assumption_analysis) TypeAlphabetAssumptionState (class in lyra.abstract_domains.assumption.assumption_domain) TypeAnalysis (class in lyra.engine.assumption.assumption_analysis) TypeLattice (class in lyra.abstract_domains.assumption.type_domain) TypeLattice.Status (class in lyra.abstract_domains.assumption.type_domain) TypeQuantityAssumptionAnalysis (class in lyra.engine.assumption.assumption_analysis) TypeQuantityAssumptionState (class in lyra.abstract_domains.assumption.assumption_domain) TypeRangeAlphabetAssumptionAnalysis (class in lyra.engine.assumption.assumption_analysis) TypeRangeAlphabetAssumptionState (class in lyra.abstract_domains.assumption.assumption_domain) TypeRangeAssumptionAnalysis (class in lyra.engine.assumption.assumption_analysis) TypeRangeAssumptionState (class in lyra.abstract_domains.assumption.assumption_domain) TypeState (class in lyra.abstract_domains.assumption.type_domain) TypeState.ArithmeticExpressionRefinement (class in lyra.abstract_domains.assumption.type_domain) TypeState.ExpressionEvaluation (class in lyra.abstract_domains.assumption.type_domain) typs (lyra.core.types.TupleLyraType attribute)

U

U (lyra.abstract_domains.usage.usage_lattice.UsageLattice.Status attribute) uadd_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) UnaryArithmeticOperation (class in lyra.core.expressions) UnaryArithmeticOperation.Operator (class in lyra.core.expressions) UnaryBooleanOperation (class in lyra.core.expressions) UnaryBooleanOperation.Operator (class in lyra.core.expressions) UnaryOperation (class in lyra.core.expressions) UnaryOperation.Operator (class in lyra.core.expressions) Unconditional (class in lyra.core.cfg) unify() (lyra.abstract_domains.assumption.alphabet_domain.AlphabetState method) (lyra.abstract_domains.assumption.assumption_domain.InputMixin method) (lyra.abstract_domains.assumption.quantity_domain.QuantityState method) (lyra.abstract_domains.assumption.range_domain.RangeState method) (lyra.abstract_domains.assumption.type_domain.TypeState method)

upper (lyra.abstract_domains.numerical.interval_domain.IntervalLattice attribute) (lyra.core.expressions.Slicing attribute) (lyra.core.statements.SlicingAccess attribute) UsageLattice (class in lyra.abstract_domains.usage.usage_lattice) UsageLattice.Status (class in lyra.abstract_domains.usage.usage_lattice) UsageStore (class in lyra.abstract_domains.usage.usage_domain) user_defined_call_semantics() (lyra.semantics.backward.UserDefinedCallSemantics method) (lyra.semantics.forward.UserDefinedCallSemantics method) UserDefinedCallSemantics (class in lyra.semantics.backward) (class in lyra.semantics.forward) usub_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method)

V

val (lyra.core.expressions.Literal attribute) val_typ (lyra.core.types.DictLyraType attribute) Values (class in lyra.core.expressions) values (lyra.core.expressions.DictDisplay attribute) (lyra.core.statements.DictDisplayAccess attribute) values_call_semantics() (lyra.semantics.semantics.BuiltInCallSemantics method) variable (lyra.core.expressions.LengthIdentifier attribute) (lyra.core.statements.VariableAccess attribute) variable_access_semantics() (lyra.semantics.semantics.ExpressionSemantics method) VariableAccess (class in lyra.core.statements) VariableIdentifier (class in lyra.core.expressions) variables (lyra.abstract_domains.store.Store attribute) (lyra.engine.runner.Runner attribute) visit() (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.core.expressions.ExpressionVisitor method) (lyra.frontend.cfg_generator.CFGVisitor method) visit_AnnAssign() (lyra.frontend.cfg_generator.CFGVisitor method) visit_Assign() (lyra.frontend.cfg_generator.CFGVisitor method) visit_AttributeReference() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method) visit_AugAssign() (lyra.frontend.cfg_generator.CFGVisitor method) visit_BinaryArithmeticOperation() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.quantity_domain.QuantityState.ExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method) visit_BinaryBooleanOperation() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method) visit_BinaryComparisonOperation() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method) visit_BinarySequenceOperation() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.abstract_domains.string.character_domain.CharacterState.ExpressionRefinement method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method) visit_BinOp() (lyra.frontend.cfg_generator.CFGVisitor method) visit_BoolOp() (lyra.frontend.cfg_generator.CFGVisitor method) visit_Break() (lyra.frontend.cfg_generator.CFGVisitor method) visit_Call() (lyra.frontend.cfg_generator.CFGVisitor method) visit_Compare() (lyra.frontend.cfg_generator.CFGVisitor method) visit_Continue() (lyra.frontend.cfg_generator.CFGVisitor method) visit_Dict() (lyra.frontend.cfg_generator.CFGVisitor method) visit_DictDisplay() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method) visit_Expr() (lyra.frontend.cfg_generator.CFGVisitor method) visit_For() (lyra.frontend.cfg_generator.CFGVisitor method) visit_If() (lyra.frontend.cfg_generator.CFGVisitor method) visit_IfExp() (lyra.frontend.cfg_generator.CFGVisitor method) visit_Input() (lyra.abstract_domains.assumption.alphabet_domain.AlphabetState.ExpressionRefinement method) (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.quantity_domain.QuantityState.ExpressionRefinement method) (lyra.abstract_domains.assumption.range_domain.RangeState.ExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method) visit_LengthIdentifier() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method)

visit_List() (lyra.frontend.cfg_generator.CFGVisitor method) visit_ListDisplay() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method) visit_Literal() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.abstract_domains.numerical.interval_domain.IntervalState.ExpressionEvaluation method) (lyra.abstract_domains.numerical.sign_domain.SignState.ExpressionEvaluation method) (lyra.abstract_domains.string.character_domain.CharacterState.ExpressionEvaluation method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method) visit_Module() (lyra.frontend.cfg_generator.CFGVisitor method) visit_Name() (lyra.frontend.cfg_generator.CFGVisitor method) visit_NameConstant() (lyra.frontend.cfg_generator.CFGVisitor method) visit_Num() (lyra.frontend.cfg_generator.CFGVisitor method) visit_Raise() (lyra.frontend.cfg_generator.CFGVisitor method) visit_Range() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method) visit_Set() (lyra.frontend.cfg_generator.CFGVisitor method) visit_SetDisplay() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method) visit_Slicing() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method) visit_Str() (lyra.frontend.cfg_generator.CFGVisitor method) visit_Subscript() (lyra.frontend.cfg_generator.CFGVisitor method) visit_Subscription() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method) visit_Tuple() (lyra.frontend.cfg_generator.CFGVisitor method) visit_TupleDisplay() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method) visit_UnaryArithmeticOperation() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method) visit_UnaryBooleanOperation() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method) visit_UnaryOp() (lyra.frontend.cfg_generator.CFGVisitor method) visit_VariableIdentifier() (lyra.abstract_domains.assumption.assumption_domain.AssumptionState.InputStack.InputReplacement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ArithmeticExpressionRefinement method) (lyra.abstract_domains.assumption.type_domain.TypeState.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionEvaluation method) (lyra.abstract_domains.basis.Basis.ExpressionRefinement method) (lyra.abstract_domains.basis.Basis.LengthEvaluation method) (lyra.core.expressions.ExpressionVisitor method) (lyra.core.expressions.NegationFreeNormalExpression method) visit_While() (lyra.frontend.cfg_generator.CFGVisitor method)

W

W (lyra.abstract_domains.usage.usage_lattice.UsageLattice.Status attribute) widening (lyra.engine.interpreter.Interpreter attribute)

widening() (lyra.abstract_domains.assumption.assumption_domain.InputMixin method) (lyra.abstract_domains.lattice.Lattice method) written() (lyra.abstract_domains.usage.usage_lattice.UsageLattice method)

Z

zero (lyra.abstract_domains.numerical.sign_domain.SignLattice attribute)