Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Postfix/src/util/   (Postgres Database Version 18.4©)  Datei vom 17.8.2024 mit Größe 723 B image not shown  

SSL 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.10 Sekunden  (vorverarbeitet am  2026-08-08) ¤

*© Formatika GbR, Deutschland






Versionsinformation zu Columbo

Bemerkung:

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Anfrage:

Dauer der Verarbeitung:

Sekunden

sprechenden Kalenders