Microsoft が提供する C/C++ ヘッダファイルにおける事前条件・事後条件の充実っぷりは異常 - NyaRuRuが地球にいたころ
ぴーびーしー - 東方算程譚 ふむ． むしろ Microsoft の開発現場で，一番 DbC が流行っているのが Visual C++ 関連だと思うのですが．Header Annotations とか SAL Annotations，C/C++ コード障害の検出と修正 等． 最近の Visual C++ のインクルードファイルや Windows SDKs 以下のインクルードファイルを見ていても，事前条件・事後条件の充実っぷりは異常．その規模は既に COM 全盛期の IDL を凌ぎます． あれは手で書いているんでしょうかねぇ？ 何か DSL から C/C++ のヘッダファイルを自動生成していてもおかしくない気もしますが，はて． 整数範囲注釈 そういえば Visual C++ 2008 SP1 のコード検証は，Header Annotations の整数範囲注釈を活用していないように見えるので
Splint Home Page
Secure Programming Lint SPecifications Lint First Aid for Programmers Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint.
高度プログラミング演習（九州大学全学共通教育科目）の説明資料
実践プログラミング ＣとＣ＋＋プログラミングに関するいくつかの例題と解説． 単なるプログラミングテクニックや文法の解説ではなく， 背後にある考え方の習得（アルゴリズム，データ構造，数学など）を重視して いる． プログラムをじっくり眺めそこから技法を学び取る． 最大値 [HTML] 曜日の計算 [HTML] 平均値，分散 [HTML] 2次方程式の解 [HTML] 最小自乗法 [PPT], [HTML] 待ち行列シミュレーション [PPT], [HTML] アーランの即時式モデル [PPT], [HTML] 行列のＬＵ分解 [PPT], [HTML] ニュートン法による非線型方程式の解 [PPT], [HTML] 数値積分 [PPT], [HTML] ２分探索木 [PPT], [HTML] ヒープソート [PPT], [HTML] クイックソート [PPT], [HTML]
C(++)言語: valgrindの使い方
ubuntu% uname -a Linux ubuntu 2.6.12-10-386 #1 Sat Mar 11 16:13:17 UTC 2006 i686 GNU/Linux ubuntu% valgrind --version valgrind-3.0.1 (0) 目次 Valgrindに含まれるツール Memcheck: メモリエラーを検出する(default) Cachegrind: キャッシュミスを検出する Massif: ヒーププロファイラを使う まとめ valgrindの使い方とエラーメッセージを整理してみた。「valgrind --leak-check=full command」というコマンドラインをよく用いる。これによりメモリ周りのバグを検出出来る。 --tool=cachegrindではプログラム実行時のキャッシュミス率を測定する事が出来る。cg_annotateを
A garbage collector for C and C++
Where to get the collector Platforms Scalable multiprocessor versions Some collector details Further reading Current users Local links for this collector Local background Links Contacts, Updates, and Reporting Issues Translations of this page [ This is an updated version of the page formerly at http://www.hpl.hp.com/personal/Hans_Boehm/gc, and before that at http://reality.sgi.com/boehm/gc.html an
curl is at curl.se
Redwood lets you orchestrate securely and reliably across any application, service or server, in the cloud or on-premise, all inside a single platform. Additional Project Details Operating SystemsBeOS, Windows IoT, QNX, Linux, Server Operating Systems, AmigaOS, BSD, Android, Windows LanguagesEnglish Intended AudienceAdvanced End Users, System Administrators, Developers User InterfaceCommand-line P
Manpage of STDARG
STDARG Section: Linux Programmer's Manual (3) Updated: 2001-10-14 Index JM Home Page roff page 名前 stdarg, va_start, va_arg, va_end, va_copy - 個数・型が可変な引数リスト 書式 #include <stdarg.h> void va_start(va_list ap, last); type va_arg(va_list ap, type); void va_end(va_list ap); void va_copy(va_list dest, va_list src); 説明 関数は呼び出しに際して、個数や型が可変な引数をとることができる。 インクルードファイル <stdarg.h> では va_list 型が宣言されており、3 つのマクロが定義され
UnderC / A compact C++ interpreter
UnderC for Windows and Linux vs 1.2.8 has been released The goal of the UnderC project is to produce a useful C++ interpreter which supports "pocket" versions of standard library classes (iostreams, strings, vectors, lists, maps, etc) and the STL algorithms. It is particularly intended to make life easier for students beginning C++. A beta version of USE (the UnderC Scripting Environment) is now
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.sra.co.jp/Rational/purify/purify.html
サービス終了のお知らせ
http://www.bleugris.com/v2/stuart/projects/index.php
http://puggy.symonds.net/~anish/cryptographic_libraries.htm