概述和理念
bismon (这是一个临时名称)是一个持久性监视器,(以后)将通过插件与编译器进行交互。 它(或将成为)我的旧版项目的继任者。 中期目标也是借助。 源代码库(GPL第三版+行货)是 ..我的( ,在采用法国)工作bismon的部分资金(从2018到结束的开始欧盟Horizon H2020计划(2020年)的项目,批准号为780075。在CHARIOT中,我将专注于分析以C或C ++编码以及(跨) 在某些Linux桌面上编译的某些软件。 。 在2019至21年的发展bismon也