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 (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
Constants ¶
This section is empty.
Variables ¶
View Source
var InternalFail = "internal-failure"
View Source
var InvalidOpcodeFail = "invalid-opcode"
View Source
var JumpToTopFail = "jump-to-top"
View Source
var MemoryOverflowFail = "memory-overflow-failure"
View Source
var PrefixComputationFail = "prefix-computation-failure"
View Source
var ReachedAssertionFailed = "reached-assertion-failed"
View Source
var ReachedTargetInstructionFail = "reached-target-instruction"
View Source
var StackValidationFail = "invalid-stack"
View Source
var StepExecFail = "step-execution-failure"
View Source
var TopMemoryResizeFail = "top-memory-resize-failure"
View Source
var TopOffsetFail = "top-offset-failure"
View Source
var TopStackFail = "top-stack"
View Source
var UnsupportedOpcodeFail = "unsupported-opcode"
Functions ¶
func MagicString ¶
func MagicUInt64 ¶
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
Click to show internal directories.
Click to hide internal directories.