Okun, V.
, Delaitre, A.
and Black, P.
(2013),
Report on the Static Analysis Tool Exposition (SATE) IV:, , National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.SP.500-297
(Accessed November 8, 2024)