forked from TrueCloudLab/neoneo-go
compiler: always ensure manifest passes base check
This commit is contained in:
parent
94f6a9ee61
commit
725e8779a1
5 changed files with 27 additions and 11 deletions
|
@ -331,6 +331,10 @@ func CreateManifest(di *DebugInfo, o *Options) (*manifest.Manifest, error) {
|
||||||
return m, fmt.Errorf("method %s is marked as safe but missing from manifest", name)
|
return m, fmt.Errorf("method %s is marked as safe but missing from manifest", name)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
err = m.IsValid(util.Uint160{}) // Check as much as possible without hash.
|
||||||
|
if err != nil {
|
||||||
|
return m, fmt.Errorf("manifest is invalid: %w", err)
|
||||||
|
}
|
||||||
if !o.NoStandardCheck {
|
if !o.NoStandardCheck {
|
||||||
if err := standard.CheckABI(m, o.ContractSupportedStandards...); err != nil {
|
if err := standard.CheckABI(m, o.ContractSupportedStandards...); err != nil {
|
||||||
return m, err
|
return m, err
|
||||||
|
|
|
@ -94,7 +94,7 @@ func TestOnPayableChecks(t *testing.T) {
|
||||||
compileAndCheck := func(t *testing.T, src string) error {
|
compileAndCheck := func(t *testing.T, src string) error {
|
||||||
_, di, err := compiler.CompileWithOptions("payable.go", strings.NewReader(src), nil)
|
_, di, err := compiler.CompileWithOptions("payable.go", strings.NewReader(src), nil)
|
||||||
require.NoError(t, err)
|
require.NoError(t, err)
|
||||||
_, err = compiler.CreateManifest(di, &compiler.Options{})
|
_, err = compiler.CreateManifest(di, &compiler.Options{Name: "payable"})
|
||||||
return err
|
return err
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -132,10 +132,10 @@ func TestSafeMethodWarnings(t *testing.T) {
|
||||||
&compiler.Options{Name: "eventTest"})
|
&compiler.Options{Name: "eventTest"})
|
||||||
require.NoError(t, err)
|
require.NoError(t, err)
|
||||||
|
|
||||||
_, err = compiler.CreateManifest(di, &compiler.Options{SafeMethods: []string{"main"}})
|
_, err = compiler.CreateManifest(di, &compiler.Options{SafeMethods: []string{"main"}, Name: "eventTest"})
|
||||||
require.NoError(t, err)
|
require.NoError(t, err)
|
||||||
|
|
||||||
_, err = compiler.CreateManifest(di, &compiler.Options{SafeMethods: []string{"main", "mississippi"}})
|
_, err = compiler.CreateManifest(di, &compiler.Options{SafeMethods: []string{"main", "mississippi"}, Name: "eventTest"})
|
||||||
require.Error(t, err)
|
require.Error(t, err)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -148,17 +148,18 @@ func TestEventWarnings(t *testing.T) {
|
||||||
require.NoError(t, err)
|
require.NoError(t, err)
|
||||||
|
|
||||||
t.Run("event it missing from config", func(t *testing.T) {
|
t.Run("event it missing from config", func(t *testing.T) {
|
||||||
_, err = compiler.CreateManifest(di, &compiler.Options{})
|
_, err = compiler.CreateManifest(di, &compiler.Options{Name: "payable"})
|
||||||
require.Error(t, err)
|
require.Error(t, err)
|
||||||
|
|
||||||
t.Run("suppress", func(t *testing.T) {
|
t.Run("suppress", func(t *testing.T) {
|
||||||
_, err = compiler.CreateManifest(di, &compiler.Options{NoEventsCheck: true})
|
_, err = compiler.CreateManifest(di, &compiler.Options{NoEventsCheck: true, Name: "payable"})
|
||||||
require.NoError(t, err)
|
require.NoError(t, err)
|
||||||
})
|
})
|
||||||
})
|
})
|
||||||
t.Run("wrong parameter number", func(t *testing.T) {
|
t.Run("wrong parameter number", func(t *testing.T) {
|
||||||
_, err = compiler.CreateManifest(di, &compiler.Options{
|
_, err = compiler.CreateManifest(di, &compiler.Options{
|
||||||
ContractEvents: []manifest.Event{{Name: "Event"}},
|
ContractEvents: []manifest.Event{{Name: "Event"}},
|
||||||
|
Name: "payable",
|
||||||
})
|
})
|
||||||
require.Error(t, err)
|
require.Error(t, err)
|
||||||
})
|
})
|
||||||
|
@ -168,6 +169,7 @@ func TestEventWarnings(t *testing.T) {
|
||||||
Name: "Event",
|
Name: "Event",
|
||||||
Parameters: []manifest.Parameter{manifest.NewParameter("number", smartcontract.StringType)},
|
Parameters: []manifest.Parameter{manifest.NewParameter("number", smartcontract.StringType)},
|
||||||
}},
|
}},
|
||||||
|
Name: "payable",
|
||||||
})
|
})
|
||||||
require.Error(t, err)
|
require.Error(t, err)
|
||||||
})
|
})
|
||||||
|
@ -177,6 +179,7 @@ func TestEventWarnings(t *testing.T) {
|
||||||
Name: "Event",
|
Name: "Event",
|
||||||
Parameters: []manifest.Parameter{manifest.NewParameter("number", smartcontract.IntegerType)},
|
Parameters: []manifest.Parameter{manifest.NewParameter("number", smartcontract.IntegerType)},
|
||||||
}},
|
}},
|
||||||
|
Name: "payable",
|
||||||
})
|
})
|
||||||
require.NoError(t, err)
|
require.NoError(t, err)
|
||||||
})
|
})
|
||||||
|
@ -191,7 +194,7 @@ func TestEventWarnings(t *testing.T) {
|
||||||
_, di, err := compiler.CompileWithOptions("eventTest.go", strings.NewReader(src), &compiler.Options{Name: "eventTest"})
|
_, di, err := compiler.CompileWithOptions("eventTest.go", strings.NewReader(src), &compiler.Options{Name: "eventTest"})
|
||||||
require.NoError(t, err)
|
require.NoError(t, err)
|
||||||
|
|
||||||
_, err = compiler.CreateManifest(di, &compiler.Options{NoEventsCheck: true})
|
_, err = compiler.CreateManifest(di, &compiler.Options{NoEventsCheck: true, Name: "eventTest"})
|
||||||
require.NoError(t, err)
|
require.NoError(t, err)
|
||||||
})
|
})
|
||||||
t.Run("used", func(t *testing.T) {
|
t.Run("used", func(t *testing.T) {
|
||||||
|
@ -206,11 +209,12 @@ func TestEventWarnings(t *testing.T) {
|
||||||
strings.NewReader(src), &compiler.Options{Name: "eventTest"})
|
strings.NewReader(src), &compiler.Options{Name: "eventTest"})
|
||||||
require.NoError(t, err)
|
require.NoError(t, err)
|
||||||
|
|
||||||
_, err = compiler.CreateManifest(di, &compiler.Options{})
|
_, err = compiler.CreateManifest(di, &compiler.Options{Name: "eventTest"})
|
||||||
require.Error(t, err)
|
require.Error(t, err)
|
||||||
|
|
||||||
_, err = compiler.CreateManifest(di, &compiler.Options{
|
_, err = compiler.CreateManifest(di, &compiler.Options{
|
||||||
ContractEvents: []manifest.Event{{Name: "Event"}},
|
ContractEvents: []manifest.Event{{Name: "Event"}},
|
||||||
|
Name: "eventTest",
|
||||||
})
|
})
|
||||||
require.NoError(t, err)
|
require.NoError(t, err)
|
||||||
})
|
})
|
||||||
|
@ -243,6 +247,7 @@ func TestInvokedContractsPermissons(t *testing.T) {
|
||||||
o := &compiler.Options{
|
o := &compiler.Options{
|
||||||
NoPermissionsCheck: disable,
|
NoPermissionsCheck: disable,
|
||||||
Permissions: ps,
|
Permissions: ps,
|
||||||
|
Name: "test",
|
||||||
}
|
}
|
||||||
|
|
||||||
_, err := compiler.CreateManifest(di, o)
|
_, err := compiler.CreateManifest(di, o)
|
||||||
|
|
|
@ -38,13 +38,16 @@ func (g *Group) IsValid(h util.Uint160) error {
|
||||||
}
|
}
|
||||||
|
|
||||||
// AreValid checks for groups correctness and uniqueness.
|
// AreValid checks for groups correctness and uniqueness.
|
||||||
|
// If the contract hash is empty, then hash-related checks are omitted.
|
||||||
func (g Groups) AreValid(h util.Uint160) error {
|
func (g Groups) AreValid(h util.Uint160) error {
|
||||||
|
if !h.Equals(util.Uint160{}) {
|
||||||
for i := range g {
|
for i := range g {
|
||||||
err := g[i].IsValid(h)
|
err := g[i].IsValid(h)
|
||||||
if err != nil {
|
if err != nil {
|
||||||
return err
|
return err
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
}
|
||||||
if len(g) < 2 {
|
if len(g) < 2 {
|
||||||
return nil
|
return nil
|
||||||
}
|
}
|
||||||
|
|
|
@ -40,6 +40,9 @@ func TestGroupsAreValid(t *testing.T) {
|
||||||
|
|
||||||
gps = Groups{gcorrect, gcorrect}
|
gps = Groups{gcorrect, gcorrect}
|
||||||
require.Error(t, gps.AreValid(h))
|
require.Error(t, gps.AreValid(h))
|
||||||
|
|
||||||
|
gps = Groups{gincorrect}
|
||||||
|
require.NoError(t, gps.AreValid(util.Uint160{})) // empty hash.
|
||||||
}
|
}
|
||||||
|
|
||||||
func TestGroupsContains(t *testing.T) {
|
func TestGroupsContains(t *testing.T) {
|
||||||
|
|
|
@ -82,6 +82,7 @@ func (m *Manifest) CanCall(hash util.Uint160, toCall *Manifest, method string) b
|
||||||
|
|
||||||
// IsValid checks manifest internal consistency and correctness, one of the
|
// IsValid checks manifest internal consistency and correctness, one of the
|
||||||
// checks is for group signature correctness, contract hash is passed for it.
|
// checks is for group signature correctness, contract hash is passed for it.
|
||||||
|
// If hash is empty, then hash-related checks are omitted.
|
||||||
func (m *Manifest) IsValid(hash util.Uint160) error {
|
func (m *Manifest) IsValid(hash util.Uint160) error {
|
||||||
var err error
|
var err error
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue