Eine aufbereitete Darstellung der Quelle

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

Benutzer

Quelle  bug2.in

  Sprache: C
 

#verbose on
open bug2.file.tmp

Two bugs while updating a short Subject: header immediately before
a still virgin "append header" pointer record.
java.lang.NullPointerException
Symptom:
java.lang.NullPointerException
#    warning: <filename>: malformed pointer record value: <garbage>
java.lang.NullPointerException
Cause:
java.lang.NullPointerException
#    Failure to recognize the "append header" record while updating
#    short message header
java.lang.NullPointerException
Analysis:
java.lang.NullPointerException
This happened while updating a header record that was followed by
the current "append header" record. The pointer could be the initial
"append header" record between message header and body, or it could
be a later version of that pointer somewhere in the heap.
java.lang.NullPointerException
- Postfix considered the pointer record as any pointer record after
a header record. Thus, it decided that some portion of the pointer
record could be overwritten with the location of the new Subject:
header on the heap. Later "append header" operations would then
update old "append header" record and thus clobber part of the
pointer to the new Subject: header value.  
java.lang.NullPointerException
While saving the "append header" pointer record value on the
heap, Postfix did not replace the still virgin "0" append header"
pointer record value by the actual location of the message body
content.

upd_header 1 Subject hey!
add_header foo foobar
close

Messung V0.5 in Prozent
C=83 H=89 G=85

¤ Dauer der Verarbeitung: 0.12 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.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Statistik
#Sources=141584
#Domains=738142