Value analysis tutorial, part 2 Pascal Cuoq on 7 October 2010
In order to create a tradition of providing solutions to previous quizzes, this post is a partial answer to the question in this one about Frama-C's value analysis. To recap: at the end of the Boron tutorial we arrive at the main function below. This function is useful as an...
Read More