C/C++の静的解析ツール・事例まとめ - 簡潔なQ
C/C++の静的解析は、どう考えても大変なんだけどどう考えても需要が高いので、やはり色々なソフトウェアや事例があるようだ。まとまった情報が欲しいけど見つからなかったので自分の調べた範囲でまとめることにした。 他にも耳寄りな情報があったら教えてほしい。 静的解析を行うことができるソフトウェア 調べてみると結構たくさんある。それぞれの特徴とかあまりよくわからない。 (個人的には、とりわけ網羅的な形式的検証ができるツールの性能に興味があるので、それを中心に集めていたが、やはり網羅的とは限らないで探すともっとたくさん見つかるようだ。もちろん網羅性にはトレードオフがある) Frama-C …… C言語に形式手法を適用するための汎用のフレームワークで、静的検証のためのプラグインも多数(WPとかValueとか)存在する。網羅的な検証から発見的な手法、動的な手法まで様々ある。研究で使うのに便利そう Ast
C++11で覚醒した共用体の話
はじめに KMC 2回生のhatsusatoです。コミケまでもう1週間もないんですね1。27日まで授業があるとか正気の沙汰じゃない。 この記事は KMC アドベントカレンダー 2013 の 23 日目の記事です。昨日の記事は DtYaZsK 君の C++11超入門 でした。 今日は昨日に引き続いてC++11に関するお話です。 C++11で覚醒した共用体の話 共用体はたいていのC言語の入門書に載っている（と思う）ので、C言語をひと通り勉強した人なら共用体を知っていると思います。共用体はC言語の持つ低レベルなメモリ操作能力の一翼を担っています。しかし、共用体を実際に利用することは非常に稀でしょう。 実はこの共用体が、C++11での仕様変更によって生まれ変わりました。今回はそんな共用体にスポットライトを当ててみます。 共用体の基本 まず、C++11で共用体がどうなったのかを見る前に、これまでの共
モダンなC, C++の開発環境の構築方法 - 考える人、コードを書く人
まだC, C++がないようなので書いてみた。主にLinux(DebianとかUbuntu)での環境構築について。 コンパイラ まずはapt-getでコンパイラをインストールする。UbuntuやDebianなら以下のコマンドでgccやg++および標準ライブラリ等がインストールされる。 $ sudo apt-get install build-essential デバッグツール デバッガおよびデバッグツールは少なくとも以下の三つは入れる。(あとltraceも欲しいかな？) GDB 言わずと知れたGNUのデバッガ Valgrind メモリリークや不正メモリアクセスの検出 strace システムコールのトレース $ sudo apt-get install gdb valgrind strace ビルドツール C, C++のビルドツールといえばまずmakeが浮かぶけど、最近ではSConsやCMak
デザインパターン習得編
ホーム < ゲームつくろー！ デザインパターン習得編 コンセプト デザインパターン事始め 生成に関するパターン Abstract Factory 一塊のオブジェクト群を沢山の種類用意する Builder 同じ生成過程で完成する色々なオブジェクト Factrory Method 子オブジェクトを親クラスの関数で作る Prototype 原型を用意して、後はコピーコピーコピー Singleton 存在するオブジェクトは1つだけ 構造に関するパターン Adapter 変換コネクタパターンです Bridge インターフェイスと実装の分離入れ替え自由自在 Composite 入れ子の入れ子の入れ子の入れ子の･･･ Decorator 知らずに着飾るオブジェクト Facade ユーザに優しいシステム操作人 Flyweight ゲーム製作でおなじみのオブジェクト使い回し法 Proxy オブジェクトへのア
コマンドラインの解析
int main(int argc, char* argv[]) { vector<string> args(argv, argv+argc); if ( args.size() <= 1 ) { cerr << "no input file(s). --help to see the help." << endl; return 1; } if ( args[1] == "--help" ) { usage(); // '使い方'を出力 return 0; } if ( args[1] == .... ) ... みたいな"力技"でコマンドラインを解析するんですが、オプションが増えてくると力技では相当に面倒で複雑なコーディングを強いられます。 コマンドラインを解析してくれるライブラリといえば、Cの世界ならgetopt()が有名どころですけど、今回はいつもなにかとお世話になっているBoos
EmacsのC++の開発環境を整え直しました - 週末はいつも晴れ
３ヶ月くらい前に投稿されていたこの動画に触発されました。 Emacs as a C/C++ Editor/IDE(PART 1) PART4まであるシリーズ動画です。 英語は比較的ゆっくりで、とっても聞き取りやすいです。 自分がC++の開発環境のためにEmacsをいじっていたことと言えば、 autocomplete(ただし、ac-dictの中身だけ) yasnippet(ほとんど使えてない） OTZ.. 外部ヘッダから補完とか夢のまた夢だと思ってました。 IDEじゃないし、仕方ないねとか思ってました。 では、 動画の内容をかいつまんで説明します。 PART 1 : autocomplete, yasnippet and auto-complete-c-headers 上記３つのインストール方法、使い方を紹介しています。 autocomplete 補完してくれる yasnippet イエット
Enhanced Intel SpeedStep® Technology and Demand-Based Switching on Linux* - Intel® Software Network
Using Intel.com Search You can easily search the entire Intel.com site in several ways. Brand Name: Core i9 Document Number: 123456 Code Name: Emerald Rapids Special Operators: “Ice Lake”, Ice AND Lake, Ice OR Lake, Ice* Quick Links You can also try the quick links below to see results for most popular searches. Product Information Support Drivers & Software
C++11 の乱数ライブラリ <random> - Siv3D 開発ブログ
C++11 では、新しい乱数ライブラリのヘッダ <random> が追加されました。 一様にランダムな整数を生成する「乱数生成エンジン」と、値を特定の方法で分布させる「分布生成器」が用意されています。 乱数生成エンジンは 線形合同法 メルセンヌ・ツイスター Lagged Fibonacci 法 ハードウェアエントロピーソース（時刻や CPU カウンター、I/O の状態など大量の低レベルシステム情報）を利用した非決定論的（予測不可能）な乱数生成 の 4 種類が実装されています。非決定論的な乱数生成以外の手法では、初期シードから擬似乱数列を生成します。 分布生成器は 一様分布 正規分布 ベルヌーイ分布 ポアソン分布 をはじめ多数のアルゴリズムが実装されています。 非決定論的な乱数生成エンジン std::random_device を使ってランダムな値を出力してみましょう。プログラムを実行するた
C/C++ Development Environment for Emacs
In this guide, I will help you to setup an efficient working C/C++ environment. Despite looking long, the setup is short and easy (mostly copy/paste Emacs Lisp code into your init.el); most of the guide are explanations and demonstrations of many useful features. Following this guide, you should be able to browse the Linux kernel source tree inside Emacs effortlessly, such as jump to definition/re
C++0x POD再考 - Faith and Brave - C++で遊ぼう
C++03 での POD の定義にはいくつか問題があります。 【厳格すぎる要件】 これは、未定義動作に依存する愚かな設計を行なうことをユーザーに強います。 たとえば、 std::pair 型の配列が2つある場合、 memcpy(A2, A1, sizeof(A2)) が安全だと期待するのが自然ですが、std::pair にはユーザー定義のコンストラクタがあるので集成体とは見なされず、 それは同時に POD とも見なされなくなるので、標準ではこれを未定義動作としています。 (でも、動いてしまうことがある) 【PODと集成体の結合】 POD の現在の定義は、集成体の定義に依存し、その結果いくつかの障害を引き起こします。 POD はかなりシンプルな型にオブジェクト表現保証、レイアウト互換性保証、メモリ連続保証およびメモリコピー能力保証を提供しますが、まだより複雑な型のためにコンパイラはそのような
Free Intel® Software Development Tools
Intel® oneAPI Toolkits - Free for All Developers Intel® oneAPI Toolkits are the next generation of standards-based Intel® Software Development Tools for building applications across diverse architectures. All Intel® oneAPI Toolkits products are available at no cost. The Intel oneAPI Toolkits do not require license files and the terms of use are based on the End User License Agreement. Support is
スレッドセーフという幻想と現実 - yohhoyの日記（別館）
この記事はC++ Advent Calendar 2013の15日目にエントリしています。 内容はC++標準ライブラリとスレッドセーフに関する解説になります。 flickr / rennasverden もくじ What's スレッドセーフ？ スレッドセーフという幻想 基本型とデータ競合 C++標準ライブラリとデータ競合 C++標準ライブラリ：シーケンスコンテナ編 C++標準ライブラリ：連想コンテナ編 スレッドセーフ RELOADED 基本的なスレッドセーフ保証 std::shared_ptr<T> std::rand() std::cout （本文のみ約9000字） はじめに マルチスレッド対応の点では他言語に遅れを取っていたプログラミング言語C++ですが、C++11ではようやく標準ライブラリにスレッドサポートが追加されました。C++11スレッドサポートではスレッドクラスstd::thr
C++ 開発者が陥りやすい OpenMP* の 32 の罠 | iSUS
この記事は、インテル® ソフトウェア・ネットワークに掲載されている「32 OpenMP traps for C++ developers」 (http://software.intel.com/en-us/articles/32-openmp-traps-for-c-developers/) の日本語参考訳です。 はじめに マルチコアシステムが急速な広がりをみせており、並列プログラミングへの早急な対応が求められています。しかしながら、経験豊富な多くの開発者にとってもこれは新しい分野です。既存のコンパイラーとコード・アナライザーでも、並列コードの開発中に一部の問題を発見することはできますが、多くの問題は検出できません。この記事では、OpenMP* を使用する並列プログラムが正しく動作しない原因となるさまざまな問題について説明します。 概要 並列プログラミングが登場したのはかなり以前のことです
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
IPA セキュア・プログラミング講座：C / C++言語編
Kinect for Windows v2入門―C++プログラマー向け連載
Google Drive: Sign-in
What is a good random number generator for a game?