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