Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Postfix/src/global/   (Postfix Mailserver Version 3.11©)  Datei vom 14.6.2005 mit Größe 942 B image not shown  

Quelle  bug1.in

  Sprache: C
 

#verbose on
open bug1.file.tmp

Symptom:
java.lang.NullPointerException
#    infinite loop in postcat and in delivery agents
java.lang.NullPointerException
Cause:
java.lang.NullPointerException
#    Failure to update location info after following a pointer record,
#    while updating a message header record
java.lang.NullPointerException
Analysis:
java.lang.NullPointerException
This happens with repeated updates of the same message header.
After the first update, the update #1 header record sits in the
heap at the end of the queue file, and is followed by a reverse
pointer to the start of the next message header record or the
message body, somewhere in the middle of the queue file.
java.lang.NullPointerException
The problem started with update #2 of that same message header.
While following the reverse pointer record after the update #1
header record to find out the start of the next header or message
body, the header updating routine did not update its notion of
where it was. Thus, it believed that the next header or body record
was located after the reverse pointer record. That was not the
middle of the message, but the end of the queue file. The second
update would result in an update #2 header record, followed by a
reverse pointer to what used to be the end of the queue file, but
had meanwhile become the location of the update #2 header record.
java.lang.NullPointerException
Thus, anything that tried to deliver mail would loop on the update
#2 header record. After update update #3 of the same header, the
delivery agent would loop on the update #3 record, etc.

upd_header 1 Subject long header text
upd_header 1 Subject long header text
upd_header 1 Subject long header text
upd_header 1 Subject long header text

close

Messung V0.5 in Prozent
C=86 H=89 G=87

¤ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet am  2026-08-08) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

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.