Developer Resources

All the knowledge you need, in one place.

October 27, 2022

CERT C Benchmark

Articles

June 3, 2022

C programs that access the representation of addresses: TrustInSoft’s solution

Articles

April 26, 2022

Static analysis and low-level C programs that access the representation of addresses

Articles

October 20, 2020

Beyond the x86_64: developing for embedded systems without development boards

Articles

September 15, 2020

PolarSSL Verification Kit

Articles

April 6, 2020

GCC always assumes aligned pointer accesses

Articles

April 6, 2020

GCC always assumes aligned pointer accesses

Articles

July 9, 2019

Printing a null pointer with %s is undefined behavior

Articles

September 18, 2018

Outlining the language C programs should be written in

Articles

March 18, 2018

Differences between the B method and Frama-C in Formal Methods

Articles

June 27, 2017

An old quirky libksba bug

Articles

January 27, 2017

Strict aliasing violations analyzer: progress report

Articles