2017年にC/C++はCOBOLのように死す | ソフトアンテナ
長い歴史を持つプログラミング言語C。その発展系としてオブジェクト指向を導入したC++とともに、現代でも、実用的なソフトウェアを作成するためのプログラミング言語として、さまざまな場面で使われ続けています。 そのようななかセキュリティ研究家trevor jim氏は、ブログ記事「C and C++ are dead like COBOL in 2017」を公開。CとC++はCOBOLのように、2017年に死ぬだろうという持論を展開し、注目を集めています。 同氏はセキュリティ研究家という立ち位置から、安全でないCやC++言語の批判を長年展開してきた経緯を持っているそうで、すでに"メンテナンスモード"に入っているCOBOLと同様に、C/C++は本質的には死んでしまった言語だと主張。 CやC++は安全ではないという問題のほか、プログラミングの難易度が高く、コンパイラによってとらえられないバグが簡単に書
PhD Thesis | Robbert Krebbers
On December 1, 2015 at Radboud University Nijmegen, I have defended my PhD thesis entitled: The C standard formalized in Coq with cum laude distinction. Download Robbert Krebbers. The C standard formalized in Coq. PhD thesis. Radboud University Nijmegen. Summary This thesis describes a formal specification of the sequential fragment of the C programming language based on the official description o
Cプログラムの"わかりにくさ"を競う奇怪コンテスト「IOCCC」、5年ぶり開催
あのコンテストが帰ってくる。2006年に開催されて以来沈黙し続けいてた「IOCCC(International Obfuscated C Code Contest)」だ。実に5年ぶり、20回目となる同コンテストの開催が発表された。コンテストの応募期間は11月12日(協定世界時)から2012年1月12日(協定世界時)までの2ヶ月間。作品の提出は12月1日から受付が開始される。 IOCCCは、どれだけ「わかりにくい」Cプログラムを作成できるかを競うコンテスト。どれだけわかりにくいコードになっているか、または、どれだけわかりにくいように編集されているかがコンテストの鍵となる。IOCCC 19回目までの作品はオンラインでチェックできる。どれも折り紙付きの"わかりにくさ"だ。そのままでは何をするソースコードなのか理解しかねる。
[Prog] printf 関数をちゃんと使おう - NAKAMURA Minoru's Diary
2002 | 10 | 11 | 12 2003 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 2004 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 2005 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 2006 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 2007 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 2008 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 2009 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 1
ConceptClang
Introduction ConceptClang is an implementation of concepts for C++ in Clang -- an LLVM frontend for the C family of programing languages. Its aim is to provide an easily extensible infrastructure for implementing differing concepts proposals, particularly those that arose during discussion prior to its removal as a feature for C++0x. It is currently under development and the features undergo inclu
The Most Expensive One-byte Mistake - ACM Queue
The Bike Shed July 25, 2011 Volume 9, issue 7 PDF The Most Expensive One-byte Mistake Did Ken, Dennis, and Brian choose wrong with NUL-terminated text strings? Poul-Henning Kamp IT both drives and implements the modern Western-style economy. Thus, we regularly see headlines about staggeringly large amounts of money connected with IT mistakes. Which IT or CS decision has resulted in the most expens
Success is a Journey, not a Destination: 全てのCプログラマが未定義な振る舞いについて知っておくべきこと #1/3
[What Every C Programmer Should Know About Undefined Behavior #1/3 の翻訳です。] LLVMでコンパイルしたコードは、最適化を有効にしているとたまにSIGTRAPシグナルを生成するのはなぜなのか、と聞かれることがある。いろいろ調べたあと、(X86での話だが) Clangは "ud2" インストラクションを生成していたことがわかった。"ud2" は__builtin_trap()が生成するインストラクションと同じものだ。[訳注: #UD例外を発生させる命令。ソフトウェアが#UD例外をハンドルできているかテストするために使われる。つまり、ソースコードが未定義な振る舞いを使っていたから、LLVMはud2インストラクションを生成したのであって、LLVMのバグではない、ということ] こういう問題は幾つかあって、すべて、Cの未定義な振る
Sign in - Google Accounts
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
C/C++ セキュアコーディングセミナー資料 | JPCERT コーディネーションセンター
これまでにC/C++ セキュアコーディングセミナーで使用した講義資料を公開しています。2010年度にセミナを実施した、文字列、整数、動的メモリ管理、書式指定文字列、CERT C セキュアコーディングスタンダード、ROSE については、それぞれ最新版の資料を掲載しています。 文字列 ユーザとソフトウエア間に発生するデータのやりとりの大部分は文字列によって行われます。 また、プログラム間でのデータ交換も文字列形式で行われるようになり、その結果、文字列表現や文字列管理、文字列操作における弱点がソフトウエア脆弱性を生み出しています。 文字列では、C/C++ 言語における文字列操作、一般的なセキュリティ上の欠陥と、その結果発生する脆弱性と対処方法について解説します。 C/C++ における文字列の特性 犯しやすい文字列操作の間違い 文字列の脆弱性 プロセスのメモリ構成 スタック破壊の仕組み コードイン
C/C++セキュアコーディングの講演資料、JPCERT/CCが公開 － ＠IT
2009/04/28 JPCERT/CCは4月28日、2008年度に開催したC/C++向けのセキュアコーディングセミナーで使用した講義資料を公開した。資料は文字列、整数、動的メモリ管理、ファイルの入出力（UNIX、POSIX、Windows）などに分かれており、それぞれ1～7MBのPDF文書としてダウンロードできる。 文字列の扱いでは、バッファオーバーフローなど頻繁に報告される脆弱性について、その原因と具体的な対策について解説。図やサンプルリストを多用して、危険なコードと、セキュアなコードを対比して学習できる構成になっている。 過去に脆弱性の見付かったソフトウェアの実例を、該当個所のコードを示して解説しているのも特徴。例えば文字列のバッファオーバーフローでは、WindowsのRPCの該当ソースコード部分を示した上でBlasterワームの挙動を示している。また、典型的な整数の脆弱性の例として
メモリ操作の安全性を確保する、ANSI C規格準拠C言語コンパイラ | スラド デベロッパー
数日前の話になりますが、産業技術総合研究所は4月11日、既存のC言語プログラムにメモリ操作の安全性を付与できるコンパイラ、「Fail-Safe C — release 1」を開発したと発表しました（産総研のプレスリリース）。プレスリリースや開発部門である情報セキュリティ研究センターの解説ページによると、既存のソースコードをそのままこのコンパイラに掛けるだけで、危険なメモリ操作の自己チェック機能を備えた実行可能ファイルが生成されるという仕掛けのようです。さらに、このコンパイラは、ANSI C規格に準拠しながら、厳密には規格違反だが既に一般的になっている様々な記述手法についても安全な範囲でサポートしているとのこと。 バッファオーバーフロー等、メモリ破壊が原因のソフトウェア脆弱性が後を絶たない現状ですが、こういうコンパイラが普及したら少しはそのような状況が改善されるのかなぁ、と期待します。このコ
普通のやつらの下を行け: C でバックトレース表示 - bkブログ
普通のやつらの下を行け: C でバックトレース表示 普通のやつらの下を行けの第2回として、今回は glibc の関数を使って C でバックトレース (スタックトレース) の表示を行ってみます。 バックトレースとは バックトレースとは、大ざっぱに言うと、現在の関数に至るまでの道筋です。たとえば、次の Ruby プログラムを実行すると、 1 / 0 の行で例外が発生して、バックトレースの表示とともにプログラムは異常終了します。 def foo 1 / 0 end def main foo end main この例では main から foo を呼び foo の中の 1 / 0 の部分で例外が発生しています。 % ruby divide-by-zero.rb divide-by-zero.rb:2:in `/': divided by 0 (ZeroDivisionError) from div
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Technical Report: Defining the Undefinedness of C
Jens Gustedt, Modern C (PDF)
ISO、C言語の新規格「C1X」を制定 | スラド デベロッパー
The Most Expensive One-Byte Mistake - Slashdot
http://www.sage-p.com/process/cool.htm
はてなブログ | 無料ブログを作成しよう
How To Exploit NULL Pointers - Slashdot
日本のコンピュータ情報 : 富士通
