2025-02-172007https://dl.ftveti.edu.et/handle/123456789/5497Secure Programming with Static Analysis