diff --git a/LibOS/shim/include/shim_internal.h b/LibOS/shim/include/shim_internal.h
index ee4227b6..ff96aa87 100644
--- a/LibOS/shim/include/shim_internal.h
+++ b/LibOS/shim/include/shim_internal.h
@@ -71,7 +71,7 @@ extern PAL_HANDLE debug_handle;
 void debug_printf (const char * fmt, ...) __attribute__((format (printf, 1, 2)));
 void debug_puts (const char * str);
 void debug_putch (int ch);
-void debug_vprintf (const char * fmt, va_list * ap) __attribute__((format (printf, 1, 0)));
+void debug_vprintf (const char * fmt, va_list ap) __attribute__((format (printf, 1, 0)));
 
 #define VMID_PREFIX     "[P%05u] "
 #define TID_PREFIX      "[%-6u] "
@@ -86,7 +86,7 @@ void debug_vprintf (const char * fmt, va_list * ap) __attribute__((format (print
 #define SYSPRINT_BUFFER_SIZE    256
 
 void handle_printf (PAL_HANDLE hdl, const char * fmt, ...) __attribute__((format (printf, 2, 3)));
-void handle_vprintf (PAL_HANDLE hdl, const char * fmt, va_list * ap) __attribute__((format (printf, 2, 0)));
+void handle_vprintf (PAL_HANDLE hdl, const char * fmt, va_list ap) __attribute__((format (printf, 2, 0)));
 
 #define __SYS_PRINTF(fmt, ...)                                              \
     do {                                                                    \
diff --git a/LibOS/shim/src/fs/proc/thread.c b/LibOS/shim/src/fs/proc/thread.c
index 6ad735ac..923ec73c 100644
--- a/LibOS/shim/src/fs/proc/thread.c
+++ b/LibOS/shim/src/fs/proc/thread.c
@@ -534,7 +534,7 @@ retry_dump_vmas:
         };
         char pr = (vma->flags & MAP_PRIVATE) ? 'p' : 's';
 
-#define ADDR_FMT(addr) ((addr) > 0xffffffff ? "%lx" : "%08x")
+#define ADDR_FMT(addr) ((addr) > 0xffffffff ? "%lx" : "%08lx")
 #define EMIT(fmt ...)                                                   \
         do {                                                            \
             offset += snprintf(buffer + offset, buffer_size - offset,   \
@@ -553,7 +553,7 @@ retry_emit_vma:
             EMIT(ADDR_FMT(start), start);
             EMIT("-");
             EMIT(ADDR_FMT(end),   end);
-            EMIT(" %c%c%c%c %08lx %02d:%02d %u %s\n", pt[0], pt[1], pt[2], pr,
+            EMIT(" %c%c%c%c %08lx %02d:%02d %lu %s\n", pt[0], pt[1], pt[2], pr,
                  vma->offset, dev_major, dev_minor, ino, name);
         } else {
             EMIT(ADDR_FMT(start), start);
diff --git a/LibOS/shim/src/shim_checkpoint.c b/LibOS/shim/src/shim_checkpoint.c
index 416f1a69..7c7b8274 100644
--- a/LibOS/shim/src/shim_checkpoint.c
+++ b/LibOS/shim/src/shim_checkpoint.c
@@ -1047,7 +1047,7 @@ int do_migrate_process (int (*migrate) (struct shim_cp_store *,
 
     if (cpstore.use_gipc) {
         snprintf(hdr.checkpoint.gipc.uri, sizeof(hdr.checkpoint.gipc.uri),
-                 "gipc:%lld", gipc_key);
+                 "gipc:%ld", gipc_key);
 
         if (cpstore.gipc_nentries) {
             hdr.checkpoint.gipc.entoffset =
diff --git a/LibOS/shim/src/shim_init.c b/LibOS/shim/src/shim_init.c
index eb32c309..bb07f083 100644
--- a/LibOS/shim/src/shim_init.c
+++ b/LibOS/shim/src/shim_init.c
@@ -65,7 +65,7 @@ void warn (const char *format, ...)
 {
     va_list args;
     va_start (args, format);
-    __SYS_VPRINTF(format, &args);
+    __SYS_VPRINTF(format, args);
     va_end (args);
 }
 
diff --git a/LibOS/shim/src/shim_parser.c b/LibOS/shim/src/shim_parser.c
index f5a581aa..248a58aa 100644
--- a/LibOS/shim/src/shim_parser.c
+++ b/LibOS/shim/src/shim_parser.c
@@ -47,33 +47,33 @@
 #include <linux/in6.h>
 #include <linux/un.h>
 
-static void parse_open_flags    (va_list *);
-static void parse_open_mode     (va_list *);
-static void parse_access_mode   (va_list *);
-static void parse_clone_flags   (va_list *);
-static void parse_mmap_prot     (va_list *);
-static void parse_mmap_flags    (va_list *);
-static void parse_exec_args     (va_list *);
-static void parse_exec_envp     (va_list *);
-static void parse_pipe_fds      (va_list *);
-static void parse_signum        (va_list *);
-static void parse_sigmask       (va_list *);
-static void parse_sigprocmask_how (va_list *);
-static void parse_timespec      (va_list *);
-static void parse_sockaddr      (va_list *);
-static void parse_domain        (va_list *);
-static void parse_socktype      (va_list *);
-static void parse_futexop       (va_list *);
-static void parse_ioctlop       (va_list *);
-static void parse_fcntlop       (va_list *);
-static void parse_seek          (va_list *);
-static void parse_at_fdcwd      (va_list *);
-static void parse_wait_option   (va_list *);
+static void parse_open_flags    (va_list);
+static void parse_open_mode     (va_list);
+static void parse_access_mode   (va_list);
+static void parse_clone_flags   (va_list);
+static void parse_mmap_prot     (va_list);
+static void parse_mmap_flags    (va_list);
+static void parse_exec_args     (va_list);
+static void parse_exec_envp     (va_list);
+static void parse_pipe_fds      (va_list);
+static void parse_signum        (va_list);
+static void parse_sigmask       (va_list);
+static void parse_sigprocmask_how (va_list);
+static void parse_timespec      (va_list);
+static void parse_sockaddr      (va_list);
+static void parse_domain        (va_list);
+static void parse_socktype      (va_list);
+static void parse_futexop       (va_list);
+static void parse_ioctlop       (va_list);
+static void parse_fcntlop       (va_list);
+static void parse_seek          (va_list);
+static void parse_at_fdcwd      (va_list);
+static void parse_wait_option   (va_list);
 
 struct parser_table {
     int slow;
     int stop;
-    void (*parser[6]) (va_list *);
+    void (*parser[6]) (va_list);
 } syscall_parser_table[LIBOS_SYSCALL_BOUND] = {
     { .slow = 1, .parser = { NULL } }, /* read */
     { .slow = 1, .parser = { NULL } }, /* write */
@@ -428,10 +428,10 @@ static inline int is_pointer (const char * type)
         debug_vprintf(fmt, ap);                     \
     } while (0)
 
-static inline void parse_string_arg (va_list * ap)
+static inline void parse_string_arg (va_list ap)
 {
     va_list ap_test_arg;
-    va_copy(ap_test_arg, *ap);
+    va_copy(ap_test_arg, ap);
     const char* test_arg = va_arg(ap_test_arg, const char*);
     if (!test_user_string(test_arg)) {
         VPRINTF("\"%s\"", ap);
@@ -442,19 +442,19 @@ static inline void parse_string_arg (va_list * ap)
     va_end(ap_test_arg);
 }
 
-static inline void parse_pointer_arg (va_list * ap)
+static inline void parse_pointer_arg (va_list ap)
 {
     VPRINTF("%p", ap);
 }
 
-static inline void parse_integer_arg (va_list * ap)
+static inline void parse_integer_arg (va_list ap)
 {
     VPRINTF("%d", ap);
 }
 
-static inline void parse_syscall_args (va_list * ap)
+static inline void parse_syscall_args (va_list ap)
 {
-    const char * arg_type = va_arg(*ap, const char *);
+    const char * arg_type = va_arg(ap, const char *);
 
     if (strcmp_static(arg_type, "const char *"))
         parse_string_arg(ap);
@@ -464,23 +464,23 @@ static inline void parse_syscall_args (va_list * ap)
         parse_integer_arg(ap);
 }
 
-static inline void skip_syscall_args (va_list * ap)
+static inline void skip_syscall_args (va_list ap)
 {
-    const char * arg_type = va_arg(*ap, const char *);
+    const char * arg_type = va_arg(ap, const char *);
 
     if (strcmp_static(arg_type, "const char *"))
-        va_arg(*ap, const char *);
+        va_arg(ap, const char *);
     else if (is_pointer(arg_type))
-        va_arg(*ap, void *);
+        va_arg(ap, void *);
     else
-        va_arg(*ap, int);
+        va_arg(ap, int);
 }
 
 void sysparser_printf (const char * fmt, ...)
 {
     va_list ap;
     va_start(ap, fmt);
-    VPRINTF(fmt, &ap);
+    VPRINTF(fmt, ap);
     va_end(ap);
 }
 
@@ -509,9 +509,9 @@ void parse_syscall_before (int sysno, const char * name, int nr, ...)
         if (parser->parser[i]) {
             const char * type = va_arg(ap, const char *);
             __UNUSED(type); // type not needed on this path
-            (*parser->parser[i])(&ap);
+            (*parser->parser[i])(ap);
         } else
-            parse_syscall_args(&ap);
+            parse_syscall_args(ap);
     }
 
     PUTCH(')');
@@ -548,7 +548,7 @@ void parse_syscall_after (int sysno, const char * name, int nr, ...)
     if (!parser->slow || parser->stop)
         for (int i = 0 ; i < nr ; i++) {
             if (parser->stop && i < parser->stop) {
-                skip_syscall_args(&ap);
+                skip_syscall_args(ap);
                 continue;
             }
 
@@ -558,9 +558,9 @@ void parse_syscall_after (int sysno, const char * name, int nr, ...)
             if (parser->parser[i]) {
                 const char * type = va_arg(ap, const char *);
                 __UNUSED(type); // type not needed on this path
-                (*parser->parser[i])(&ap);
+                (*parser->parser[i])(ap);
             } else
-                parse_syscall_args(&ap);
+                parse_syscall_args(ap);
         }
 
     if (is_pointer(ret_type)) {
@@ -578,9 +578,9 @@ void parse_syscall_after (int sysno, const char * name, int nr, ...)
     va_end (ap);
 }
 
-static void parse_open_flags (va_list * ap)
+static void parse_open_flags (va_list ap)
 {
-    int flags = va_arg(*ap, int);
+    int flags = va_arg(ap, int);
 
     if (flags & O_WRONLY) {
         PUTS("O_WRONLY");
@@ -612,14 +612,14 @@ static void parse_open_flags (va_list * ap)
         PRINTF("|%o", flags);
 }
 
-static void parse_open_mode (va_list * ap)
+static void parse_open_mode (va_list ap)
 {
     VPRINTF("%04o", ap);
 }
 
-static void parse_access_mode (va_list * ap)
+static void parse_access_mode (va_list ap)
 {
-    int mode = va_arg(*ap, int);
+    int mode = va_arg(ap, int);
 
     PUTS("F_OK");
 
@@ -633,9 +633,9 @@ static void parse_access_mode (va_list * ap)
     }
 }
 
-static void parse_clone_flags (va_list * ap)
+static void parse_clone_flags (va_list ap)
 {
-    int flags = va_arg(*ap, int);
+    int flags = va_arg(ap, int);
 
 #define FLG(n) { "CLONE_" #n, CLONE_##n, }
     const struct {
@@ -664,9 +664,9 @@ static void parse_clone_flags (va_list * ap)
         PRINTF("|0x%x", flags);
 }
 
-static void parse_mmap_prot (va_list * ap)
+static void parse_mmap_prot (va_list ap)
 {
-    int prot = va_arg(*ap, int);
+    int prot = va_arg(ap, int);
     int nflags = 0;
 
     if (prot == PROT_NONE) {
@@ -694,9 +694,9 @@ static void parse_mmap_prot (va_list * ap)
     }
 }
 
-static void parse_mmap_flags (va_list * ap)
+static void parse_mmap_flags (va_list ap)
 {
-    int flags = va_arg(*ap, int);
+    int flags = va_arg(ap, int);
 
     if (flags & MAP_SHARED) {
         PUTS("MAP_SHARED");
@@ -734,9 +734,9 @@ static void parse_mmap_flags (va_list * ap)
         PRINTF("|0x%x", flags);
 }
 
-static void parse_exec_args (va_list * ap)
+static void parse_exec_args (va_list ap)
 {
-    const char ** args = va_arg(*ap, const char **);
+    const char ** args = va_arg(ap, const char **);
 
     PUTS("[");
 
@@ -758,9 +758,9 @@ static void parse_exec_args (va_list * ap)
     PUTS("]");
 }
 
-static void parse_exec_envp (va_list * ap)
+static void parse_exec_envp (va_list ap)
 {
-    const char ** envp = va_arg(*ap, const char **);
+    const char ** envp = va_arg(ap, const char **);
 
     if (!envp) {
         PUTS("NULL");
@@ -791,9 +791,9 @@ static void parse_exec_envp (va_list * ap)
     PUTS("]");
 }
 
-static void parse_pipe_fds (va_list * ap)
+static void parse_pipe_fds (va_list ap)
 {
-    int * fds = va_arg(*ap, int *);
+    int * fds = va_arg(ap, int *);
 
     PRINTF("[%d, %d]", fds[0], fds[1]);
 }
@@ -837,9 +837,9 @@ const char *const siglist[NUM_KNOWN_SIGS + 1] =
         S(SIGRTMIN),
     };
 
-static void parse_signum (va_list * ap)
+static void parse_signum (va_list ap)
 {
-    int signum = va_arg(*ap, int);
+    int signum = va_arg(ap, int);
 
     if (signum >= 0 && signum <= NUM_KNOWN_SIGS)
         PUTS(signal_name(signum));
@@ -847,9 +847,9 @@ static void parse_signum (va_list * ap)
         PRINTF("[SIG %d]", signum);
 }
 
-static void parse_sigmask (va_list * ap)
+static void parse_sigmask (va_list ap)
 {
-    __sigset_t * sigset = va_arg(*ap, __sigset_t *);
+    __sigset_t * sigset = va_arg(ap, __sigset_t *);
 
     if (!sigset) {
         PUTS("NULL");
@@ -872,9 +872,9 @@ static void parse_sigmask (va_list * ap)
     PUTS("]");
 }
 
-static void parse_sigprocmask_how (va_list * ap)
+static void parse_sigprocmask_how (va_list ap)
 {
-    int how = va_arg(*ap, int);
+    int how = va_arg(ap, int);
 
     switch (how) {
         case SIG_BLOCK:
@@ -892,9 +892,9 @@ static void parse_sigprocmask_how (va_list * ap)
     }
 }
 
-static void parse_timespec (va_list * ap)
+static void parse_timespec (va_list ap)
 {
-    const struct timespec * tv = va_arg(*ap, const struct timespec *);
+    const struct timespec * tv = va_arg(ap, const struct timespec *);
 
     if (!tv) {
         PUTS("NULL");
@@ -909,9 +909,9 @@ static void parse_timespec (va_list * ap)
     PRINTF("[%ld,%ld]", tv->tv_sec, tv->tv_nsec);
 }
 
-static void parse_sockaddr (va_list *ap)
+static void parse_sockaddr (va_list ap)
 {
-    const struct sockaddr *addr = va_arg(*ap, const struct sockaddr *);
+    const struct sockaddr *addr = va_arg(ap, const struct sockaddr *);
 
     if (!addr) {
         PUTS("NULL");
@@ -957,9 +957,9 @@ static void parse_sockaddr (va_list *ap)
     }
 }
 
-static void parse_domain (va_list * ap)
+static void parse_domain (va_list ap)
 {
-    int domain = va_arg(*ap, int);
+    int domain = va_arg(ap, int);
 
 #define PF_UNSPEC   0   /* Unspecified.  */
 #define PF_INET     2   /* IP protocol family.  */
@@ -1012,9 +1012,9 @@ static void parse_domain (va_list * ap)
     }
 }
 
-static void parse_socktype (va_list * ap)
+static void parse_socktype (va_list ap)
 {
-    int socktype = va_arg(*ap, int);
+    int socktype = va_arg(ap, int);
 
     if (socktype & SOCK_NONBLOCK) {
         socktype &= ~SOCK_NONBLOCK;
@@ -1057,9 +1057,9 @@ static void parse_socktype (va_list * ap)
     }
 }
 
-static void parse_futexop (va_list * ap)
+static void parse_futexop (va_list ap)
 {
-    int op = va_arg(*ap, int);
+    int op = va_arg(ap, int);
 
 #ifdef FUTEX_PRIVATE_FLAG
     if (op & FUTEX_PRIVATE_FLAG) {
@@ -1108,9 +1108,9 @@ static void parse_futexop (va_list * ap)
     }
 }
 
-static void parse_fcntlop (va_list * ap)
+static void parse_fcntlop (va_list ap)
 {
-    int op = va_arg(*ap, int);
+    int op = va_arg(ap, int);
 
     switch (op) {
         case F_DUPFD:
@@ -1173,9 +1173,9 @@ static void parse_fcntlop (va_list * ap)
     }
 }
 
-static void parse_ioctlop (va_list * ap)
+static void parse_ioctlop (va_list ap)
 {
-    int op = va_arg(*ap, int);
+    int op = va_arg(ap, int);
 
     if (op >= TCGETS && op <= TIOCVHANGUP) {
         const char * opnames[] = {
@@ -1234,9 +1234,9 @@ static void parse_ioctlop (va_list * ap)
     PRINTF("OP 0x%04x", op);
 }
 
-static void parse_seek (va_list * ap)
+static void parse_seek (va_list ap)
 {
-    int seek = va_arg(*ap, int);
+    int seek = va_arg(ap, int);
 
     switch(seek) {
         case SEEK_CUR:
@@ -1254,9 +1254,9 @@ static void parse_seek (va_list * ap)
     }
 }
 
-static void parse_at_fdcwd (va_list * ap)
+static void parse_at_fdcwd (va_list ap)
 {
-    int fd = va_arg(*ap, int);
+    int fd = va_arg(ap, int);
 
     switch(fd) {
         case AT_FDCWD:
@@ -1268,9 +1268,9 @@ static void parse_at_fdcwd (va_list * ap)
     }
 }
 
-static void parse_wait_option (va_list * ap)
+static void parse_wait_option (va_list ap)
 {
-    int option = va_arg(*ap, int);
+    int option = va_arg(ap, int);
 
     if (option & WNOHANG)
         PUTS("WNOHANG");
diff --git a/LibOS/shim/src/utils/printf.c b/LibOS/shim/src/utils/printf.c
index f8b651b1..93759b3e 100644
--- a/LibOS/shim/src/utils/printf.c
+++ b/LibOS/shim/src/utils/printf.c
@@ -105,7 +105,7 @@ void debug_putch (int ch)
     debug_fputch(NULL, ch, shim_get_tls()->debug_buf);
 }
 
-void debug_vprintf (const char * fmt, va_list * ap)
+void debug_vprintf (const char * fmt, va_list ap)
 {
     vfprintfmt((void *) debug_fputch, NULL, shim_get_tls()->debug_buf,
                fmt, ap);
@@ -115,7 +115,7 @@ void debug_printf (const char * fmt, ...)
 {
     va_list ap;
     va_start(ap, fmt);
-    debug_vprintf(fmt, &ap);
+    debug_vprintf(fmt, ap);
     va_end(ap);
 }
 
@@ -169,7 +169,7 @@ sys_fputch (void * f, int ch, void * b)
 }
 
 static void
-sys_vfprintf (PAL_HANDLE hdl, const char * fmt, va_list * ap)
+sys_vfprintf (PAL_HANDLE hdl, const char * fmt, va_list ap)
 {
     vfprintfmt((void *) &sys_fputch, hdl, NULL, fmt, ap);
 }
@@ -178,11 +178,11 @@ void handle_printf (PAL_HANDLE hdl, const char * fmt, ...)
 {
     va_list ap;
     va_start(ap, fmt);
-    sys_vfprintf(hdl, fmt, &ap);
+    sys_vfprintf(hdl, fmt, ap);
     va_end(ap);
 }
 
-void handle_vprintf (PAL_HANDLE hdl, const char * fmt, va_list * ap)
+void handle_vprintf (PAL_HANDLE hdl, const char * fmt, va_list ap)
 {
     sys_vfprintf(hdl, fmt, ap);
 }
diff --git a/Pal/lib/api.h b/Pal/lib/api.h
index f7444010..7543db4e 100644
--- a/Pal/lib/api.h
+++ b/Pal/lib/api.h
@@ -145,12 +145,12 @@ void *calloc(size_t nmemb, size_t size);
 
 /* Libc printf functions. stdio.h/stdarg.h. */
 void fprintfmt (int (*_fputch)(void *, int, void *), void * f, void * putdat,
-                const char * fmt, ...);
+                const char * fmt, ...) __attribute__((format(printf, 4, 5)));
 
 void vfprintfmt (int (*_fputch)(void *, int, void *), void * f, void * putdat,
-                 const char * fmt, va_list *ap);
+                 const char * fmt, va_list ap) __attribute__((format(printf, 4, 0)));
 
-int snprintf (char * buf, int n, const char * fmt, ...);
+int snprintf (char * buf, int n, const char * fmt, ...) __attribute__((format(printf, 3, 4)));
 
 /* Miscelleneous */
 
diff --git a/Pal/lib/assert.h b/Pal/lib/assert.h
index e1c5d55d..077c02cb 100644
--- a/Pal/lib/assert.h
+++ b/Pal/lib/assert.h
@@ -18,7 +18,7 @@
  * terminates the process.
  */
 
-void warn (const char *format, ...);
+void warn (const char *format, ...) __attribute__((format(printf, 1, 2)));
 noreturn void __abort(void);
 
 # define assert(test)                                                   \
@@ -26,8 +26,8 @@ noreturn void __abort(void);
         long _val = (long)(test);                                       \
         (!(_val))                                                       \
             ? ({                                                        \
-                    warn("assert failed " __FILE__ ":%d " #test " (value:%x)\n", \
-                         __LINE__, _val);                               \
+                    warn("assert failed " __FILE__ ":%d %s (value:%lx)\n", \
+                         __LINE__, #test, _val);                        \
                     __abort(); })                                       \
             : (void)0;                                                  \
     })
diff --git a/Pal/lib/stdlib/printfmt.c b/Pal/lib/stdlib/printfmt.c
index 0aeec505..1364d27b 100644
--- a/Pal/lib/stdlib/printfmt.c
+++ b/Pal/lib/stdlib/printfmt.c
@@ -43,42 +43,42 @@ printnum(int (*_fputch)(void *, int, void *), void * f, void * putdat,
 // depending on the lflag parameter.
 #if !defined(__i386__)
 inline unsigned long long
-getuint(va_list *ap, int lflag)
+getuint(va_list ap, int lflag)
 #else
 inline unsigned long
-getuint(va_list *ap, int lflag)
+getuint(va_list ap, int lflag)
 #endif
 {
 #if !defined(__i386__)
 	if (lflag >= 2)
-		return va_arg(*ap, unsigned long long);
+		return va_arg(ap, unsigned long long);
 	else
 #endif
 	if (lflag)
-		return va_arg(*ap, unsigned long);
+		return va_arg(ap, unsigned long);
 	else
-		return va_arg(*ap, unsigned int);
+		return va_arg(ap, unsigned int);
 }
 
 // Same as getuint but signed - can't use getuint
 // because of sign extension
 #if !defined(__i386__)
 inline long long
-getint(va_list *ap, int lflag)
+getint(va_list ap, int lflag)
 #else
 inline long
-getint(va_list *ap, int lflag)
+getint(va_list ap, int lflag)
 #endif
 {
 #if !defined(__i386__)
 	if (lflag >= 2)
-		return va_arg(*ap, long long);
+		return va_arg(ap, long long);
 	else
 #endif
 	if (lflag)
-		return va_arg(*ap, long);
+		return va_arg(ap, long);
 	else
-		return va_arg(*ap, int);
+		return va_arg(ap, int);
 }
 
 // Main function to format and print a string.
@@ -87,7 +87,7 @@ void fprintfmt(int (*_fputch)(void *, int, void *), void * f, void * putdat,
 
 void
 vfprintfmt(int (*_fputch)(void *, int, void *), void * f, void * putdat,
-			  const char * fmt, va_list *ap)
+			  const char * fmt, va_list ap)
 {
 	register const char *p;
 	register int ch;
@@ -145,7 +145,7 @@ vfprintfmt(int (*_fputch)(void *, int, void *), void * f, void * putdat,
 			goto process_precision;
 
 		case '*':
-			precision = va_arg(*ap, int);
+			precision = va_arg(ap, int);
 			goto process_precision;
 
 		case '.':
@@ -169,13 +169,13 @@ vfprintfmt(int (*_fputch)(void *, int, void *), void * f, void * putdat,
 
 		// character
 		case 'c':
-			if ((*_fputch) (f, va_arg(*ap, int), putdat) == -1)
+			if ((*_fputch) (f, va_arg(ap, int), putdat) == -1)
 				return;
 			break;
 
 		// string
 		case 's':
-			if ((p = va_arg(*ap, char *)) == NULL)
+			if ((p = va_arg(ap, char *)) == NULL)
 				p = "(null)";
 			if (width > 0 && padc != '-')
 				for (width -= strnlen(p, precision); width > 0; width--)
@@ -235,10 +235,10 @@ vfprintfmt(int (*_fputch)(void *, int, void *), void * f, void * putdat,
 				return;
 #if !defined(__i386__)
 			num = (unsigned long long)
-				(uintptr_t) va_arg(*ap, void *);
+				(uintptr_t) va_arg(ap, void *);
 #else
 			num = (unsigned long)
-				(uintptr_t) va_arg(*ap, void *);
+				(uintptr_t) va_arg(ap, void *);
 #endif
 			base = 16;
 			goto number;
@@ -280,7 +280,7 @@ fprintfmt(int (*_fputch)(void *, int, void *), void * f, void * putdat,
 	va_list ap;
 
 	va_start(ap, fmt);
-	vfprintfmt(_fputch, f, putdat, fmt, &ap);
+	vfprintfmt(_fputch, f, putdat, fmt, ap);
 	va_end(ap);
 }
 
@@ -302,7 +302,7 @@ sprintputch(void * f, int ch, struct sprintbuf * b)
 }
 
 static int
-vsprintf(char * buf, int n, const char * fmt, va_list *ap)
+vsprintf(char * buf, int n, const char * fmt, va_list ap)
 {
 	struct sprintbuf b = { 0, n, buf };
 
@@ -326,7 +326,7 @@ snprintf(char * buf, int n, const char * fmt, ...)
 	int rc;
 
 	va_start(ap, fmt);
-	rc = vsprintf(buf, n, fmt, &ap);
+	rc = vsprintf(buf, n, fmt, ap);
 	va_end(ap);
 
 	return rc;
diff --git a/Pal/regression/Ipc.c b/Pal/regression/Ipc.c
index 823eb997..2c48048f 100644
--- a/Pal/regression/Ipc.c
+++ b/Pal/regression/Ipc.c
@@ -200,7 +200,7 @@ int main (int argc, char ** argv, char ** envp)
         PAL_HANDLE ipc1 = DkCreatePhysicalMemoryChannel(&key1);
 
         if (ipc1) {
-            snprintf(gipc_uri, 20, "gipc:%lld", key1);
+            snprintf(gipc_uri, 20, "gipc:%ld", key1);
             pal_printf("Create Physical Memory Store OK\n");
 
             void * mem1 =
@@ -237,7 +237,7 @@ int main (int argc, char ** argv, char ** envp)
         PAL_HANDLE ipc2 = DkCreatePhysicalMemoryChannel(&key2);
 
         if (ipc2) {
-            snprintf(gipc_uri, 20, "gipc:%lld", key2);
+            snprintf(gipc_uri, 20, "gipc:%ld", key2);
             pal_printf("Create Physical Memory Store OK\n");
 
             void * mem2 =
@@ -272,7 +272,7 @@ int main (int argc, char ** argv, char ** envp)
         PAL_HANDLE ipc3 = DkCreatePhysicalMemoryChannel(&key3);
 
         if (ipc3) {
-            snprintf(gipc_uri, 20, "gipc:%lld", key3);
+            snprintf(gipc_uri, 20, "gipc:%ld", key3);
             pal_printf("Create Physical Memory Store OK\n");
 
             void * mem3 = NULL;
@@ -310,7 +310,7 @@ int main (int argc, char ** argv, char ** envp)
         PAL_HANDLE ipc4 = DkCreatePhysicalMemoryChannel(&key4);
 
         if (ipc4) {
-            snprintf(gipc_uri, 20, "gipc:%lld", key4);
+            snprintf(gipc_uri, 20, "gipc:%ld", key4);
             pal_printf("Create Physical Memory Store OK\n");
 
             void * mem4 = NULL;
@@ -344,7 +344,7 @@ int main (int argc, char ** argv, char ** envp)
         PAL_HANDLE ipc5 = DkCreatePhysicalMemoryChannel(&key5);
 
         if (ipc5) {
-            snprintf(gipc_uri, 20, "gipc:%lld", key5);
+            snprintf(gipc_uri, 20, "gipc:%ld", key5);
             pal_printf("Create Physical Memory Store OK\n");
 
             void * mem5 =
diff --git a/Pal/src/db_exception.c b/Pal/src/db_exception.c
index 013d690e..43a01826 100644
--- a/Pal/src/db_exception.c
+++ b/Pal/src/db_exception.c
@@ -93,7 +93,7 @@ void warn (const char *format, ...)
 {
     va_list args;
     va_start (args, format);
-    vprintf(format, &args);
+    vprintf(format, args);
     va_end (args);
 }
 
diff --git a/Pal/src/host/Linux-SGX/db_rtld.c b/Pal/src/host/Linux-SGX/db_rtld.c
index 975aa5ea..19828339 100644
--- a/Pal/src/host/Linux-SGX/db_rtld.c
+++ b/Pal/src/host/Linux-SGX/db_rtld.c
@@ -111,7 +111,7 @@ void _DkDebugAddMap (struct link_map * map)
     char buffer[BUFFER_LENGTH], * ptr = buffer;
 
     snprintf(ptr, BUFFER_LENGTH - (ptr - buffer),
-             "add-symbol-file %s 0x%016llx -readnow", map->l_name, text_addr);
+             "add-symbol-file %s 0x%016lx -readnow", map->l_name, text_addr);
     ptr += strlen(ptr);
 
     for (ElfW(Shdr) * s = shdr ; s < shdrend ; s++) {
@@ -125,7 +125,7 @@ void _DkDebugAddMap (struct link_map * map)
             continue;
 
         snprintf(ptr, BUFFER_LENGTH - (ptr - buffer),
-                 " -s %s 0x%016llx", shstrtab + s->sh_name,
+                 " -s %s 0x%016lx", shstrtab + s->sh_name,
                  map->l_addr + s->sh_addr);
         ptr += strlen(ptr);
     }
@@ -158,8 +158,8 @@ void setup_pal_map (struct link_map * pal_map)
 
     char buffer[BUFFER_LENGTH];
     snprintf(buffer, BUFFER_LENGTH,
-             "add-symbol-file %s 0x%016llx -readnow -s .rodata 0x%016llx "
-             "-s .dynamic 0x%016llx -s .data 0x%016llx -s .bss 0x%016llx",
+             "add-symbol-file %s 0x%p -readnow -s .rodata 0x%p "
+             "-s .dynamic 0x%p -s .data 0x%p -s .bss 0x%p",
              pal_map->l_name,
              &section_text, &section_rodata, &section_dynamic,
              &section_data, &section_bss);
diff --git a/Pal/src/host/Linux-SGX/sgx_graphene.c b/Pal/src/host/Linux-SGX/sgx_graphene.c
index 084002ac..18c88b1f 100644
--- a/Pal/src/host/Linux-SGX/sgx_graphene.c
+++ b/Pal/src/host/Linux-SGX/sgx_graphene.c
@@ -103,7 +103,7 @@ fputch(void * f, int ch, struct printbuf * b)
 }
 
 static int
-vprintf(const char * fmt, va_list *ap)
+vprintf(const char * fmt, va_list ap)
 {
     struct printbuf b;
 
@@ -122,7 +122,7 @@ pal_printf(const char * fmt, ...)
     int cnt;
 
     va_start(ap, fmt);
-    cnt = vprintf(fmt, &ap);
+    cnt = vprintf(fmt, ap);
     va_end(ap);
 
     return cnt;
diff --git a/Pal/src/host/Linux-SGX/sgx_internal.h b/Pal/src/host/Linux-SGX/sgx_internal.h
index afcd59e0..b48ee29a 100644
--- a/Pal/src/host/Linux-SGX/sgx_internal.h
+++ b/Pal/src/host/Linux-SGX/sgx_internal.h
@@ -36,8 +36,8 @@
 #define ERRNO INTERNAL_SYSCALL_ERRNO
 #define ERRNO_P INTERNAL_SYSCALL_ERRNO_P
 
-int printf(const char * fmt, ...);
-int snprintf(char * str, int size, const char * fmt, ...);
+int printf(const char * fmt, ...) __attribute__((format(printf, 1, 2)));
+int snprintf(char * str, int size, const char * fmt, ...) __attribute__((format(printf, 3, 4)));
 
 /* constants and macros to help rounding addresses to page
    boundaries */
diff --git a/Pal/src/pal_internal.h b/Pal/src/pal_internal.h
index ecdbba9d..5ffd37be 100644
--- a/Pal/src/pal_internal.h
+++ b/Pal/src/pal_internal.h
@@ -405,7 +405,7 @@ void free (void * mem);
 void _DkPrintConsole (const void * buf, int size);
 int printf  (const char  *fmt, ...) __attribute__((format (printf, 1, 2)));
 #include <stdarg.h>
-int vprintf(const char * fmt, va_list *ap) __attribute__((format (printf, 1, 0)));
+int vprintf(const char * fmt, va_list ap) __attribute__((format (printf, 1, 0)));
 void write_log (int nstrs, ...);
 
 static inline void log_stream (const char * uri)
diff --git a/Pal/src/printf.c b/Pal/src/printf.c
index 5f566c3c..864c6dad 100644
--- a/Pal/src/printf.c
+++ b/Pal/src/printf.c
@@ -48,7 +48,7 @@ fputch(void * f, int ch, struct printbuf * b)
 }
 
 int
-vprintf(const char * fmt, va_list *ap)
+vprintf(const char * fmt, va_list ap)
 {
     struct printbuf b;
 
@@ -67,7 +67,7 @@ printf(const char * fmt, ...)
     int cnt;
 
     va_start(ap, fmt);
-    cnt = vprintf(fmt, &ap);
+    cnt = vprintf(fmt, ap);
     va_end(ap);
 
     return cnt;
diff --git a/Pal/src/security/Linux/internal.h b/Pal/src/security/Linux/internal.h
index 3e0cc57e..067f9d38 100644
--- a/Pal/src/security/Linux/internal.h
+++ b/Pal/src/security/Linux/internal.h
@@ -23,7 +23,7 @@
 #define ERRNO INTERNAL_SYSCALL_ERRNO
 #define ERRNO_P INTERNAL_SYSCALL_ERRNO_P
 
-int printf (const char * fmt, ...);
+int printf (const char * fmt, ...) __attribute__ ((format(printf, 1, 2)));
 void * malloc (size_t size);
 void free (void * mem);
 
diff --git a/Pal/src/security/Linux/printf.c b/Pal/src/security/Linux/printf.c
index 685352bb..cec31ab7 100644
--- a/Pal/src/security/Linux/printf.c
+++ b/Pal/src/security/Linux/printf.c
@@ -43,7 +43,7 @@ fputch(int fd, int ch, struct printbuf *b)
 }
 
 static int
-vprintf(const char *fmt, va_list *ap)
+vprintf(const char *fmt, va_list ap)
 {
 	struct printbuf b;
 
@@ -62,7 +62,7 @@ printf(const char *fmt, ...)
 	int cnt;
 
 	va_start(ap, fmt);
-	cnt = vprintf(fmt, &ap);
+	cnt = vprintf(fmt, ap);
 	va_end(ap);
 
 	return cnt;
diff --git a/Pal/test/Ipc.c b/Pal/test/Ipc.c
index 99b1e523..fad342e5 100644
--- a/Pal/test/Ipc.c
+++ b/Pal/test/Ipc.c
@@ -30,7 +30,7 @@ int main(int argc, char ** argv)
             return 0;
         }
 
-        snprintf(uri, 20, "gipc:%lld", key);
+        snprintf(uri, 20, "gipc:%ld", key);
 
         PAL_HANDLE phdl = DkProcessCreate("file:Ipc", args);
 
diff --git a/Pal/test/Pipe.c b/Pal/test/Pipe.c
index 3e12530d..684562a7 100644
--- a/Pal/test/Pipe.c
+++ b/Pal/test/Pipe.c
@@ -16,7 +16,7 @@ int main (int argc, char ** argv)
     }
     pipeid = pipeid % 1024;
 
-    snprintf(uri, 40, "pipe.srv:%d", pipeid);
+    snprintf(uri, 40, "pipe.srv:%ld", pipeid);
 
     PAL_HANDLE srv = DkStreamOpen(uri, 0, 0,
                                   PAL_CREATE_TRY|PAL_CREATE_ALWAYS, 0);
@@ -26,7 +26,7 @@ int main (int argc, char ** argv)
         return -1;
     }
 
-    snprintf(uri, 40, "pipe:%d", pipeid);
+    snprintf(uri, 40, "pipe:%ld", pipeid);
 
     PAL_HANDLE cli = DkStreamOpen(uri, PAL_ACCESS_RDWR, 0,
                                   PAL_CREATE_TRY|PAL_CREATE_ALWAYS, 0);