reactos/syzkaller
1
0
Fork 0
mirror of https://github.com/reactos/syzkaller.git synced 2025-02-06 03:38:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

prog: better validate int and buffer types

Browse Source
This commit is contained in:
Andrey Konovalov 2017-05-17 17:31:07 +02:00
parent 8320ea0056
commit 209dba0111
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
prog/validation.go
View File

@ -69,6 +69,17 @@ func (c *Call) validate(ctx *validCtx) error {
}
}
switch typ1 := arg.Type.(type) {
case *sys.IntType:
switch arg.Kind {
case ArgConst:
case ArgResult:
case ArgReturn:
if arg.Type.Dir() == sys.DirOut && (arg.Val != 0 && arg.Val != arg.Type.Default()) {
return fmt.Errorf("syscall %v: out int arg '%v' has bad const value %v", c.Meta.Name, arg.Type.Name(), arg.Val)
}
default:
return fmt.Errorf("syscall %v: int arg '%v' has bad kind %v", c.Meta.Name, arg.Type.Name(), arg.Kind)
}
case *sys.ResourceType:
switch arg.Kind {
case ArgResult:
@ -97,6 +108,11 @@ func (c *Call) validate(ctx *validCtx) error {
return fmt.Errorf("syscall %v: per proc arg '%v' has bad value '%v'", c.Meta.Name, arg.Type.Name(), arg.Val)
}
case *sys.BufferType:
switch arg.Kind {
case ArgData:
default:
return fmt.Errorf("syscall %v: buffer arg '%v' has bad kind %v", c.Meta.Name, arg.Type.Name(), arg.Kind)
}
switch typ1.Kind {
case sys.BufferString:
if typ1.Length != 0 && len(arg.Data) != int(typ1.Length) {