Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quelle  unwind_vdso.c   Sprache: C

 
// SPDX-License-Identifier: GPL-2.0-only
/*
 * unwind_vdso.c - tests unwind info for AT_SYSINFO in the vDSO
 * Copyright (c) 2014-2015 Andrew Lutomirski
 *
 * This tests __kernel_vsyscall's unwind info.
 */


#define _GNU_SOURCE

#include <features.h>
#include <stdio.h>

#include "helpers.h"

#if defined(__GLIBC__) && __GLIBC__ == 2 && __GLIBC_MINOR__ < 16

int main()
{
 /* We need getauxval(). */
 printf("[SKIP]\tGLIBC before 2.16 cannot compile this test\n");
 return 0;
}

#else

#include <sys/time.h>
#include <stdlib.h>
#include <syscall.h>
#include <unistd.h>
#include <string.h>
#include <inttypes.h>
#include <sys/mman.h>
#include <signal.h>
#include <sys/ucontext.h>
#include <err.h>
#include <stddef.h>
#include <stdbool.h>
#include <sys/ptrace.h>
#include <sys/user.h>
#include <link.h>
#include <sys/auxv.h>
#include <dlfcn.h>
#include <unwind.h>

static volatile sig_atomic_t nerrs;
static unsigned long sysinfo;
static bool got_sysinfo = false;
static unsigned long return_address;

struct unwind_state {
 unsigned long ip; /* trap source */
 int depth;  /* -1 until we hit the trap source */
};

_Unwind_Reason_Code trace_fn(struct _Unwind_Context * ctx, void *opaque)
{
 struct unwind_state *state = opaque;
 unsigned long ip = _Unwind_GetIP(ctx);

 if (state->depth == -1) {
  if (ip == state->ip)
   state->depth = 0;
  else
   return _URC_NO_REASON; /* Not there yet */
 }
 printf("\t 0x%lx\n", ip);

 if (ip == return_address) {
  /* Here we are. */
  unsigned long eax = _Unwind_GetGR(ctx, 0);
  unsigned long ecx = _Unwind_GetGR(ctx, 1);
  unsigned long edx = _Unwind_GetGR(ctx, 2);
  unsigned long ebx = _Unwind_GetGR(ctx, 3);
  unsigned long ebp = _Unwind_GetGR(ctx, 5);
  unsigned long esi = _Unwind_GetGR(ctx, 6);
  unsigned long edi = _Unwind_GetGR(ctx, 7);
  bool ok = (eax == SYS_getpid || eax == getpid()) &&
   ebx == 1 && ecx == 2 && edx == 3 &&
   esi == 4 && edi == 5 && ebp == 6;

  if (!ok)
   nerrs++;
  printf("[%s]\t NR = %ld, args = %ld, %ld, %ld, %ld, %ld, %ld\n",
         (ok ? "OK" : "FAIL"),
         eax, ebx, ecx, edx, esi, edi, ebp);

  return _URC_NORMAL_STOP;
 } else {
  state->depth++;
  return _URC_NO_REASON;
 }
}

static void sigtrap(int sig, siginfo_t *info, void *ctx_void)
{
 ucontext_t *ctx = (ucontext_t *)ctx_void;
 struct unwind_state state;
 unsigned long ip = ctx->uc_mcontext.gregs[REG_EIP];

 if (!got_sysinfo && ip == sysinfo) {
  got_sysinfo = true;

  /* Find the return address. */
  return_address = *(unsigned long *)(unsigned long)ctx->uc_mcontext.gregs[REG_ESP];

  printf("\tIn vsyscall at 0x%lx, returning to 0x%lx\n",
         ip, return_address);
 }

 if (!got_sysinfo)
  return;  /* Not there yet */

 if (ip == return_address) {
  ctx->uc_mcontext.gregs[REG_EFL] &= ~X86_EFLAGS_TF;
  printf("\tVsyscall is done\n");
  return;
 }

 printf("\tSIGTRAP at 0x%lx\n", ip);

 state.ip = ip;
 state.depth = -1;
 _Unwind_Backtrace(trace_fn, &state);
}

int main()
{
 sysinfo = getauxval(AT_SYSINFO);
 printf("\tAT_SYSINFO is 0x%lx\n", sysinfo);

 Dl_info info;
 if (!dladdr((void *)sysinfo, &info)) {
  printf("[WARN]\tdladdr failed on AT_SYSINFO\n");
 } else {
  printf("[OK]\tAT_SYSINFO maps to %s, loaded at 0x%p\n",
         info.dli_fname, info.dli_fbase);
 }

 sethandler(SIGTRAP, sigtrap, 0);

 syscall(SYS_getpid);  /* Force symbol binding without TF set. */
 printf("[RUN]\tSet TF and check a fast syscall\n");
 set_eflags(get_eflags() | X86_EFLAGS_TF);
 syscall(SYS_getpid, 1, 2, 3, 4, 5, 6);
 if (!got_sysinfo) {
  set_eflags(get_eflags() & ~X86_EFLAGS_TF);

  /*
 * The most likely cause of this is that you're on Debian or
 * a Debian-based distro, you're missing libc6-i686, and you're
 * affected by libc/19006 (https://sourceware.org/PR19006).
 */

  printf("[WARN]\tsyscall(2) didn't enter AT_SYSINFO\n");
 }

 if (get_eflags() & X86_EFLAGS_TF) {
  printf("[FAIL]\tTF is still set\n");
  nerrs++;
 }

 if (nerrs) {
  printf("[FAIL]\tThere were errors\n");
  return 1;
 } else {
  printf("[OK]\tAll is well\n");
  return 0;
 }
}

#endif /* New enough libc */

Messung V0.5
C=94 H=96 G=94

¤ Dauer der Verarbeitung: 0.3 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Monitoring

Montastic status badge