`zig cc`: a Powerful Drop-In Replacement for GCC/Clang - Andrew Kelley
`zig cc`: a Powerful Drop-In Replacement for GCC/Clang If you have heard of Zig before, you may know it as a promising new programming language which is ambitiously trying to overthrow C as the de-facto systems language. But did you know that it also can straight up compile C code? This has been possible for a while, and you can see some examples of this on the home page. What's new is that the zi
プログラミング、リファクタリング、そしてすべてにおける究極の疑問 | iSUS
この記事は、インテル® デベロッパー・ゾーンに公開されている「The Ultimate Question of Programming, Refactoring, and Everything」の日本語参考訳です。 この記事では、プログラマーがエラーを回避し、時間と労力を節約するのに役立つ C++ コーディングに関する 42 の推奨事項を紹介します。著者の Andrey Karpov 氏は、静的コード解析ツールである PVS-Studio の「プログラム検証システム」開発チームを率いるテクニカル・ディレクターとして、多数のオープンソース・プロジェクトの検証を通して、問題となる多種多様なコーディング手法を見てきました。ここでは、その知識と経験を皆さんと共有します。すべての推奨事項には実例が示されます。これらの推奨事項は C/C++ プログラマーを対象としていますが、多くは一般的なものであり、
CoqからのCプログラム生成 田中 哲 産業技術総合研究所 情報技術研究部門 2017-07-23 Proof Summit 2017
CoqからのCプログラム生成 田中 哲 産業技術総合研究所 情報技術研究部門 2017-07-23 Proof Summit 2017 2/48 元ネタ ● 既発表の話です ● そのうち論文が出ます ● Safe Low-level Code Generation in Coq using Monomorphization and Monadification Akira Tanaka, Reynald Affeldt, Jacques Garrigue IPSJ SIGPRO 114, 2017-06-09, will be appear at IPSJ JIP. ● ここで出てくる plugin は github にあります – https://github.com/akr/monomorphization – https://github.com/akr/monadification
Dennis Ritchie, Father of C and Co-Developer of Unix, Dies
Dennis Ritchie, the creator of the C programming language and co-developer of the Unix operating system passed away on October 8 at the age of 70, leaving a legacy that casts a very long shadow. Linus Torvalds once said, in reference to the development of Linux, that he “had hoisted [himself] up on the shoulders of giants.” Among those giants, Dennis Ritchie (aka dmr) was likely the tallest. Ritch
無償のソースコード静的解析ツール、AdLint登場 | マイナビニュース
オージス総研は2月28日、C言語プログラミング用の静的解析ツール「AdLint 1.0」を無償公開した。AdLint 1.0はオープンソース化されており、ライセンスとしてGNU GPL 3を採用している。ANSI C89、ISO C90、 ISO C99の一部に準拠したソースコードの解析ができるという。 AdLintではシングルモジュール解析、クロスモジュール解析、597種類の警告検知、14種類のコード情報抽出、15種類のコード品質メトリクス測定などを実装しており、コンパイラでは検出できない不具合の可能性を警告したり、「経路複雑度」、「被呼出し数」、「デッドコード数」などを測定してソースコードの品質を指標化したりできるとしている。また、同社が提供しているソースコード品質評価ツール「Adqua」と組み合わせることでソースコードの品質を視覚的なレポートで表示することもできるという。 AdLin
sizeof(char)==sizeof(int)となる処理系とsizeof(char)!=sizeof(int)となる処理系の橋渡し - Natural Software
ネタでしかないんだけど、この系統の記事を読むたびに TI（テキサス・インスツルメンツ） の DSP を思い出す＾＾； ＃前にも書いた気がするけど気にしない：） sizeof(char)==sizeof(int)となる処理系の奇妙な世界 | 株式会社きじねこ 上記記事では sizeof(char)==sizeof(int)==16bit==1Byte を紹介しててこれは多分 C5x 系の話。 他にもっと楽しい C3x 系（C6x系のご先祖様）がある。 この C3x 系は sizeof(char)==sizeof(int)==sizeof(long)==sizeof(ポインタ)==32bit==1Byte なんですよ。 なんでもかんでも 32bit 、でも 1Byte char は 1Byte：32bit int も1Byte：32bit long も1Byte：32bit ポインタも1Byt
Ruby I/O 機構の改善 -stdio considered harmful-
Ruby I/O — stdio considered harmful — akr@m17n.org Ruby (1.9) I/O stdio stdio C nonblocking I/O stdio stdio 1 C stdio (Standard Input / Output) Ruby[rub] stdio I/O Ruby 1.9 stdio 1 Ruby Ruby 1.8 Ruby 1.9.0 Ruby • Ruby (1.8.3) stdio • Ruby (1.9.0) stdio 1 2 Ruby I/O 3 stdio 4 POSIX I/O 5 stdio 6 7 8 9 2 Ruby I/O Ruby I/O IO Unix Ruby 1 stdio stdio Ruby getc, ungetc, fwrite 12005–03 kernel stdio Rub
関数ポインタのキャストと gcc - まめめも
C の関数呼び出しは、関数定義の型と互換性のない型として呼び出したら未定義動作です。例えば以下のコードの動作は未定義です。 #include <stdio.h> int main(void) { ((int (*)(char *, ...)) &printf)("Hello, world!\n"); } printf は int printf(const char *, ...) なので、const が無くなってるのが間違ってます。未定義のプログラムはどのような実行結果になろうとも、C の規格には違反しません。 でも、現実問題としてこのコードは期待通りに動くだろー、と高をくくってました。しかし最近の gcc (3.4 以降くらい) では、このコードは落ちます。 $ gcc --version gcc (GCC) 4.3.1 Copyright (C) 2008 Free Software
The GNU C Library
The GNU C Library This is The GNU C Library Reference Manual, for version 2.38. Copyright © 1993–2023 Free Software Foundation, Inc. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with the Invariant Sections being “Free Software Needs Free Docume
MODULE.JP - Apache Portable Runtimeをあなたのプロジェクトに取り込む
Apache HTTP Server 2.x系でプラットフォーム依存部分を吸収し、一貫したAPIを提供するために利用されているライブラリAPR - Apache Portable Runtimeを、Apache以外のプロジェクトで利用するための方法。 Apache module APIの美味しいドコ取り APRを使用するとApache module APIで利用できていた リソースプール 扱いやすく安全な文字列処理関数 動的なデータ型 などを、Apache HTTP Server以外のプログラムで利用できます。さらに メモリマップドI/O 共有メモリ スレッド など、プラットフォームごとにAPIやオプションが異なる機能も、一貫したAPIで利用する事ができるようになります。 しかしASFの他のプロジェクトと同様に、APIのリファレンスマニュアルはあれど、その利用方法やサンプルに関するドキュメ
Universalchardet - やる気向上作戦
universalchardet / juniversalchardet Mozillaのエンコーディング判別ライブラリであるuniversalchardetを切り出して、Cライブラリ化してみた。さらにJavaにもポーティングしてみた。エンコーディング判別なのにcharacter set detectorとはこれいかに。 C版はLinux/Windowsに対応。Linuxでのインストールは make && make install で。autoconfなどという高尚なものは使っておりません。 文字コードの変換はこちら EncodingConversion Related Works jchardet (Java,旧バージョンのchardet) juniversalchardet（Java,universalchardetのJavaポート） Universal Encoding Dete
C言語でワンライナー - lethevert is a programmer
http://alohakun.blog7.fc2.com/blog-entry-460.htmlを見て、これができるということはC言語でワンライナーができるということじゃないですか、と思ってやってみました。要cygwin $ echo "main(){printf(\"hello 1 liner.\");}" | gcc -xc -; ./a.exe hello 1 liner.このくらいでは面白くない気がしたので、標準入力を受け取って、出力するようなものを。 $ cat data.txt 1 22 333 4444 55555 end $ (echo "#include <stdio.h>"; echo "main(){int c;while((c=getchar())!=EOF)printf(\"%c\",c);}") | gcc -xc -; cat data.txt | ./a.
真のLinux Kernel向けシェル - LL GONG @ LL RING 2006 : llgong-uekawa.pdf (application/pdf オブジェクト)
. . Linux Kernel LL GONG @ LL RING 2006 dancer@debian.org Debian Project 2006 8 26 dancer@debian.org Debian Project Linux Kernel dancer@debian.org Debian Project Linux Kernel UNIX C shell UNIX ( LL?) C dancer@debian.org Debian Project Linux Kernel UNIX C shell shell shell dancer@debian.org Debian Project Linux Kernel UNIX C shell shell shell C LL dancer@debian.org Debian Project Linux Kernel UNIX
binfmtc - binfmt_misc C scripting interface
binfmt_misc C scripting interfaceとは C言語を愛している，C言語でプログラムを書くことに快感を覚える． 毎日Cでコードを書いていないとなんとなく体調が悪い気がする． 最近妻との会話はC言語がないとなりたたない． だけど，C言語でスクリプトも書いてしまいたいのに，インタプリタ言語のほうが 実行までの手間がすくないのでついついそっちを使ってしまう． そんな症状のあなたに朗報です． 従来，シェルやperlなどのスクリプト言語にたよってきた場面でも Cを使ってしまえるためのハックがbinfmtcです． また，C言語本来の書式でコマンドを発行できるreal CSHを例として配布しています． 我々が過去10年以上使い慣れて来たC shellとは違う，真のC shellの使い味をお楽しみください． スクリーンショット C言語，アッセンブリ言語，C++言語でのスクリプトを
PythonMatrix:Ｃ＋＋開発統合環境の決定版！
【1.1】 特徴 オープンソース GPL2ライセンスによる公開です。 クロスプラットフォーム wxWidgetsを使って開発されており、LinuxとWindowsで動作確認済み。 MacPPCへのサポートが始まっているようです。 GNUコンパイラによるビルド プロプライエタリなライブラリへの依存がありません。 コンパイラーをバンドル Windows版はMinGWをバンドルしたリリースパッケージを用意 リリース版はインストーラ一発で開発環境のセッティングが完了する。 サポートコンパイラが豊富 GCC (MingW / Linux GCC) MSVC++(2003 2005) Digital Mars C++ Borland C++ 5.5 Intel C/C++ Open Watcom SDCC（ワンチップマイコン向け！） Digital Mars
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
bazel-zig-cc: bazel toolchain using zig-cc
The 67th Yokohama kernel reading party
http://karetta.jp/book/cforjava
The Practice of Programming と Unicode - なつたん
ylug.jp