%0 Journal Article
%A D. Shaikhelislamov
%A M. Drobyshevskiy
%A A. Belevancev
%T Ensuring trustworthy code: leveraging a static analyzer to identify and mitigate defects in generated code
%J Zapiski Nauchnykh Seminarov POMI
%D 2024
%P 233-251
%V 540
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_2024_540_a12/
%G en
%F ZNSL_2024_540_a12