From owner-freebsd-bugs  Mon Sep  1 03:20:06 1997
Return-Path: <owner-freebsd-bugs>
Received: (from root@localhost)
          by hub.freebsd.org (8.8.7/8.8.7) id DAA18375
          for bugs-outgoing; Mon, 1 Sep 1997 03:20:06 -0700 (PDT)
Received: (from gnats@localhost)
          by hub.freebsd.org (8.8.7/8.8.7) id DAA18324;
          Mon, 1 Sep 1997 03:20:02 -0700 (PDT)
Resent-Date: Mon, 1 Sep 1997 03:20:02 -0700 (PDT)
Resent-Message-Id: <199709011020.DAA18324@hub.freebsd.org>
Resent-From: gnats (GNATS Management)
Resent-To: freebsd-bugs
Resent-Reply-To: FreeBSD-gnats@FreeBSD.ORG, switzel@uni-goettingen.de
Received: (from nobody@localhost)
          by hub.freebsd.org (8.8.7/8.8.7) id DAA18184;
          Mon, 1 Sep 1997 03:15:34 -0700 (PDT)
Message-Id: <199709011015.DAA18184@hub.freebsd.org>
Date: Mon, 1 Sep 1997 03:15:34 -0700 (PDT)
From: switzel@uni-goettingen.de
To: freebsd-gnats-submit@FreeBSD.ORG
X-Send-Pr-Version: www-1.0
Subject: bin/4445: segmentation fault in vfprintf
Sender: owner-freebsd-bugs@FreeBSD.ORG
X-Loop: FreeBSD.org
Precedence: bulk


>Number:         4445
>Category:       bin
>Synopsis:       segmentation fault in vfprintf
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    freebsd-bugs
>State:          open
>Class:          sw-bug
>Submitter-Id:   current-users
>Arrival-Date:   Mon Sep  1 03:20:01 PDT 1997
>Last-Modified:
>Originator:     Stefan Witzel
>Organization:
Universitaet Goettingen
>Release:        2.2.2-RELEASE
>Environment:
FreeBSD thrake.zvw.uni-goettingen.de 2.2.2-RELEASE 2.2.2-RELEASE #0
>Description:
Running ipmon -F from Darren Reed's ipfilter V3.2beta3  causes a core dump:

   8000 bytes flushed from log buffer
   [....] pid 191 (ipmon) uid 0: exited on signal 11 (core dumped)
   Segmentation fault (core dumped)

Recompiling  ipmon with the -g option and running it under gdb gives 

   0x8061e3a in vfprintf ()

when processing line 602 in ipmon.c:

   fprintf(log, "%d bytes flushed from log buffer", flushed);

If I replace line 602 by 

   printf("%d\n", flushed);

there is any problem.

Some more informations:

   whatis flushed: type = int
   print flushed: $1 = 8160

   Processor: AMD K5-P133
 


>How-To-Repeat:

>Fix:

>Audit-Trail:
>Unformatted: