AdaCore

COMPANY OVERVIEW

About AdaCore

Provider of high reliability software tools including Ada and SPARK

Contact

https://www.adacore.com/

More Info on AdaCore

Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. With over two decades of experience working with the most respected companies in industries such as aerospace, defense and railways, we build tools and provide services that ease the complex and often difficult process of developing high-integrity software. As the need for truly secure and reliable applications expands into industries such as automotive, medical, energy, and IoT, we’re excited to bring our time-tested technologies, expertise and services to help a whole new generation of developers.

Articles & News

dreamstime_bardushkaphotostock_315135256_promo

Software

Pointers in Rust: Whacking the Mole (Part 3)—Indirection, References, and the Borrow Checker

March 12, 2025

The Rust borrow checker is one of its main memory-management features.

Software

Pointers in Rust: Whacking the Mole (Part 2)—The Rust Approach

Feb. 27, 2025

The Rust language brings a fresh approach to whacking the pointer mole.

Software

Pointers in Rust: Whacking the Mole (Part 1)

Feb. 20, 2025

Pointer errors have plagued software developers for decades. Rust’s innovative and expressive approach helps make pointers safe and efficient.

Software

Pointers in Rust: Whacking the Mole (Part 4)—Handling Weak References

Jan. 22, 2025

Rust can still utilize pointers for low-level work and interfacing with other languages.

Embedded

Putting Protocols into Practice with RecordFlux

Jan. 11, 2024

Developing a robust, secure protocol specification doesn’t need to be complicated…if you have the right tools.

alt.embedded

NSA Recommends Safe Memory Management

Nov. 14, 2022

The U.S. National Security Agency recently published the “Software Memory Safety” Cybersecurity Information Sheet.

Videos & Resources

Why Commercial Rust Software is Important for Critical Solutions

alt.embedded

Why Commercial Rust Software is Critical for Critical Solutions

May 9, 2024

AdaCore’s GNAT Rust solution brings commercial support to Rust developers.

Embedded

Fuzz Testing for Safe and Secure Software

April 25, 2022

AdaCore's Paul Butcher breaks down the not-so-well-known technique of application fuzz testing.

Building High-Assurance Software without Breaking the Bank

The late computer scientist Edsger Dijkstra once famously said "Program testing can be used to show the presence of bugs, but never to show their absence." This intrinsic drawback...

All content from AdaCore

alt.embedded

To Stack or Not to Stack—Allocation is the Question

Oct. 25, 2021

Embedded programmers have three places to store data: global, the heap, and the stack.

Embedded

How to Use Ada to Insulate Software from Hardware Updates

June 25, 2021

Ada’s data-representation features address one of the most vexing issues with hardware updates: Creating portable code that can define data structures with a specific physical...

Automation

Ada from a Business Perspective

June 8, 2021

Programming with Ada can make business sense in terms of cost savings and available tools.

Automation

Interfacing with Devices Using Ada

June 2, 2021

Ada was built to interface with embedded devices. Learn about the Size aspect and attribute, register overlays, and the svd2ada Ada binding generator.