Based on the analysis of a standard mail-forwarding program, necessary refinements of the basic analysis are examined, thereby paving the way for an analysis that is precise enough to prove the absence of buffer overflows in legacy C code.]]> Thu, 04 Jun 2026 11:41:30 +0000 es Copyright 2021 BiblioEteca Technologies SL