2015 · 17 citations · 40 references
EngineeringComputer ArchitectureSoftware EngineeringMemory Model (Programming)Software AnalysisJava VmFormal VerificationHardware SecurityParallel ComputingMemory ManagementHigh-level Programming LanguageTemporal Safety ErrorsComputer EngineeringComputer ScienceVirtual MemoryStatic Program AnalysisAutomated Memory ManagementLanguage-based SecurityProgram AnalysisLow-level LanguagesSoftware TestingParallel ProgrammingSystem Software
In low-level languages such as C, spatial and temporal safety errors (e.g. buffer overflows or dangling pointer dereferences) are hard to find and can cause security vulnerabilities. Modern high-level languages such as Java avoid these problems by running programs on a virtual machine that provides automated memory management.
40
StackGuard: automatic adaptive detection and prevention of buffer-overflow attacks
Crispin Cowan, Calton Pu, Dave Maier et al. · PDXScholar (Portland State University) · 1998 · 1.3K citations · Full text
László Szekeres, Mathias Payer, Tao Wei et al. · 2013 · 640 citations · Full text
Engineering, Information Security, Memory Model (Programming) +21
Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic · 2009 · 520 citations