18
algoritmi di hash calcolati in un'unica passata sul file
Forensic File Integrity & Analysis
Ogni file,
Ogni file,
un reperto
da esaminare.
Probatio calcola gli hash, verifica l'integrità e analizza file e immagini con rigore forense — metadati, firme, C2PA. Rendiconta tutto in un report difendibile, in locale: niente lascia la tua macchina.
reperto-01.dd
4,2 GB · immagine forense
Hash calcolato
Atteso
e3b0c4…52b855 · hash di acquisizione
Calcolo dell'hash…
Corrisponde
L'hash calcolato coincide con quello atteso: il file è integro.
Sicurezza · PDF
Apri un PDF sospetto
Apri un PDF sospetto
senza correre rischi
Un PDF non è un foglio di carta: è un formato con un linguaggio di programmazione dentro. Un lettore normale (Acrobat, Anteprima) lo esegue: fa partire il JavaScript, segue le azioni all’apertura e lo lascia contattare l’esterno. Probatio lo apre in una sandbox a tre strati indipendenti: il documento viene interpretato, non eseguito; la finestra non ha rete; i byte grezzi sono analizzati fuori dall’applicazione. Se cade il primo strato, restano gli altri due.
- Nessuno script eseguito — JavaScript, OpenAction, comandi esterni e link non partono: il motore di rendering ha
evale scripting disattivati. - Nessuna connessione — la finestra non può contattare l’esterno: niente «chiamate a casa», nessuno sa che hai aperto il file.
- Parsing fuori dall’applicazione — i byte del PDF sono letti da un helper separato con un timeout (e, su macOS, tetto di memoria e di CPU): un file malformato fa cadere l’helper, non Probatio.
- Su macOS lo impone il sistema — un profilo
sandbox-execnega rete, scrittura fuori dalla cartella di lavoro e avvio di altri processi: a respingere non è un controllo dell’app, è il kernel. - Vedi ciò che il PDF nasconde — testo nascosto e codice attivo estratti e mostrati, non eseguiti; l’originale non viene mai toccato.
Onestà: il confinamento completo imposto dal sistema operativo è attivo su macOS (profilo sandbox-exec): niente rete, niente scrittura fuori dalla cartella di lavoro. Su Windows è parziale: l’helper gira in un Job object con memoria e CPU limitate e senza poter avviare altri processi, ma rete e scrittura non sono ancora negate. Nessuna sandbox rende comunque innocuo un file: per questo Probatio non sanifica mai in silenzio e, quando serve, offre una bonifica profonda che ricostruisce il documento, scarta i programmi font incorporati e neutralizza le immagini a codec pericoloso (JBIG2/JPX).
Parte della suite AcquisizioniForensi
Si acquisisce con CERTO, si esamina e si firma con Probatio
Una sola catena di custodia, due strumenti complementari: CERTO e LOCUS creano la prova, Probatio la esamina, verifica e firma. Con Probatio ri-controlli anche i bundle prodotti da CERTO/LOCUS: struttura, firma Ed25519 e marche temporali.
CERTO
Acquisisce prove a validità legale: web, email, chat, cloud. Bundle BagIt con hash, firma e marca temporale.
LOCUS
Acquisisce prove sul campo da mobile: foto e video geolocalizzati e certificati.
Probatio
Esamina, verifica l'integrità e firma: hash, analisi, immagine forense E01, BagIt, firma eIDAS/CIE, marca temporale.
Un pannello, tutti gli strumenti
Ogni fase dell'analisi, in un'unica app
Dalla singola impronta all'inventario di un intero volume. I moduli condividono lo stesso motore: risultati coerenti, riproducibili, difendibili.
Explorer
Cartelle con le anteprime di foto (anche RAW e HEIC), PDF e documenti, ordinate per data del contenuto. Nella cartella non scrive nulla.
Hash
Digest con 18 algoritmi in un'unica lettura del file. File recenti, export CSV/JSON.
Verifica
Hash atteso con auto-detect, oppure file di checksum SHA256SUMS / MD5SUMS in batch.
File di checksum
Verifica e crea SHA256SUMS e MD5SUMS, anche nei formati di macOS e PowerShell, con le righe che non tornano spiegate.
Confronto
Due file A/B: identici o diversi, algoritmo per algoritmo, con esito e export.
Hex
Vista esadecimale/ASCII con virtual scroll reale, ricerca hex/testo, data inspector, vai all'offset.
Diff
Confronto binario byte-per-byte: conteggio delle differenze e salto alla prima.
Analisi file
Dossier del file: tipo↔estensione, entropia, stringhe, header eseguibili, ssdeep, YARA, C2PA.
Analisi immagini
Struttura JPEG, tabelle di quantizzazione, EXIF/GPS/IPTC/XMP, ICC, C2PA — con report PDF.
Confronto immagini
Hash percettivi aHash/dHash/pHash con distanze e report PDF affiancato.
Visualizzatore immagini
Foto in sola lettura, anche RAW, HEIC, PSD e DICOM: date a confronto, C2PA col legame al file, mappe ELA e ritaglio senza ricompressione.
Immagine forense
Verifica l'integrità di immagini disco E01/EWF e DD/raw vs l'hash di acquisizione, con metadati e settori danneggiati.
Pacchetto BagIt
Valida pacchetti BagIt (RFC 8493) e i bundle CERTO/LOCUS end-to-end: firma Ed25519, marche RFC 3161, CASE/UCO.
Firma digitale
Verifica e apponi firme CAdES/PAdES/XAdES/JAdES con smartcard, CIE o firma remota cloud; eIDAS/QSCD, AgID, OCSP.
Firma software
Firme di eseguibili e installatori in entrambe le direzioni: .exe e .msi da Mac, .dmg e binari Apple da Windows, con notarizzazione.
Marca temporale
Applica e verifica marche temporali RFC 3161: solo l'impronta SHA-256 lascia il dispositivo.
Visualizzatore email
Apre EML, EMLX e MSG in un processo isolato: intestazioni, struttura MIME, allegati con impronte, conversione fra formati.
Verifica PEC
Firma del gestore ancorata ad AgID, validità alla data della PEC, daticert.xml letto dalla parte firmata. Buste e ricevute.
Analisi phishing
Solo fatti verificabili: percorso dei server, SPF, DKIM, DMARC, link con testo diverso dalla destinazione, allegati, YARA.
Monitoraggio
Sorveglianza di una cartella in tempo reale: creazioni, modifiche e cancellazioni.
Inventario
Scansione ricorsiva di cartelle e volumi: tipo, dimensione, metadati e data del contenuto in SQLite, con report PDF.
Timeline
Ricostruzione cronologica degli eventi dei file: date del filesystem e del contenuto, per ogni scansione.
Cronologia
Ogni scansione resta salvata e riapribile dall'inventario, con cartella, data e stato.
Deduplica
File identici per SHA-256 con ricerca a imbuto; rimozione reversibile, impronta ricontrollata prima di ogni azione.
Strumenti
Utility PDF e immagini: bonifica profonda (scarta i programmi font e neutralizza le immagini a codec pericoloso), raddrizza pagine, rimuovi password, sanitizza, togli metadati, rinomina per hash.
Banco di lavoro PDF
Apri un PDF in una sandbox isolata: nessun JavaScript eseguito, nessuna rete. Esamina provenienza e testo nascosto, redigi, annota, firma.
Analisi PDF
Il dossier di un PDF: metadati Info e XMP, statistiche del testo e leggibilità, struttura, sicurezza, immagini, versioni salvate.
Confronto PDF
Due PDF parola per parola, con pagine affiancate, timbri e firme autografe, pagine aggiunte o tolte e firme digitali verificate.
OCR in PDF
Scansioni e foto di documenti diventano PDF ricercabili: raddrizzate, orientate, lette in 122 lingue. Tutto in locale.
Archivi
Sfoglia ZIP, 7z, TAR, CAB, ISO e MSI senza estrarre: impronte per voce, CRC, date, nomi e diagnosi Windows.
Il dossier del file
Non solo un hash:
Non solo un hash:
l'intera storia dell'artefatto
Il modulo Analisi file assembla un dossier completo riusando ogni motore dell'app. Rileva ciò che un file dichiara — e ciò che nasconde.
- Content Credentials C2PA — parser JUMBF + CBOR con tutte le chiavi e validazione crittografica della firma (COSE / X.509).
- Regole YARA applicate da un motore integrato, con regole da endpoint aggiornabile.
- Entropia, stringhe e header eseguibili PE/ELF/Mach-O, fuzzy hash ssdeep, firme incorporate contestuali.
Difendibile in giudizio
Progettato attorno alla fiducia sul risultato
In ambito forense il binario e il metodo sono parte della prova. Probatio è deterministico, verificabile e non dipende da servizi esterni.
0 byte
caricati in rete: hashing, metadati e report sono tutti in locale
RFC 3161
marca temporale del report presso TSA accreditata, verificabile con OpenSSL
2
piattaforme desktop supportate: macOS e Windows
Set completo di algoritmi
MD5
SHA-1
SHA-224
SHA-256
SHA-384
SHA-512
SHA-512/224
SHA-512/256
SHA3-224
SHA3-256
SHA3-384
SHA3-512
RIPEMD-160
BLAKE2b
BLAKE2s
BLAKE3
CRC32
XXH3
Un motore, ogni sistema
Sul desktop oggi, sul campo domani
macOS
Apple Silicon (arm64), firmato e notarizzato.
Windows
Installer x64 firmato, con menu contestuale e app predefinita.
In azione
Un'interfaccia sobria per un lavoro rigoroso
Dark-first, densa di dati e senza fronzoli: ogni modulo mostra risultati verificabili e li esporta in report difendibili. Tutto in locale, nessun cloud.
Dalla barra dei menu
Sempre a portata di mano
Un clic sull'icona di Probatio apre un pannello con la ricerca dei moduli e gli ultimi file aperti, lo stato del computer e la rete. Il clic destro apre il menu con tutti i moduli. Su macOS e su Windows.
FAQ
Domande frequenti
Quanto costa Probatio?
Puoi provarlo gratis per 10 giorni; poi serve una licenza annuale a €49/anno, con tutti i moduli e gli aggiornamenti inclusi. Nessun costo nascosto.
I miei file vengono caricati online?
No. Hashing, estrazione metadati, analisi e report avvengono interamente sul tuo dispositivo: nessun file lascia la macchina.
Quali algoritmi di hash supporta?
Diciotto, tra cui MD5, SHA-1, SHA-2 e SHA-3, RIPEMD-160, BLAKE2/3 e i checksum rapidi CRC32 e XXH3.
Su quali sistemi operativi funziona?
Su macOS e Windows desktop.
È adatto all'uso forense e probatorio?
Sì: è deterministico, verificabile e non dipende da servizi esterni. L'ammissibilità legale e la catena di custodia restano responsabilità del professionista.
È pericoloso aprire un PDF sospetto?
Sì. Un PDF non è un foglio di carta: contiene un linguaggio di programmazione, e un lettore normale (Acrobat, Anteprima) lo esegue — fa partire il JavaScript, segue le azioni all'apertura e gli permette di contattare l'esterno. Probatio lo apre in una sandbox con la rete bloccata, nessun processo figlio e la scrittura confinata: puoi esaminarlo senza eseguirlo.
Che cos'è un hash e a cosa serve?
Un hash è un codice di lunghezza fissa calcolato dal contenuto di un file: se cambia anche un solo bit, il codice cambia completamente. Serve quindi a dimostrare che un file è identico all'originale — è l'impronta digitale su cui si regge tutta la catena di custodia informatica.
Come si verifica che un file non sia stato modificato?
Si confronta l'hash calcolato ora con quello registrato al momento dell'acquisizione: se coincidono, il file è integro bit per bit; se differiscono, è stato alterato. Probatio esegue il confronto e lo rendiconta nel report, senza che il file lasci la tua macchina.
Si può capire se un'immagine è stata generata da un'intelligenza artificiale?
Probatio legge le credenziali di contenuto C2PA, lo standard con cui i generatori dichiarano l'origine di un'immagine, insieme a metadati EXIF/XMP e firme. Sono indizi forti quando presenti, ma la loro assenza non prova che un'immagine sia autentica: possono essere rimossi.
Che differenza c'è tra Probatio e C.E.R.T.O.?
C.E.R.T.O. acquisisce una prova che sta online (una pagina, una chat, un'email) e la certifica. Probatio esamina un file che hai già: ne calcola gli hash, ne verifica l'integrità, lo analizza e produce un report. Il primo crea la prova, il secondo la controlla.
Quali algoritmi di hash si usano in ambito forense?
SHA-256 è lo standard attuale; MD5 e SHA-1 restano richiesti per compatibilità con procedure e strumenti di catena di custodia più vecchi, pur non essendo più sicuri contro le collisioni. Probatio ne supporta 18, inclusi SHA-3, BLAKE2/3 e RIPEMD-160.
Probatio funziona senza connessione a Internet?
Sì. Hashing, analisi, estrazione dei metadati e generazione del report avvengono interamente sul tuo computer e non richiedono la rete. Alcune funzioni la usano quando è disponibile — regole YARA, revoca dei certificati, marca temporale, verifiche DNS dell'analisi phishing, mappa e luogo di una foto con coordinate GPS (a OpenStreetMap vanno le coordinate, mai l'immagine), il download una tantum delle lingue dell'OCR e del modello del Confronto PDF, l'IP pubblico nel pannello dell'icona di sistema — e senza connessione semplicemente non mostrano il risultato.
Che tipo di report produce Probatio?
Un report difendibile: elenca i file esaminati, gli hash calcolati con ogni algoritmo, l'esito delle verifiche di integrità e i risultati dell'analisi (metadati, firme, C2PA, esame dei PDF). Essendo deterministico, chiunque può rifare le stesse operazioni e ottenere gli stessi valori.
Licenza
Un prezzo, tutto incluso
Provalo gratis per 10 giorni, poi una sola licenza annuale sblocca tutti i moduli. Nessun abbonamento a consumo, nessuna sorpresa.
10 giorni di prova gratis
€49
/ anno
- Tutti i moduli: hash, analisi, immagini, immagine forense E01, BagIt, firma CAdES/PAdES/XAdES/JAdES, marca temporale, inventario…
- Fino a 5 dispositivi per licenza
- Aggiornamenti inclusi per tutto l'anno
- Tutto in locale: nessun file lascia il tuo dispositivo
Licenza annuale una tantum (non si rinnova da sola). Pagamento sicuro con Stripe. Che cosa include, e cosa no
Metti alla prova i tuoi file
Scarica Probatio e comincia a calcolare hash, verificare l'integrità e analizzare file e immagini. Prova gratis 10 giorni, poi licenza annuale. Tutto in locale, nessun cloud.
Anteprima del sito — build e link di download in preparazione.