Joana is an open source Eclipse plugin for information flow control. Afaik the most precise one which still scales reasonably well. The core technology is not

Joana is an open source Eclipse plugin for information flow control. Afaik the most precise one which still scales reasonably well. The core technology is not the thing to commercialize. The valuable thing is to be an independent third party which provides the guarantees. It is about image and prestige. The hard question imho: Are such guarantees valuable enough? Do end users care enough that it is worth it?