Quantitative Information Flow assessment of vulnerability for microdata datasets using Bayes Vulnerability. This tool was used for the vulnerability assessment published in: A formal quantitative study of privacy in the publication of official educational censuses in Brazil (hdl:1843/38085) and Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata (DOI: 10.56553/popets-2022-0114, arXiv: 2204.13734).