InfoQ Homepage C Content on InfoQ
-
Challenges and Lessons Porting Code from C to Rust
In a two-installment series, Stephen Crane and Khyber Sen, software engineers at Immunant, recount how they ported VideoLAN and FFmpeg AV1 decoder from C to Rust for the Internet Security Research Group (ISRG). The series includes plenty of details about how they ensured not to break things and optimized performance.
-
GCC 13 Supports New C2x Features, Including nullptr, Enhanced Enumerations, and More
At Google I/O 2023, Google has previewed Studio Bot, an AI-powered coding bot integrated in Android Studio latest version, codenamed Hedgehog. Studio Bot aims to help developers generate code, unit tests, and fix errors.
-
Every Truth Can Be Established Where It Applies: an Impossible Thing for Developers
Developers can face impossible things in their daily work. Not all preconditions can be checked in code due to the definitional constraints of the programming language. Kevlin Henney gave a keynote about Six Impossible Things at QCon London 2022 and at QCon Plus May 10-20, 2022.
-
Sonatype Lift Integrates Facebook Infer, Google ErrorProne, and Other Code Analyzers
Recently launched Sonatype Lift provides a unified code analysis platform that includes over 25 tools to help developers identify a wide range of bugs in their development pipelines as soon as possible, says Sonatype. InfoQ has spoken with Stephen Magill, VP of product innovation at Sonatype, to learn more.
-
C2Rust Aims to Enable C Transpilation to Rust
C2Rust is an open-source project that aims to make it possible to migrate C99-compliant code to Rust. Working on this relatively new tool has also allowed its creators to learn a few lessons about the way C code is written and to explore the current limits to Rust possibilities of replacing it at the ABI level.
-
Google Propeller Squeezes Extra Performance from Large-Scale LLVM Binaries
Google Propeller is able to improve the performance of LLVM binaries by relinking and optimizing them based on a profile of their behaviour at runtime. Propeller can bring 2-9% improvements on key performance benchmarks for binaries that were previously highly optimized by LLVM, say Google engineers.
-
ZetZ is a Formally Verified Dialect of C
ZetZ, or ZZ for short, is a Rust-inspired C dialect that is able to formally verify your code by executing it symbolically at compile time in a virtual machine. InfoQ has spoken with ZZ creator and maintainer Avid Picciani.
-
TCMalloc, Google's Customized Memory Allocator for C and C++, Now Open Source
Google's TCMalloc can be used as a replacement for C and C++ default memory allocators to provide greater efficiency at scale and better support for parallelism, says Google.
-
Mitigating Software Vulnerabilities at Microsoft over the Last 20+ Years
At BlueHat IL 2019, Microsoft engineer Matt Miller described how the software vulnerability landscape has evolved over the last 20+ years and the approach Microsoft has been taking to mitigate threats. Interestingly, among the major culprits of security bugs, says Miller, are memory safety issues, which account for 70% of total security bugs Microsoft has patched.
-
C2x Will Be the Next ISO Standard for the C Language
Expected to be finalized in 2022, the C2x standard has started its evolution, driven by the C committee. InfoQ had the chance to speak with Jens Gustedt, who is working within the committee to advance the new standard and author of the upcoming book Modern C.
-
Checked C Extends LLVM to Bring Spatial Memory Safety to C
Checked C is an open, collaborative project led by Microsoft Research aimed to extend the C language so programmers can write more reliable programs free of errors such as buffer overruns, out-of-bounds memory accesses, and incorrect type casts. Checked C code can coexist with code written in standard C to ease porting.
-
C2 Aims to Modernize the C Language
C2 is a new programming language aiming to be an evolution of C suitable for low-level programs like bootloaders, kernels, drivers, and system-level tooling. InfoQ has spoken with C2 creator Bas van den Berg.
-
Sonatype Acquires Vor Security to Expand Nexus Open-Source Component Support
Sonatype announced the acquisition of Vor Security to extend their open-source component intelligence solutions’ coverage to include Ruby, PHP, CocoaPods, Swift, Golang, C, and C++.
-
Checked C - A Safer C/C++ from Microsoft
Microsoft has open sourced Checked C, a research project meant to add bounds checking to C and C++.
-
Visual Studio Debuts Improved C/C++ Support
Microsoft's code-based multiplatform editor Visual Studio Code has sought to be a go-to choice for developers whether they use Windows, Mac OS X, or Linux. One aspect that has limited the editor is the lack of proper C/C++ support beyond basic syntax highlighting. A new Microsoft extension seeks to narrow the feature gap while providing several C/C++ focused tools.