lyra.engine package

Subpackages

• lyra.engine.assumption package
  • Submodules
    • Assumption Analysis
• lyra.engine.liveness package
  • Submodules
    • (Strongly) Live Variable Analysis
• lyra.engine.numerical package
  • Submodules
    • Interval Analysis
    • Sign Analysis
• lyra.engine.string package
  • Submodules
    • Character Inclusion Analysis
• lyra.engine.usage package
  • Submodules
    • Input Data Usage Analysis

Submodules

Backward Analysis Engine

Author:Caterina Urban

class lyra.engine.backward.BackwardInterpreter(cfg, semantics: lyra.semantics.backward.BackwardSemantics, widening, precursory=None)

Bases: lyra.engine.interpreter.Interpreter

Backward control flow graph interpreter.

analyze(initial: lyra.abstract_domains.state.State) → lyra.engine.result.AnalysisResult

semantics

Forward Analysis Engine

Author:Caterina Urban

class lyra.engine.forward.ForwardInterpreter(cfg, semantics: lyra.semantics.forward.ForwardSemantics, widening, precursory=None)

Bases: lyra.engine.interpreter.Interpreter

Forward control flow graph interpreter.

analyze(initial: lyra.abstract_domains.state.State) → lyra.engine.result.AnalysisResult

Analysis Engine

Author:Caterina Urban

class lyra.engine.interpreter.Interpreter(cfg: lyra.core.cfg.ControlFlowGraph, semantics, widening, precursory=None)

Bases: object

analyze(initial: lyra.abstract_domains.state.State) → lyra.engine.result.AnalysisResult

Run the analysis.

Parameters:initial – initial analysis state Returns:result of the analysis

cfg

precursory

result

semantics

widening

class lyra.engine.result.AnalysisResult(cfg: lyra.core.cfg.ControlFlowGraph)

Bases: object

cfg

get_node_result(node: lyra.core.cfg.Node) → typing.List[lyra.abstract_domains.state.State]

Get the analysis result for a node.

Parameters:node – analyzed node Returns:list of states representing the result of the analysis for the block

result

set_node_result(node: lyra.core.cfg.Node, states: typing.List[lyra.abstract_domains.state.State]) → None

Set the analysis result for a node.

Parameters:

• node – analyzed node
• states – list of states representing the result of the analysis for the block

Program Analysis

Author:Caterina Urban

class lyra.engine.runner.Runner

Bases: object

Analysis runner.

cfg

interpreter()

Control flow graph interpreter.

main(path)

path

render(result)

run() → lyra.engine.result.AnalysisResult

source

state()

Initial analysis state.

tree

variables