Technical articles
All the knowledge you need, in one place.
May 14, 2024
Looking for undefined behavior in ntpd
CERT C
October 27, 2022
CERT C Benchmark
June 3, 2022
C programs that access the representation of addresses: TrustInSoft’s solution
April 26, 2022
Static analysis and low-level C programs that access the representation of addresses
October 20, 2020
Beyond the x86_64: developing for embedded systems without development boards
September 15, 2020
PolarSSL Verification Kit
June 4, 2020
GCC always assumes aligned pointer accesses
July 9, 2019
Printing a null pointer with %s is undefined behavior
September 18, 2018
Outlining the language C programs should be written in
March 18, 2018
Differences between the B method and Frama-C in Formal Methods
Search
Tags
CERT C