Immunant Inc. (@immunant) profile picture

Immunant Inc.

@immunant
Joined June 2015
  • Tweets24
  • Following10
  • Followers151
2Media
Photo by Immunant Inc. (@immunant)Photo by Immunant Inc. (@immunant)
Immunant Inc. retweeted
Martin Geisler (@mrtngslr) profile picture
Martin Geisler@mrtngslr21 Sep 2023
I'm happy to share a post with you all: security.googleblog.com/2023… We have taught Comprehensive Rust 🦀 to more than 500 Googlers now and people tell us that they love the interactive style!
Scaling Rust Adoption Through Training

Scaling Rust Adoption Through Training

Posted by Martin Geisler, Android team Android 14 is the third major Android release with Rust support. We are already seeing a number o...

security.googleblog.com
1
11
1
60
8,494
Immunant Inc. retweeted
Prossimo (@ProssimoISRG) profile picture
Prossimo@ProssimoISRG29 Aug 2023
We’re excited to announce the first stable release of sudo-rs, our Rust rewrite of the critical sudo utility built along with @Tweedegolf and @FerrousSystems. Thank you to @AWSopen for their support of this work. Read more in our new blog post: buff.ly/3Pg9cz9
1
10
8
37
16,106
It's been too long but there's movement on c2rust again immunant.com/blog/2022/06/ba…

C2Rust is Back

tl;dr: c2rust (a transpiler from C to unsafe Rust) is once more being actively developed, now works with recent nightlies, has some new features and bugfixes, and has dropped the c2rust-refactor tool...

immunant.com
3
17
We are hiring! 🦀 immunant.com/jobs/ #rustlang

Jobs

We’re looking for experienced systems programmers We are interested in hearing from skilled systems programmers with a strong command of computer architecture, operating systems, compilers, hypervi...

immunant.com
7
Great read on Rust/C++ interoperability. We learned a lot. security.googleblog.com/2021…
Rust/C++ interop in the Android Platform

Rust/C++ interop in the Android Platform

Posted by Joel Galenson and Matthew Maurer, Android Team One of the main challenges of evaluating Rust for use within the Android platform...

security.googleblog.com
1
7
Love systems programming, compilers, Rust, OS internals? We are hiring! immunant.com/jobs/ #rustlang

Jobs

We’re looking for experienced systems programmers We are interested in hearing from skilled systems programmers with a strong command of computer architecture, operating systems, compilers, hypervi...

immunant.com
3
6
Ever wonder if it is possible to get safe Rust out of C? immunant.com/blog/2020/09/tr…

Refactoring Rust Transpiled from C

Memory management errors are responsible for 70 to 80 percent of security vulnerabilities1 2. This would be much less of a problem if computers were running more Rust and less (if any) C code. So do...

immunant.com
6
17
Learn how you can translate Linux kernel modules to Rust with C2Rust on our blog immunant.com/blog/2020/06/ke… @rustlang @ThisWeekInRust

Transpiling A Kernel Module to Rust: The Good, the Bad and the Ugly

Earlier this year, we used the C2Rust framework to translate applications such as Quake 3 to Rust. In this post, we’ll show you that it is also possible to translate privileged software such as...

immunant.com
10
17
New blog post on the need for a C-compatible bitfields crate for @rustlang immunant.com/blog/2020/01/bi…

Bitfields Forever: Why we need a C-compatible Rust Crate

What Are Bitfields? The C programming language is a product of a time where it was important to use as few resoures as possible. Memory was measured in kilobytes rather than gigabytes as we do today....

immunant.com
2
9
1
16
Crates are at crates.io/search?q=c2rust-bi…
1
We ran Quake3 in Rust! Read all the gory details at immunant.com/blog/2020/01/qu…
Image from Immunant Inc. (@immunant)
3
75
10
223
New C2Rust release! crates.io/crates/c2rust We've added support for merging all the declarations in C headers into proper Rust modules. You can read all the details on our blog: immunant.com/blog/2019/12/he…
10
1
22
Rust is an almost completely ABI-compatible drop-in replacement for real C code. We wrote a bit about where it comes up short and potential improvements in #rust2020. immunant.com/blog/2019/11/ru…

Rust 2020: Lessons learned by transpiling C to Rust

The C2Rust project is all about translating C code into an equivalent, drop-in ABI-compatible Rust implementation. (Read our C2Rust introductory blog post here.) Along the way we’ve uncovered some...

immunant.com
1
5
13
C2Rust has hit 1k 🌟, thanks everyone! Here’s to a bright future of less C and more Rust!
Image from Immunant Inc. (@immunant)
5
13
Rust nightlies now have improved support for C variadics and so does C2Rust. Gory details immunant.com/blog/2019/09/va… @rustlang @ThisWeekInRust

Improved C Variadics in Rust and C2Rust

Introduction to C Variadics The C language provides a special class of functions called variadic functions that can be called with a variable number of arguments. The declaration of a variadic...

immunant.com
6
18
Immunant Inc. retweeted
Stephen Crane (@rinon) profile picture
Stephen Crane@rinon23 Aug 2019
C2Rust now supports translating varargs functions from C into @rustlang! Time to translate your code to Rust? If you're not up to speed, check out our blog post for a quick introduction to the project: immunant.com/blog/2019/08/in…

Introduction to C2Rust

We believe that software should be both fast and safe. Languages like C and C++ deliver blazingly fast performance but are pretty much impossible to use safely. Software mitigations built into the...

immunant.com
6
6
Immunant Inc. retweeted
Wesley Moore (@wezm) profile picture
Wesley Moore@wezm19 Apr 2019
dwm (dynamic window manager dwm.suckless.org/) converted from C to (unsafe) Rust with c2rust running in Xephyr /cc @immunant @rustlang
Screenshot of dwm running in a nested X server. This dwm has been converted to Rust code with c2rust

ALT Screenshot of dwm running in a nested X server. This dwm has been converted to Rust code with c2rust

2
9
51
Optimizing for Security, our work on compiling diversified software to mitigate attacks as part of the @DARPA CFAR project: immunant.com/blog/2018/09/mu…

Optimizing for Security

It is obviously very bad if everybody used the same password. It is also bad when one person reuses the same password across sites. Luckily, we have password managers that can generate unique, random...

immunant.com
1
1
Immunant Inc. retweeted
Per Larsen (@realdataking) profile picture
Per Larsen@realdataking18 Aug 2018
Had a great time presenting our C2Rust migration work at @rustconf 2018. The @Rustlang community is super friendly and welcoming. Hats off to the organizers and core team. Thanks to everyone who attended the talk and came to the demo booth. Will post talk slides later.
1
3
8
Immunant Inc. retweeted
Per Larsen (@realdataking) profile picture
Per Larsen@realdataking13 Jul 2018
Very much looking forward to talk about C2Rust at @rustconf. Try out our translator here c2rust.com and let us know what you think. nitter.gq/rustconf/status/101788…
RustConf (@rustconf) profile pictureRustConf
@rustconf13 Jul 2018
We’ve got a last minute tweak to the program. Let’s all welcome speaker @realdataking and their talk on the C2Rust tool! rustconf.com/program.html#c2…
1
8
20
Load more