analysis

Documentation

Index

• Variables
• func MagicBool(b bool) bool
• func MagicByte(b byte) byte
• func MagicInt(n int) int
• func MagicString(s string) string
• func MagicUInt64(n uint64) uint64
• type LookaheadAnalyzer
  • func NewLookaheadAnalyzer() *LookaheadAnalyzer
  • func (a *LookaheadAnalyzer) AddTargetInstruction(codeHash []byte, pc uint64)
  • func (a *LookaheadAnalyzer) AddTargetLocation(loc string)
  • func (a *LookaheadAnalyzer) AppendPrefixInstruction(callNumber uint64, pc uint64)
  • func (a *LookaheadAnalyzer) AppendPrefixSummary(callNumber, callNumberToSummarize uint64)
  • func (a *LookaheadAnalyzer) CanIgnoreSuffix(callNumber uint64) (canIgnore, avoidRetry bool, justification, prefixId string, err error)
  • func (a *LookaheadAnalyzer) CoveredPathsPerLID() map[string]uint64
  • func (a *LookaheadAnalyzer) CurrentPathID() string
  • func (a *LookaheadAnalyzer) FailureCauses() map[string]uint64
  • func (a *LookaheadAnalyzer) HasTargetInstructions() bool
  • func (a *LookaheadAnalyzer) IsCoveredAssertion(codeHash common.Hash, pc uint64) bool
  • func (a *LookaheadAnalyzer) IsTargetInstruction(codeHash common.Hash, pc uint64) bool
  • func (a *LookaheadAnalyzer) IsTargetingAssertionFailed() bool
  • func (a *LookaheadAnalyzer) NumErrors() uint64
  • func (a *LookaheadAnalyzer) NumFail() uint64
  • func (a *LookaheadAnalyzer) NumPrefixFail() uint64
  • func (a *LookaheadAnalyzer) NumSuccess() uint64
  • func (a *LookaheadAnalyzer) RecordCoveredAssertion(codeHash []byte, pc uint64)
  • func (a *LookaheadAnalyzer) RecordCoveredPath(pathId, lid string)
  • func (a *LookaheadAnalyzer) Start(callNumber uint64, code, codeHash []byte)
  • func (a *LookaheadAnalyzer) TargetAssertionFailed()
  • func (a *LookaheadAnalyzer) Time() time.Duration

Variables

var InternalFail = "internal-failure"

var InvalidOpcodeFail = "invalid-opcode"

var JumpToTopFail = "jump-to-top"

var MemoryOverflowFail = "memory-overflow-failure"

var PrefixComputationFail = "prefix-computation-failure"

var ReachedAssertionFailed = "reached-assertion-failed"

var ReachedTargetInstructionFail = "reached-target-instruction"

var StackValidationFail = "invalid-stack"

var StepExecFail = "step-execution-failure"

var TopMemoryResizeFail = "top-memory-resize-failure"

var TopOffsetFail = "top-offset-failure"

var TopStackFail = "top-stack"

var UnsupportedOpcodeFail = "unsupported-opcode"

Functions

func MagicBool

func MagicBool(b bool) bool

func MagicByte

func MagicByte(b byte) byte

func MagicInt

func MagicInt(n int) int

func MagicString

func MagicString(s string) string

func MagicUInt64

func MagicUInt64(n uint64) uint64

Types

type LookaheadAnalyzer

type LookaheadAnalyzer struct {
	// contains filtered or unexported fields
}

func NewLookaheadAnalyzer

func NewLookaheadAnalyzer() *LookaheadAnalyzer

func (*LookaheadAnalyzer) AddTargetInstruction

func (a *LookaheadAnalyzer) AddTargetInstruction(codeHash []byte, pc uint64)

func (*LookaheadAnalyzer) AddTargetLocation

func (a *LookaheadAnalyzer) AddTargetLocation(loc string)

func (*LookaheadAnalyzer) AppendPrefixInstruction

func (a *LookaheadAnalyzer) AppendPrefixInstruction(callNumber uint64, pc uint64)

func (*LookaheadAnalyzer) AppendPrefixSummary

func (a *LookaheadAnalyzer) AppendPrefixSummary(callNumber, callNumberToSummarize uint64)

func (*LookaheadAnalyzer) CanIgnoreSuffix

func (a *LookaheadAnalyzer) CanIgnoreSuffix(callNumber uint64) (canIgnore, avoidRetry bool, justification, prefixId string, err error)

func (*LookaheadAnalyzer) CoveredPathsPerLID

func (a *LookaheadAnalyzer) CoveredPathsPerLID() map[string]uint64

func (*LookaheadAnalyzer) CurrentPathID

func (a *LookaheadAnalyzer) CurrentPathID() string

func (*LookaheadAnalyzer) FailureCauses

func (a *LookaheadAnalyzer) FailureCauses() map[string]uint64

func (*LookaheadAnalyzer) HasTargetInstructions

func (a *LookaheadAnalyzer) HasTargetInstructions() bool

func (*LookaheadAnalyzer) IsCoveredAssertion

func (a *LookaheadAnalyzer) IsCoveredAssertion(codeHash common.Hash, pc uint64) bool

func (*LookaheadAnalyzer) IsTargetInstruction

func (a *LookaheadAnalyzer) IsTargetInstruction(codeHash common.Hash, pc uint64) bool

func (*LookaheadAnalyzer) IsTargetingAssertionFailed

func (a *LookaheadAnalyzer) IsTargetingAssertionFailed() bool

func (*LookaheadAnalyzer) NumErrors

func (a *LookaheadAnalyzer) NumErrors() uint64

func (*LookaheadAnalyzer) NumFail

func (a *LookaheadAnalyzer) NumFail() uint64

func (*LookaheadAnalyzer) NumPrefixFail

func (a *LookaheadAnalyzer) NumPrefixFail() uint64

func (*LookaheadAnalyzer) NumSuccess

func (a *LookaheadAnalyzer) NumSuccess() uint64

func (*LookaheadAnalyzer) RecordCoveredAssertion

func (a *LookaheadAnalyzer) RecordCoveredAssertion(codeHash []byte, pc uint64)

func (*LookaheadAnalyzer) RecordCoveredPath

func (a *LookaheadAnalyzer) RecordCoveredPath(pathId, lid string)

func (*LookaheadAnalyzer) Start

func (a *LookaheadAnalyzer) Start(callNumber uint64, code, codeHash []byte)

func (*LookaheadAnalyzer) TargetAssertionFailed

func (a *LookaheadAnalyzer) TargetAssertionFailed()

func (*LookaheadAnalyzer) Time

func (a *LookaheadAnalyzer) Time() time.Duration