Logging C Function Calls
May 19th, 2022 @ justine's web page Logging C Functions One of my favorite features of the Cosmopolitan Libc runtime is its --ftrace flag that logs C function calls. It's the simplest system for debugging programs I've ever used and it surprises me that I found no evidence of someone having invented it before. Here's one of its most important use cases. Have you ever had you debugger stupified by
C programming language extension: Cedro pre-processor
Cedro Español, English Cedro is a C language extension that works as a pre-processor with eight features: The backstitch macro x@ f(), g(y); → f(x); g(x, y); (related work). Deferred resource release auto ... or defer ... (related work). Break out of nested loops break label; (related work). Notation for array slices array[start..end] (related work). Block macros #define { ... #define }. Loop macr
CBMC: Bounded Model Checking for Software
About CBMC CBMC is a Bounded Model Checker for C and C++ programs. It supports C89, C99, most of C11/C17 and most compiler extensions provided by gcc, clang, and Visual Studio. A variant of CBMC that analyses Java bytecode is available as JBMC. CBMC verifies memory safety (which includes array bounds checks and checks for the safe use of pointers), checks for exceptions, checks for various va
<code>defer</code> reference implementation for C
This is a reference implementation of a C language mechanism and library-based implementation for error handling and deferred cleanup adapted from similar features in the Go Programming Language. This mechanism improves the of cleanup and error handling over existing language features. The intent is to integrate the basic tools that are provided here into the C standard by providing a new library
GitHub - rui314/chibicc: A small C compiler
(The old master has moved to historical/old branch. This is a new one uploaded in September 2020.) chibicc is yet another small C compiler that implements most C11 features. Even though it still probably falls into the "toy compilers" category just like other small compilers do, chibicc can compile several real-world programs, including Git, SQLite, libpng and chibicc itself, without making modifi
GitHub - google/nsync: nsync is a C library that exports various synchronization primitives, such as mutexes
nsync is a C library that exports various synchronization primitives: locks condition variables run-once initialization waitable counter (useful for barriers) waitable bit (useful for cancellation, or other conditions) It is not an offical Google product. nsync may be desirable in place of pthread primitives in some cases: - nsync locks are reader-writer locks (but are as efficient as mutexes). -
Safe C Library
The Safe C Library provides bound checking memory and string functions per ISO/IEC TR24731. These functions are alternative functions to the existing standard C library that promote safer, more secure programming. The ISO/IEC Programming languages — C spec, C11, now includes the bounded APIs in Appendix K, "Bounds-checking interfaces". This latest upload supports building static library, a shared
GitHub - google/wuffs: Wrangling Untrusted File Formats Safely
Wuffs is a memory-safe programming language (and a standard library written in that language) for Wrangling Untrusted File Formats Safely. Wrangling includes parsing, decoding and encoding. Example file formats include images, audio, video, fonts and compressed archives. It is "ridiculously fast". Per its benchmarks and other linked-to blog posts: It can decode bzip2 1.3x faster than /usr/bin/bzca
PRINCIPIA Limited
セミナー 形式手法に関するセミナーを開催しています． 詳細につきましてはセミナーのページをご覧ください． SyncStitch: A Model Checker based on the Process Algebra CSP SyncStitch is a model checker based on the process algebra CSP (Communicating Sequential Processes). By using SyncStitch, you can check six types of properties of the system you are developping: Deadlocks Divergences (also known as livelocks) Refinement relation on traces semantics (sa
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - dressipi/apv-median: C library for streaming median approximation
GitHub - phoboslab/qoi: The “Quite OK Image Format” for fast, lossless image compression
Getting the maximum of your C compiler, for security
GitHub - shiyanhui/libcsp: A concurrency C library 10x faster than Golang.
GitHub - circonus-labs/libmtev: Mount Everest Application Framework
GitHub - microsoft/checkedc-clang: This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
Poke-a-hole and friends [LWN.net]
DasBetterC: Converting make.c to D | The D Blog
GitHub - opencoff/portable-lib: Portable C, C++ code for hash tables, bloom filters, string-search, string utilities, hash functions, arc4random
GitHub - PLSysSec/FaCT: Flexible and Constant Time Programming Language
Frama-C - Framework for Modular Analysis of C programs