BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pietro Ferrara, Luca Olivieri, Fausto Spoto. BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results. In Dirk Beyer 0001, Damien Zufferey, editors, Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings. Volume 11990 of Lecture Notes in Computer Science, pages 23-43, Springer, 2020. [doi]

This author has not been identified. Look up 'Pietro Ferrara' in GoogleThis author has not been identified. Look up 'Luca Olivieri' in GoogleThis author has not been identified. Look up 'Fausto Spoto' in Google

runs on WebDSL