From f8f416fb8f2ce79d0cbf980ee53ddb68fac850ca Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Fri, 16 Oct 2015 18:16:10 +0200 Subject: preliminary description of kdbus syscalls --- prog/analysis.go | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'prog/analysis.go') diff --git a/prog/analysis.go b/prog/analysis.go index 43d0aa076..30c9542da 100644 --- a/prog/analysis.go +++ b/prog/analysis.go @@ -205,7 +205,7 @@ func assignTypeAndDir(c *Call) { } func sanitizeCall(c *Call) { - switch c.Meta.Name { + switch c.Meta.CallName { case "mmap": // Add MAP_FIXED flag, otherwise it produces non-deterministic results. addr := c.Args[0] @@ -245,6 +245,13 @@ func sanitizeCall(c *Call) { if cmd.Val == SYSLOG_ACTION_CONSOLE_OFF || cmd.Val == SYSLOG_ACTION_CONSOLE_ON { cmd.Val = SYSLOG_ACTION_SIZE_UNREAD } + case "ioctl": + cmd := c.Args[1] + // Freeze kills machine. Though, it is an interesting functions, + // so we need to test it somehow (TODO). + if uint32(cmd.Val) == uint32(FIFREEZE) { + cmd.Val = FITHAW + } case "exit", "exit_group": code := c.Args[0] // These codes are reserved by executor. -- cgit mrf-deployment