Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

Infer# Analysis

Aperta
#792 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
4/5
Tempo stimato
3-5 giorni
Idoneità per principianti
35/100
Tipo di issue
Bug
Chiarezza
Da chiarire
Stato di attività
Ferma
Stack tecnologico
csharp
Ambito
backend

Direzione di ricerca

Inizia eseguendo Infer# sul codice e rivedendo report_sarif.zip. Analizza le perdite di risorse segnalate in ZipFile.cs e ZipEntry.cs, oltre ai risultati relativi alle race condition di PartialInputStream in ZipFile.cs; il lavoro è completato quando i risultati segnalati sono stati risolti e l’analisi non li segnala più.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

bug
Steps to reproduce
  1. Get Infer#
  2. Run it on the code

ZipFile.cs

  • (Pulse resource leak) Resource dynamically allocated by constructor ICSharpCode.SharpZipLib.Encryption.PkzipClassicEncryptCryptoTransform(), indirectly via call to PkzipClassicManaged.CreateEncryptor(...) on line 3740 is not closed after the last access at line 3740, column 5.

75gai-1667327544

  • (Thread safety violation) Read/Write race. Non-private method ZipFile$PartialInputStream.get_Position() reads without synchronization from this.ICSharpCode.SharpZipLib.Zip.ZipFile$PartialInputStream.readPos_. Potentially races with write in method ZipFile$PartialInputStream.Read(...).
    Reporting because another access to the same memory occurs on a background thread, although this access may not.
  • (Thread safety violation) Read/Write race. Non-private method ZipFile$PartialInputStream.ReadByte() reads without synchronization from this.ICSharpCode.SharpZipLib.Zip.ZipFile$PartialInputStream.readPos_. Potentially races with write in method ZipFile$PartialInputStream.Read(...).
    Reporting because this access may occur on a background thread.
  • (Thread safety violation) Unprotected write. Non-private method ZipFile$PartialInputStream.set_Position(...) writes to field this.ICSharpCode.SharpZipLib.Zip.ZipFile$PartialInputStream.readPos_ outside of synchronization.
    Reporting because another access to the same memory occurs on a background thread, although this access may not.

ZipEntry.cs

  • (Pulse resource leak) Resource dynamically allocated by constructor ICSharpCode.SharpZipLib.Zip.ZipExtraData() on line 870 is not closed after the last access at line 938, column 4.

report_sarif.zip

Lingua principale
C#
Stelle
3.9k
Fork
1k
Nessuna PR unita negli ultimi 30g

Guida per i contributori

Apri la guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di icsharpcode/SharpZipLib

Tutte le issue di icsharpcode/SharpZipLib

Issue simili

Altre issue su C#

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.