ヒビルテ(2008-10-14)
λ. SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values. Colin Runciman, Matthew Naylor and Fredrik Lindblad. in Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell を読んだ。 QuickCheck がランダムテストなのに対して、SmallCheck は指定した上限までの範囲の網羅的な検査を行う*1。 QuickCheckでは値が適切に分散するように値の生成機を書くのは簡単ではないが、Sm
はてなブログ | 無料ブログを作成しよう
来年も作りたい！ふきのとう料理を満喫した 2024年春の記録 春は自炊が楽しい季節 1年の中で最も自炊が楽しい季節は春だと思う。スーパーの棚にやわらかな色合いの野菜が並ぶと自然とこころが弾む。 中でもときめくのは山菜だ。早いと2月下旬ごろから並び始めるそれは、タラの芽、ふきのとうと続き、桜の頃にはうるい、ウド、こ…
Unison File Synchronizer
Note: The Unison project is now hosted on GitHub (here's a link). This web site is archival. Unison is a file-synchronization tool for OSX, Unix, and Windows. It allows two replicas of a collection of files and directories to be stored on different hosts (or different disks on the same host), modified separately, and then brought up to date by propagating the changes in each replica to the other.
Top - PPL Summer School 2008
講演概要(Fail-Safe C) 概要 プログラムの誤り（バグ）によるセキュリティ脆弱性の発生は、インターネッ トの普及した現在において非常に大きな問題になっています。特に、プログラ ム中のメモリ操作の誤りによるメモリ上のデータの破壊は、プログラムの実行 そのものを乗っ取り、ウィルスのような不正コードの侵入を許す可能性が高く なります。実際、バッファ・オーバーラン脆弱性などこの類のバグによるセキュ リティ問題は、報告される脆弱性の多数を占め、現在においても深刻な問題で あり続けています。 特に、世の中のプログラムの大多数を占めるC言語で書かれたプログラムでは、 元来の言語の設計がメモリ操作に関する安全性を全く考慮していないため、単 純なプログラムの誤りがすぐにメモリ破壊脆弱性につながる傾向があります。 最初にC言語が提案された1970年代当時はまだインターネットが実用的に用いら れる
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
