concolicTypes

package
v0.0.0-...-a422bf8 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: May 16, 2018 License: GPL-3.0 Imports: 6 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func AddNegativePathConstr 

func AddNegativePathConstr(constr z3.Bool)

func AddPositivePathConstr 

func AddPositivePathConstr(constr z3.Bool)

func ConcolicExec 

func ConcolicExec(testfunc reflect.Value, maxiter int)

func MakeFuzzyBool 

func MakeFuzzyBool(name string, b bool) bool

func MakeFuzzyInt 

func MakeFuzzyInt(name string, a int) int

func MakeFuzzyMapIntInt 

func MakeFuzzyMapIntInt(name string, m map[int]int) map[int]int

func StringToBVLen 

func StringToBVLen(s string) int

func StringToBigInt 

func StringToBigInt(s string) *big.Int

func StringToZ3BV 

func StringToZ3BV(s string) z3.BV

Types

type ConcolicBool 

type ConcolicBool struct {
	Value  bool
	Z3Expr z3.Bool
}

func ConcBoolBinopToBool 

func ConcBoolBinopToBool(concreteFunc func(a, b bool) bool, z3Func func(az, bz z3.Bool) z3.Bool, ac, bc ConcolicBool) ConcolicBool

func ConcIntBinopToBool 

func ConcIntBinopToBool(concreteFunc func(a, b int) bool, z3Func func(az, bz z3.Int) z3.Bool, ac, bc ConcolicInt) ConcolicBool

func MakeConcolicBool 

func MakeConcolicBool(value bool, sym z3.Bool) ConcolicBool

func MakeConcolicBoolConst 

func MakeConcolicBoolConst(value bool) ConcolicBool

func MakeConcolicBoolVar 

func MakeConcolicBoolVar(name string) ConcolicBool

func (ConcolicBool) ConcBoolAnd 

func (self ConcolicBool) ConcBoolAnd(other ConcolicBool) ConcolicBool

func (ConcolicBool) ConcBoolNot 

func (self ConcolicBool) ConcBoolNot() ConcolicBool

func (ConcolicBool) ConcBoolOr 

func (self ConcolicBool) ConcBoolOr(other ConcolicBool) ConcolicBool

func (ConcolicBool) ConcEq 

func (self ConcolicBool) ConcEq(other ConcolicBool) ConcolicBool

type ConcolicInt 

type ConcolicInt struct {
	Value  int
	Z3Expr z3.Int
}

func ConcIntBinopToInt 

func ConcIntBinopToInt(concreteFunc func(a, b int) int, z3Func func(az, bz z3.Int) z3.Int, ac, bc ConcolicInt) ConcolicInt

func ConcIntBitBinop 

func ConcIntBitBinop(concreteFunc func(a, b int) int, z3Func func(az, bz z3.BV) z3.BV, ac, bc ConcolicInt) ConcolicInt

func MakeConcolicInt 

func MakeConcolicInt(value int, z3Expr z3.Int) ConcolicInt

func MakeConcolicIntConst 

func MakeConcolicIntConst(value int) ConcolicInt

func MakeConcolicIntVar 

func MakeConcolicIntVar(name string) ConcolicInt

func (ConcolicInt) ConcIntAdd 

func (self ConcolicInt) ConcIntAdd(other ConcolicInt) ConcolicInt

func (ConcolicInt) ConcIntAnd 

func (self ConcolicInt) ConcIntAnd(other ConcolicInt) ConcolicInt

func (ConcolicInt) ConcIntAndNot 

func (self ConcolicInt) ConcIntAndNot(other ConcolicInt) ConcolicInt

func (ConcolicInt) ConcIntDiv 

func (self ConcolicInt) ConcIntDiv(other ConcolicInt) ConcolicInt

func (ConcolicInt) ConcIntEq 

func (self ConcolicInt) ConcIntEq(other ConcolicInt) ConcolicBool

func (ConcolicInt) ConcIntGE 

func (self ConcolicInt) ConcIntGE(other ConcolicInt) ConcolicBool

func (ConcolicInt) ConcIntGT 

func (self ConcolicInt) ConcIntGT(other ConcolicInt) ConcolicBool

func (ConcolicInt) ConcIntLE 

func (self ConcolicInt) ConcIntLE(other ConcolicInt) ConcolicBool

func (ConcolicInt) ConcIntLT 

func (self ConcolicInt) ConcIntLT(other ConcolicInt) ConcolicBool

func (ConcolicInt) ConcIntMod 

func (self ConcolicInt) ConcIntMod(other ConcolicInt) ConcolicInt

func (ConcolicInt) ConcIntMul 

func (self ConcolicInt) ConcIntMul(other ConcolicInt) ConcolicInt

func (ConcolicInt) ConcIntNE 

func (self ConcolicInt) ConcIntNE(other ConcolicInt) ConcolicBool

func (ConcolicInt) ConcIntNot 

func (self ConcolicInt) ConcIntNot() ConcolicInt

func (ConcolicInt) ConcIntOr 

func (self ConcolicInt) ConcIntOr(other ConcolicInt) ConcolicInt

func (ConcolicInt) ConcIntSHL 

func (self ConcolicInt) ConcIntSHL(other ConcolicInt) ConcolicInt

func (ConcolicInt) ConcIntSHR 

func (self ConcolicInt) ConcIntSHR(other ConcolicInt) ConcolicInt

arithmetic right shift

func (ConcolicInt) ConcIntSub 

func (self ConcolicInt) ConcIntSub(other ConcolicInt) ConcolicInt

func (ConcolicInt) ConcIntXOr 

func (self ConcolicInt) ConcIntXOr(other ConcolicInt) ConcolicInt

type ConcolicMap 

type ConcolicMap struct {
	Value  map[int]int
	Z3Expr z3.Array
}

func MakeConcolicMap 

func MakeConcolicMap(value map[int]int, sym z3.Array) ConcolicMap

func MakeConcolicMapConst 

func MakeConcolicMapConst(value map[int]int) ConcolicMap

func MakeConcolicMapVar 

func MakeConcolicMapVar(name string) ConcolicMap

func (ConcolicMap) ConcMapGet 

func (self ConcolicMap) ConcMapGet(key ConcolicInt) ConcolicInt

func (ConcolicMap) ConcMapPut 

func (self ConcolicMap) ConcMapPut(key ConcolicInt, value ConcolicInt) bool

type ConcolicString 

type ConcolicString struct {
	Value  string
	Z3Expr z3.BV
}

func MakeConcolicStringConst 

func MakeConcolicStringConst(value string) ConcolicString

func MakeConcolicStringVar 

func MakeConcolicStringVar(cv *ConcreteValues, name string) ConcolicString

type ConcreteValueQueue 

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

type ConcreteValues 

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

type SymbolicStack 

type SymbolicStack struct {
	// contains filtered or unexported fields
}
var SymStack *SymbolicStack

func (*SymbolicStack) AreArgsPushed 

func (s *SymbolicStack) AreArgsPushed() bool

func (*SymbolicStack) ClearArgs 

func (s *SymbolicStack) ClearArgs()

func (*SymbolicStack) PopArg 

func (s *SymbolicStack) PopArg() z3.Value

func (*SymbolicStack) PopReturn 

func (s *SymbolicStack) PopReturn() z3.Value

func (*SymbolicStack) PushArg 

func (s *SymbolicStack) PushArg(val z3.Value)

func (*SymbolicStack) PushReturn 

func (s *SymbolicStack) PushReturn(val z3.Value)

func (*SymbolicStack) SetArgsPopped 

func (s *SymbolicStack) SetArgsPopped()

func (*SymbolicStack) SetArgsPushed 

func (s *SymbolicStack) SetArgsPushed()

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.