SNIPER公開

Cプログラムの不具合箇所発見ツールSNIPERをGitHubで公開しました．
本ツールは，細部博史が研究代表者を務める科研費基盤研究(B)課題の一環として，Si-Mohamed Lamraouiが開発したものです．