Skip to content

[zlib] new case study

Andre Maroneze requested to merge add-zlib into master

With Frama-C, we find an initialization issue in the code; however, once it is fixed, the analysis is long and imprecise due to dynamic memory allocation. Perhaps it is better to wait for a few changes in that regard, or improve the parametrization of the analysis.

Edited by Andre Maroneze

Merge request reports