refactor: chaos caller validation
This commit is contained in:
parent
0d2c8196c6
commit
cfa041ca8a
@ -7,8 +7,6 @@ import (
|
|||||||
"github.com/filecoin-project/specs-actors/actors/builtin"
|
"github.com/filecoin-project/specs-actors/actors/builtin"
|
||||||
"github.com/filecoin-project/specs-actors/actors/runtime"
|
"github.com/filecoin-project/specs-actors/actors/runtime"
|
||||||
"github.com/ipfs/go-cid"
|
"github.com/ipfs/go-cid"
|
||||||
|
|
||||||
typegen "github.com/whyrusleeping/cbor-gen"
|
|
||||||
)
|
)
|
||||||
|
|
||||||
//go:generate go run ./gen
|
//go:generate go run ./gen
|
||||||
@ -31,10 +29,14 @@ type Actor struct{}
|
|||||||
type CallerValidationBranch int64
|
type CallerValidationBranch int64
|
||||||
|
|
||||||
const (
|
const (
|
||||||
|
// CallerValidationBranchNone causes no caller validation to take place.
|
||||||
CallerValidationBranchNone CallerValidationBranch = iota
|
CallerValidationBranchNone CallerValidationBranch = iota
|
||||||
|
// CallerValidationBranchTwice causes Runtime.ValidateImmediateCallerAcceptAny to be called twice.
|
||||||
CallerValidationBranchTwice
|
CallerValidationBranchTwice
|
||||||
CallerValidationBranchAddrNilSet
|
// CallerValidationBranchIs causes caller validation against CallerValidationArgs.Addrs.
|
||||||
CallerValidationBranchTypeNilSet
|
CallerValidationBranchIs
|
||||||
|
// CallerValidationBranchType causes caller validation against CallerValidationArgs.Types.
|
||||||
|
CallerValidationBranchType
|
||||||
)
|
)
|
||||||
|
|
||||||
// MutateStateBranch is an enum used to select the type of state mutation to attempt.
|
// MutateStateBranch is an enum used to select the type of state mutation to attempt.
|
||||||
@ -123,23 +125,29 @@ func (a Actor) Constructor(_ runtime.Runtime, _ *abi.EmptyValue) *abi.EmptyValue
|
|||||||
panic("constructor should not be called; the Chaos actor is a singleton actor")
|
panic("constructor should not be called; the Chaos actor is a singleton actor")
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// CallerValidationArgs are the arguments to Actor.CallerValidation.
|
||||||
|
type CallerValidationArgs struct {
|
||||||
|
Branch CallerValidationBranch
|
||||||
|
Addrs []address.Address
|
||||||
|
Types []cid.Cid
|
||||||
|
}
|
||||||
|
|
||||||
// CallerValidation violates VM call validation constraints.
|
// CallerValidation violates VM call validation constraints.
|
||||||
//
|
//
|
||||||
// CallerValidationBranchNone performs no validation.
|
// CallerValidationBranchNone performs no validation.
|
||||||
// CallerValidationBranchTwice validates twice.
|
// CallerValidationBranchTwice validates twice.
|
||||||
// CallerValidationBranchAddrNilSet validates against an empty caller
|
// CallerValidationBranchIs validates caller against CallerValidationArgs.Addrs.
|
||||||
// address set.
|
// CallerValidationBranchType validates caller against CallerValidationArgs.Types.
|
||||||
// CallerValidationBranchTypeNilSet validates against an empty caller type set.
|
func (a Actor) CallerValidation(rt runtime.Runtime, args *CallerValidationArgs) *abi.EmptyValue {
|
||||||
func (a Actor) CallerValidation(rt runtime.Runtime, branch *typegen.CborInt) *abi.EmptyValue {
|
switch args.Branch {
|
||||||
switch CallerValidationBranch(*branch) {
|
|
||||||
case CallerValidationBranchNone:
|
case CallerValidationBranchNone:
|
||||||
case CallerValidationBranchTwice:
|
case CallerValidationBranchTwice:
|
||||||
rt.ValidateImmediateCallerAcceptAny()
|
rt.ValidateImmediateCallerAcceptAny()
|
||||||
rt.ValidateImmediateCallerAcceptAny()
|
rt.ValidateImmediateCallerAcceptAny()
|
||||||
case CallerValidationBranchAddrNilSet:
|
case CallerValidationBranchIs:
|
||||||
rt.ValidateImmediateCallerIs()
|
rt.ValidateImmediateCallerIs(args.Addrs...)
|
||||||
case CallerValidationBranchTypeNilSet:
|
case CallerValidationBranchType:
|
||||||
rt.ValidateImmediateCallerType()
|
rt.ValidateImmediateCallerType(args.Types...)
|
||||||
default:
|
default:
|
||||||
panic("invalid branch passed to CallerValidation")
|
panic("invalid branch passed to CallerValidation")
|
||||||
}
|
}
|
||||||
|
@ -6,8 +6,10 @@ import (
|
|||||||
"fmt"
|
"fmt"
|
||||||
"io"
|
"io"
|
||||||
|
|
||||||
|
address "github.com/filecoin-project/go-address"
|
||||||
abi "github.com/filecoin-project/go-state-types/abi"
|
abi "github.com/filecoin-project/go-state-types/abi"
|
||||||
exitcode "github.com/filecoin-project/go-state-types/exitcode"
|
exitcode "github.com/filecoin-project/go-state-types/exitcode"
|
||||||
|
cid "github.com/ipfs/go-cid"
|
||||||
cbg "github.com/whyrusleeping/cbor-gen"
|
cbg "github.com/whyrusleeping/cbor-gen"
|
||||||
xerrors "golang.org/x/xerrors"
|
xerrors "golang.org/x/xerrors"
|
||||||
)
|
)
|
||||||
@ -115,6 +117,163 @@ func (t *State) UnmarshalCBOR(r io.Reader) error {
|
|||||||
return nil
|
return nil
|
||||||
}
|
}
|
||||||
|
|
||||||
|
var lengthBufCallerValidationArgs = []byte{131}
|
||||||
|
|
||||||
|
func (t *CallerValidationArgs) MarshalCBOR(w io.Writer) error {
|
||||||
|
if t == nil {
|
||||||
|
_, err := w.Write(cbg.CborNull)
|
||||||
|
return err
|
||||||
|
}
|
||||||
|
if _, err := w.Write(lengthBufCallerValidationArgs); err != nil {
|
||||||
|
return err
|
||||||
|
}
|
||||||
|
|
||||||
|
scratch := make([]byte, 9)
|
||||||
|
|
||||||
|
// t.Branch (chaos.CallerValidationBranch) (int64)
|
||||||
|
if t.Branch >= 0 {
|
||||||
|
if err := cbg.WriteMajorTypeHeaderBuf(scratch, w, cbg.MajUnsignedInt, uint64(t.Branch)); err != nil {
|
||||||
|
return err
|
||||||
|
}
|
||||||
|
} else {
|
||||||
|
if err := cbg.WriteMajorTypeHeaderBuf(scratch, w, cbg.MajNegativeInt, uint64(-t.Branch-1)); err != nil {
|
||||||
|
return err
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// t.Addrs ([]address.Address) (slice)
|
||||||
|
if len(t.Addrs) > cbg.MaxLength {
|
||||||
|
return xerrors.Errorf("Slice value in field t.Addrs was too long")
|
||||||
|
}
|
||||||
|
|
||||||
|
if err := cbg.WriteMajorTypeHeaderBuf(scratch, w, cbg.MajArray, uint64(len(t.Addrs))); err != nil {
|
||||||
|
return err
|
||||||
|
}
|
||||||
|
for _, v := range t.Addrs {
|
||||||
|
if err := v.MarshalCBOR(w); err != nil {
|
||||||
|
return err
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// t.Types ([]cid.Cid) (slice)
|
||||||
|
if len(t.Types) > cbg.MaxLength {
|
||||||
|
return xerrors.Errorf("Slice value in field t.Types was too long")
|
||||||
|
}
|
||||||
|
|
||||||
|
if err := cbg.WriteMajorTypeHeaderBuf(scratch, w, cbg.MajArray, uint64(len(t.Types))); err != nil {
|
||||||
|
return err
|
||||||
|
}
|
||||||
|
for _, v := range t.Types {
|
||||||
|
if err := cbg.WriteCidBuf(scratch, w, v); err != nil {
|
||||||
|
return xerrors.Errorf("failed writing cid field t.Types: %w", err)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return nil
|
||||||
|
}
|
||||||
|
|
||||||
|
func (t *CallerValidationArgs) UnmarshalCBOR(r io.Reader) error {
|
||||||
|
*t = CallerValidationArgs{}
|
||||||
|
|
||||||
|
br := cbg.GetPeeker(r)
|
||||||
|
scratch := make([]byte, 8)
|
||||||
|
|
||||||
|
maj, extra, err := cbg.CborReadHeaderBuf(br, scratch)
|
||||||
|
if err != nil {
|
||||||
|
return err
|
||||||
|
}
|
||||||
|
if maj != cbg.MajArray {
|
||||||
|
return fmt.Errorf("cbor input should be of type array")
|
||||||
|
}
|
||||||
|
|
||||||
|
if extra != 3 {
|
||||||
|
return fmt.Errorf("cbor input had wrong number of fields")
|
||||||
|
}
|
||||||
|
|
||||||
|
// t.Branch (chaos.CallerValidationBranch) (int64)
|
||||||
|
{
|
||||||
|
maj, extra, err := cbg.CborReadHeaderBuf(br, scratch)
|
||||||
|
var extraI int64
|
||||||
|
if err != nil {
|
||||||
|
return err
|
||||||
|
}
|
||||||
|
switch maj {
|
||||||
|
case cbg.MajUnsignedInt:
|
||||||
|
extraI = int64(extra)
|
||||||
|
if extraI < 0 {
|
||||||
|
return fmt.Errorf("int64 positive overflow")
|
||||||
|
}
|
||||||
|
case cbg.MajNegativeInt:
|
||||||
|
extraI = int64(extra)
|
||||||
|
if extraI < 0 {
|
||||||
|
return fmt.Errorf("int64 negative oveflow")
|
||||||
|
}
|
||||||
|
extraI = -1 - extraI
|
||||||
|
default:
|
||||||
|
return fmt.Errorf("wrong type for int64 field: %d", maj)
|
||||||
|
}
|
||||||
|
|
||||||
|
t.Branch = CallerValidationBranch(extraI)
|
||||||
|
}
|
||||||
|
// t.Addrs ([]address.Address) (slice)
|
||||||
|
|
||||||
|
maj, extra, err = cbg.CborReadHeaderBuf(br, scratch)
|
||||||
|
if err != nil {
|
||||||
|
return err
|
||||||
|
}
|
||||||
|
|
||||||
|
if extra > cbg.MaxLength {
|
||||||
|
return fmt.Errorf("t.Addrs: array too large (%d)", extra)
|
||||||
|
}
|
||||||
|
|
||||||
|
if maj != cbg.MajArray {
|
||||||
|
return fmt.Errorf("expected cbor array")
|
||||||
|
}
|
||||||
|
|
||||||
|
if extra > 0 {
|
||||||
|
t.Addrs = make([]address.Address, extra)
|
||||||
|
}
|
||||||
|
|
||||||
|
for i := 0; i < int(extra); i++ {
|
||||||
|
|
||||||
|
var v address.Address
|
||||||
|
if err := v.UnmarshalCBOR(br); err != nil {
|
||||||
|
return err
|
||||||
|
}
|
||||||
|
|
||||||
|
t.Addrs[i] = v
|
||||||
|
}
|
||||||
|
|
||||||
|
// t.Types ([]cid.Cid) (slice)
|
||||||
|
|
||||||
|
maj, extra, err = cbg.CborReadHeaderBuf(br, scratch)
|
||||||
|
if err != nil {
|
||||||
|
return err
|
||||||
|
}
|
||||||
|
|
||||||
|
if extra > cbg.MaxLength {
|
||||||
|
return fmt.Errorf("t.Types: array too large (%d)", extra)
|
||||||
|
}
|
||||||
|
|
||||||
|
if maj != cbg.MajArray {
|
||||||
|
return fmt.Errorf("expected cbor array")
|
||||||
|
}
|
||||||
|
|
||||||
|
if extra > 0 {
|
||||||
|
t.Types = make([]cid.Cid, extra)
|
||||||
|
}
|
||||||
|
|
||||||
|
for i := 0; i < int(extra); i++ {
|
||||||
|
|
||||||
|
c, err := cbg.ReadCid(br)
|
||||||
|
if err != nil {
|
||||||
|
return xerrors.Errorf("reading cid field t.Types failed: %w", err)
|
||||||
|
}
|
||||||
|
t.Types[i] = c
|
||||||
|
}
|
||||||
|
|
||||||
|
return nil
|
||||||
|
}
|
||||||
|
|
||||||
var lengthBufCreateActorArgs = []byte{132}
|
var lengthBufCreateActorArgs = []byte{132}
|
||||||
|
|
||||||
func (t *CreateActorArgs) MarshalCBOR(w io.Writer) error {
|
func (t *CreateActorArgs) MarshalCBOR(w io.Writer) error {
|
||||||
|
@ -9,6 +9,7 @@ import (
|
|||||||
func main() {
|
func main() {
|
||||||
if err := gen.WriteTupleEncodersToFile("./cbor_gen.go", "chaos",
|
if err := gen.WriteTupleEncodersToFile("./cbor_gen.go", "chaos",
|
||||||
chaos.State{},
|
chaos.State{},
|
||||||
|
chaos.CallerValidationArgs{},
|
||||||
chaos.CreateActorArgs{},
|
chaos.CreateActorArgs{},
|
||||||
chaos.ResolveAddressResponse{},
|
chaos.ResolveAddressResponse{},
|
||||||
chaos.SendArgs{},
|
chaos.SendArgs{},
|
||||||
|
Loading…
Reference in New Issue
Block a user