Static analysis updates in GCC 11 | Red Hat Developer
I work at Red Hat on the GNU Compiler Collection (GCC). In GCC 10, I added the new -fanalyzer option, a static analysis pass for identifying various problems at compile-time, rather than at runtime. The initial implementation was aimed at early adopters, who found a few bugs, including a security vulnerability: CVE-2020-1967. Bernd Edlinger, who discovered the issue, had to wade through many false
浮動小数点数の二段階丸め誤差 - hydrakecat’s blog
さいきん『浮動小数点数小話』という同人誌を読んでFMA (Fused Multiply-Add)の二段階丸め誤差（double rounding error）について色々と知る機会があったのでまとめておく。ついでにFMAに関するOpenJDKのバグっぽい挙動を見つけたのでそれも併せて記しておく。 FMA (Fused Multiply-Add)とは FMAは以下のような演算のことを呼ぶ。 この演算自体は行列の乗算やベクトルの内積の計算でよく現れるものであるが、通常の浮動小数点数の乗算と加算を別々に行うと誤差が出るので一度の演算で正確な値を算出したいときに用いる。たとえばC言語（C99）では fma、fmaf、fmalという3つの関数が導入されているらしい。 FMAの実装における二段階丸め誤差 FMAはターゲットとなるCPUのアーキテクチャがFMA命令をサポートしていればその命令を直接呼び出
プロセスの一覧を取得する - terazzoの日記
前に書いたOS X用のプログラムがiOSでも普通に動いたわ。 さすがUNIXマシン。 #include <sys/sysctl.h> #include <pwd.h> #define MIB_NAMELEN 4 void show_processes() { int mibname[MIB_NAMELEN] = { CTL_KERN, KERN_PROC, KERN_PROC_ALL, 0}; // all processes struct kinfo_proc *procs; size_t buffersize = 0; int index, count; // get required buffer size for procs if (sysctl(mibname, MIB_NAMELEN, NULL, &buffersize, NULL, 0) < 0) { // failure
OpenSSL EVP
OpenSSL EVP 関数 概要 EVP (The Digital EnVeloPe library) は，OpenSSL の暗号機能（暗号化・復号，ダイジェスト，署名など）に関する高レベルのインタフェース(API) を提供するライブラリである．暗号機能の実現には，各暗号アルゴリズムに固有の関数群を利用することもできるが，EVP 関数を利用することにより，暗号機能は同一のままアルゴリズムのみを変更することが容易になる（より安全性の高いアルゴリズムや，効率の良いアルゴリズムへの変更など）． EVP 関数の利用上の共通的な注意事項を示す． EVP 関数を利用するには，ヘッダファイル "openssl/evp.h" をインクルードする． ダイジェストや暗号のアルゴリズムを EVP_get_cipherbyname() などを使いその名称で参照する場合，内部テーブルを設定するために，次のいずれか
C/C++プログラマのための開発ツール - Cybozu Inside Out | サイボウズエンジニアのブログ
サイボウズ・ラボの光成です。 先日、社内で主にLinux上でC/C++を用いている開発者向けの講義をしました。 「こんなことができる」と知ってもらい、興味を持てば各自で勉強してもらおうと広く浅くツールを紹介しました。 gtags, ASan, Valgrind, addr2line, cppcheck, SystemTap, perfなどです。 興味があれば講義資料「C/C++プログラマのための開発ツール」をごらんください。 コンパイラオプション 受講者には新人やサイボウズ・ラボユースの学生もいたので基本的なところから紹介しました。 C/C++コンパイラを使うときはできるだけ警告オプションをつけるのが望ましいです。 警告が出るのは自分のコードの書き方に不備があることが多いからです。 gccやclangでは-Wall -Wextraは基本としてそれ以外にも有用なオプションがあります（C++用
Additional C/C++ Tooling
21st Century C by Ben Klemens was a great read. It had a section with an intro to autotools, git, and gdb. There are a few other useful tools that came to mind that I’ve used when working with C and C++ codebases. These tools are a great way to start contributing to Open Source C & C++ codebases; running these tools on the code or adding them to the codebases. A lot of these favor command line, op
Linux の共有ライブラリの挙動について - daily dayflower
前フリが長くなったので基礎的な部分は独立した article にしました。でも基礎的な内容だけに間違いが多そうです。ご指摘お願いします。 下記に「Hack#??」と書いてあるものはすべて Binary Hacks の Hack です。書籍をお持ちの方はそちらをご参照ください。 基礎 まず用語定義を引用しておきます。 シンボル（symbol） 一般的には記号を意味するが，Binary Hacks の文脈では，リンカが関数や変数を識別するときに用いる名前のことを指す。 Binary Hacks - Hack#6 （強調部は dayflower による） さて，共有ライブラリを利用する際の挙動について「Hack#6 静的ライブラリと共有ライブラリ」から抜粋します。 ここでのポイントは，共有ライブラリ単位で処理が行われるということと，リンクする時には必要としている共有ライブラリの SONAME だ
ld -z relro で GOT overwrite attack から身を守る - memologue
GOT overwrite? "GOT overwrite" という、(ここでは特にLinuxの)プログラムに対する攻撃方法があります。攻撃が成功すると、そのプロセスの権限での任意コード実行等、深刻な被害を受けます。最近のGNU ld(リンカ)のオプションを用いると、この攻撃から身を守ることができるそうですので、紹介します。 最初にまとめ （こまかいことはあとで） GOT overwrite から身を守るには、gccでプログラムをリンクするときに、 -Wl,-z,now,-z,relro をつけるだけです。起動時間が遅くなるというトレードオフがありますが、GOTがreadonlyになります。GOTがreadonlyなら、GOT overwrite attack を受けたときに、プロセスがSEGVしてくれますので、安全性が高まります。プロセスのメモリマップを確認すると、きちんと w が落ちて
いやなブログ: Linux の共有ライブラリを作るとき PIC でコンパイルするのはなぜか
Linux の共有ライブラリを作るとき PIC でコンパイルするのはなぜか 通常、Linux の共有ライブラリを作るときは各 .c ファイルを PIC (Position Independent Code) となるようコンパイルします。しかし、実は PIC でコンパイルしなくても共有ライブラリは作れます。それでは PIC にする意味はあるのでしょうか。 さっそく実験してみます。 int func () { printf(""); printf(""); printf(""); } PIC でコンパイルするには gcc に -fpic または -fPIC を渡します。-fpic の方が小さく高速なコードを生成する可能性がありますが、プロセッサによっては -fpic で生成できる GOT (Global Offset Table) のサイズに制限があります。一方、-fPIC はどのプロセッサで
GCCのインラインアセンブラと間接分岐 - mirichiの日記
この記事を書いている途中に@miura1729さんがmrubyにインラインメソッドキャッシュを実装したという発言が。 https://github.com/miura1729/mruby/commit/ed3ef94a4a50946dfe237c27d53375cc4e31ca84 インラインメソッドキャッシュというのは命令列の中にメソッド検索の結果を書き込んで、次の呼び出しはその情報を利用してメソッド検索を省くテクニックだ。Ruby1.9のVMにも実装されている。 ただ、Rubyではメソッドを動的に書き換えることができるため、インラインメソッドキャッシュの内容が古くなってしまうと使えない。その判定や更新についてはコードをざっと見た限りは実装されていないっぽいので、実際に取り込まれるまでにはもうちょっといじる必要があるだろう。 いつか可変長OP_SENDを実装したらインラインメソッドキャッ
Cの演算子とビット演算関連の最適化 - mirichiの日記
mrubyの最新版に実行速度改善の修正が入った。arena_aiを必要なところのみに入れる、while最適化、無駄なOP_LOADNILの削除、だ。 これによりtimesの命令列はこのようになった。 irep 150 nregs=6 nlocals=4 pools=0 syms=3 000 OP_ENTER 0:0:0:0:0:0:1 001 OP_LOADI R2 0 002 OP_JMP 012 003 OP_MOVE R4 R1 004 OP_MOVE R5 R2 005 OP_LOADNIL R6 006 OP_SEND R4 :call 1 007 OP_MOVE R4 R2 008 OP_LOADI R5 1 009 OP_LOADNIL R6 010 OP_ADD R4 :+ 1 011 OP_MOVE R2 R4 012 OP_MOVE R4 R2 013 OP_LOADS
Linux愛好者の独り言 Cutterのとても簡単な使い方
「Linux愛好者の独り言」は，Linuxやプログラミングの，楽しさや初心者向け情報を配信するBLOGです。 CutterはC/C++用の単体テストユニットフレームワーク（所謂xUnit）だ。 評判が良いので，以前から使いたかったのだが，いかんせん，本家のチュートリアルが丁寧すぎてわかりにくく，使い方がわからなかった。 このチュートリアルでは，automake等を用いた本格的な使い方が書かれているので， てっきりCutterを使う時はいつもこのくらいの準備が必要なのかと思っていた。 ほんのちょっと，テストコードを書いて開発の補助にしたいだけなのに，いちいちMakefile.amだのconfigure.acだのを作るのは面倒だ。 (これが面倒でない人間はIDEなんて使わないだろう) 毎度，このチュートリアルに従うくらいなら，cxxTestでもを使うほうがましだと思った。 だが，どうやら，本家
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
Duff's device - Wikipedia
In the C programming language, Duff's device is a way of manually implementing loop unrolling by interleaving two syntactic constructs of C: the do-while loop and a switch statement. Its discovery is credited to Tom Duff in November 1983, when Duff was working for Lucasfilm and used it to speed up a real-time animation program. Loop unrolling attempts to reduce the overhead of conditional branchin
C言語の代表的なウェブリソース10選 - YAMDAS現更新履歴
Top 10 C Language resources that will turn you into a better programmer - C and C++ Programming Resources 今更 C 言語かと言われそうだが、Linux カーネルだって、我々が利用している LL 言語の多くだってこの言語で書かれているのである。ワタシ自身は未だどの言語よりCを愛している。 以下に C 言語に関してウェブに公開されている代表的なリソースを挙げていく。さすがに更新が長らく止まっているものが多いが、それでも有用な情報源には違いない。ネタ元は Hacker News。 C Programming Notes Programming in C - UNIX System Calls and Subroutines using C. C Lesson by Chris Sawtell
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Intrusive linked lists - Data structures in practice
Base64 Encode and Decode in C
ERR30-C. Take care when reading errno - SEI CERT C Coding Standard - Confluence
https://powerdns.org/libh2o/
Finding and Understanding Bugs in C Compilers ...