Blog post

The Last Line Effect

Authored by Andrey Karpov (Blackbelt) Last updated on 05/30/2018 - 07:00
Blog post

Undefined behavior is closer than you think

Some people think that undefined behavior is caused only by gross errors (accessing outside the

Authored by Andrey Karpov (Blackbelt) Last updated on 06/14/2017 - 16:41
Blog post

Using Wind River® Simics® to Inspire Teachers in Costa Rica

Simics* is a great teaching tool, at all levels of the software and hardware stack, down to the internal logic of a hardware design.
Authored by Engblom, Jakob (Intel) Last updated on 08/01/2019 - 11:41
Article

Finding BIOS Vulnerabilities with Symbolic Execution and Virtual Platforms

Intel’s Excite project uses a combination of symbolic execution, fuzzing, and concrete testing to find vulnerabilities in sensitive code.
Authored by Engblom, Jakob (Intel) Last updated on 08/02/2019 - 15:51
Article

The More the Merrier – Building Virtual Platforms for Integration

Supporting integration with virtual platforms is necessary in order to do system integration early.
Authored by Engblom, Jakob (Intel) Last updated on 07/09/2019 - 14:43