Skip to search formSkip to main contentSkip to account menu

Memory safety

Known as: Memory safe, Memory safety in C 
Memory safety is a concern in software development that aims to avoid software bugs that cause security vulnerabilities dealing with random-access… 
Wikipedia (opens in a new tab)

Related topics

Related topics

44 relations
Address space layout randomizationAutomated theorem provingBuffer over-readBuffer overflow

Broader (2)

Programming language implementationSoftware engineering

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Collaborating robots in a museum environment: Modular systems for 3D documentation
The protection and preservation of cultural heritage for generations is a challenging task. Therefore this paper describes a… 
2014
2014
Software design decision vulnerability analysis
Software is a key part of today's increasingly complex safety systems. There are many techniques that are available to identify… 
2013
2013
A compressive sampling based method for power measurement of band-pass signals
The paper deals with the problem of measuring the power of band-pass signals; to this aim, a new method, taking advantage of the… 
2013
2013
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution)
LLBMC is a tool for detecting bugs and runtime errors in C and C++ programs. It is based on bounded model checking using an SMT… 
2013
2013
University Students’ Knowledge and Practices of Food Safety
Abstract This study aims to find out university students’ knowledge and practices about food safety. Study group consisted of 582… 
2012
2012
An elicitation of speeding behaviour beliefs in school zones in Australia
This elicitation study was designed to explore salient behavioural, normative, and control beliefs in accordance with the Theory… 
2012
2012
Local Modular Supervisory Implementation in Microcontroller
: This paper presents the implementation of supervisory control theory in microcontrollers. To ensure a good implementation… 
2007
2007
Authorizing applications in singularity
We describe a new design for authorization in operating systems in which applications are first-class entities. In this design… 
2007
2007
Design of a Certifying Compiler Supporting Proof of Program Safety
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method… 
1997
1997
Derivation of partial safety factors for fire safety evaluation using the reliability index beta-method
Derivation of partial safety factors for fire safety evaluation using the reliability index β method 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)