Code Documentation and Analysis to Secure Software Development. - Paul C. Attie; Anas Obeidat; Nathaniel Oh; Ian Yelle (CoRR, 2024)