enbug diary(2006-07-14) - failmalloc
_ failmalloc 私は立場上いろんな人のプログラムを見る必要がある。 しかし、とりわけ経験不足な人が書いたコードはエラーチェックが無茶苦茶である。 要するに、失敗することを考えていない。 これには非常にうんざりさせられるが、 そもそも何が原因なのか考えてみた。 失敗するのを見ることがないのがいけない。 これが私の辿り着いた結論である。 実のところ、malloc が本当にこけるところなんて、熟練者でさえ滅多に見たことがないんじゃなかろうか。 今日のようにメモリが潤沢になると、その傾向にますます拍車がかかることになる。 そこで、いっそのこと、わざと失敗させてみることにした。 何で今までこういうものがなかったのか、多少不思議ではあるが （私が知らないだけ？）、 30分ぐらいのハックで出来上がった。 それよりウェブページを作成する方がよっぽど時間がかかってしまった。 詳細はウェブの方を見て
FreeSafeTy
FreeSafeTy (Free is made Safe by Types) is a type-based memory usage verifier for C programs. FreeSafeTy can verify the following properties on memory usage. Lack of memory leak. Lack of double free. Lack of read/write to deallocated memory cell. For technical issues on the verifier, see our papers. Download FreeSafeTy 0.2 (.tar.gz) Install You need GLPK, ocaml-glpk and OMake to install FreeSafeTy
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - esp-rs/esp-wifi-sys: Wi-Fi and BT drivers packaged for integration into bare-metal esp-wifi.
