A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes
Sara Baradaran, Mahdi Heidari, Ali Kamali, Maryam Mouzarani
Topics & Concepts
Computer scienceExecutableSymbolic executionBuffer overflowUnit testingVulnerability (computing)Heap (data structure)Path (computing)Programming languageComputer securitySoftwareOperating systemSecurity and Verification in ComputingRadiation Effects in ElectronicsSoftware Reliability and Analysis Research