BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results / Ferrara, Pietro; Olivieri, Luca; Spoto, Fausto. - (In corso di stampa). ((Intervento presentato al convegno 21th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020).
Autori: | |
Data di pubblicazione: | Being printed |
Titolo: | BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results |
Titolo del libro: | Verification, Model Checking, and Abstract Interpretation |
Appare nelle tipologie: | 4.1 Articolo in Atti di convegno |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
article.pdf | Documento in Pre-print | Accesso chiuso-personale | Riservato |
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.