I-question-this/sqifc

Symbolic Quantitative Information Flow Analysis for C

C++

sqifc

Symbolic Quantitative Information Flow Analysis for C

Paper

Abstract Model Counting: a novel approach for Quantification of Information Leaks. ASIACCS 2014.
Quoc-Sang Phan and Pasquale Malacaria.