2005年ころ、PostgreSQL+QueryCacheという実験をやっていたことをふと思い出す。今みてもソースが汚い。ソースよりも「インスパイヤライセンス」を書きたくて作った側面も否定できず。

実際に使われている800行規模のCプログラムに対してCBMCを使ってみる。 ここでは拙作mcbというmemcachedのベンチマークプログラムを俎上にのせる。このプログラムのバージョン1.0rc2はここで指摘されているように、初歩的なミスを含んでいる稚拙なものであっ…