code-analysis

Technological advances • July 2, 2024

July 2, 2024 | Quantum software

New computing paradigms will require appropriate programming, verification, and code analysis tools.

Read more
Software development environments • March 17, 2022

Frama-C

Guaranteeing program safety and security with an open-source formal analysis environment for code written in C.

Read more
Software development environments • March 13, 2022

Unisim

An electronic systems simulation environment for easier testing of complex software binary code.

Read more
Software development environments • March 13, 2022

Binsec

Making software more secure through the formal analysis of executable code.

Read more