The public version of the subtle-analyze project