SARIF Home
The Static Analysis Results Interchange Format (SARIF) is an industry standard format for the output of static analysis tools. The Static Analysis Results Interchange Format (SARIF) has been approved as an OASIS standard. The information and tools on this web site apply to SARIF Version 2.1.0, the version approved by the OASIS.
GCC 16 Release Series — Changes, New Features, and Fixes - GNU Project
GCC 16 Release Series Changes, New Features, and Fixes This page is a "brief" summary of some of the huge number of improvements in GCC 16. You may also want to check out our Porting to GCC 16 page and the full GCC documentation. Caveats int8_t etc. are now signed char on Solaris for conformance with the C99 standard. However, this is an incompatible change. See the porting notes for more informat
How To Make a Fast Dynamic Language Interpreter
Original Zef Interpreter The original Zef interpreter was written with almost no regard for performance. Only two performance-aware choices were made: The value representation is a 64-bit tagged value that may hold a double, a 32-bit integer, or a Object*. Doubles are represented by offsetting them by 0x1000000000000 (a technique I learned from JavaScriptCore; the literature has taken to calling t
Performance – Wren
Shorter bars are better. Each benchmark is run ten times and the best time is kept. It only measures the time taken to execute the benchmarked code itself, not interpreter startup. These were run on my MacBook Pro 2.3 GHz Intel Core i7 with 16 GB of 1,600 MHz DDR3 RAM. Tested against Lua 5.2.3, LuaJIT 2.0.2, Python 2.7.5, Python 3.3.4, ruby 2.0.0p247. LuaJIT is run with the JIT disabled (i.e. in b
InvisiCaps: The Fil-C Capability Model
Fil-C ensures memory safety of all operations in the C and C++ language. The hardest part of C memory safety is pointer safety. Fil-C achieves pointer safety using a capability system for pointers. Specifically, each pointer dynamically tracks what object in memory it should be allowed to access, and using that pointer to access any memory that is not that object is dynamically prohibited. Achievi
A simplified model of Fil-C
I've seen lots of chatter about Fil-C recently, which pitches itself as a memory safe implementation of C/C++. You can read the gritty details of how this is achieved, but for people coming across it for the first time, I think there is value in showing a simplified version, as once you've understood the simplified version it becomes a smaller mental step to then understand the production-quality
Compiling to Java as a target language
In my advanced compilers class, we cover a range of intermediate and target languages. C is a popular target language for performance reasons, but Java has often-overlooked advantages. Some of Java’s less-utilized features conspire to make it an easy target for high-level language constructs, e.g., lexically scoped closures become anonymous classes. It takes roughly a third to half the time (and c
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
SARIF - GCC Wiki
GCC 16 Release Series: Changes, New Features, and Fixes
CJIT
GitHub - dyne/cjit: Tiny and portable C compiler
CJIT: C, Just in Time | Hacker News
Writing a C Compiler, in Zig
Writing a C Compiler, in Zig (2025) | Hacker News
wren/test/benchmark at main · wren-lang/wren
Performance of the Wren programming language
A simplified model of Fil-C | Hacker News
A simplified model of Fil-C
Compiling to Java as a target language
Introduction - Yk