Testing Battle.net

Battle.net is the online service that runs Blizzard’s games. As such, it is a large scale distributed system with many interacting parts and dependencies on various services and data. While developing Battle.net servers, I needed a way to isolate and test functionality that I was working on.

Frama-C Industrial Usage

This video presents some industrial applications of the Frama-C platform by Dassault Aviation. Frama-C is a suite of open source tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C …