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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

The protection and preservation of cultural heritage for generations is a challenging task. Therefore this paper describes a…

2014

Software is a key part of today's increasingly complex safety systems. There are many techniques that are available to identify…

2013

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…

2012

This elicitation study was designed to explore salient behavioural, normative, and control beliefs in accordance with the Theory…

2011

2008

To establish the long-effective mechanism of safety performance in enterprise, prevent the occurrence of accidents and improve…

2007

We describe a new design for authorization in operating systems in which applications are first-class entities. In this design…

2007

Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method…

1997

Derivation of partial safety factors for fire safety evaluation using the reliability index β method

1983

The design of a tool which analyzes concurrent sequential processes-like programs is presented. The purpose of the analyzer is to…