DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Bounds checking
Bounds checking
Bounds Checking on GPU
Cmsc330 Cybersecurity
Safe Arrays Via Regions and Dependent Types
Runtime Defenses 1 Baggy Bounds Checking
Spring 2015 CS 161 Computer Security Optional Notes Memory
Implicit Array Bounds Checking on 64-Bit Architectures
Ocaml Inside: a Drop-In Replacement for Libtls
A Comprehensive Approach to Array Bounds Check Elimination for Java
Backwards-Compatible Array Bounds Checking for C with Very Low Overhead∗
Liquid Types ∗
Coverity Support for SEI CERT C, C++, and Java Coding Standards
Checking Array Bounds by Abstract Interpretation and Symbolic Expressionsétienne Fausto Spoto, Etienne Payet
Defensive Programming
Architectural Bound Checking for Buffer-Overflow Protection
Lightweight Verification of Array Indexing
Effectivesan: Type and Memory Error Detection Using Dynamically Typed C/C++∗
Light-Weight Bounds Checking*
Finding and Preventing Bugs in Javascript Bindings Fraser Brown⋆ Shravan Narayan† Riad S
Top View
Ocaml ] Slides At
CHOP: Bypassing Runtime Bounds Checking Through Convex Hull Optimization Yurong Chen, Hongfa Xue, Tian Lan, Guru Venkataramani
The Effectiveness of Type-Based Unboxing
A Case Study of Performance Degradation Attributable to Run-Time Bounds Checks on C++ Vector Access
Making C Less Dangerous
Backwards-Compatible Bounds Checking for Arrays and Pointers In
Lessons Learned from the Nmag Project
Safe Programming at the C Level of Abstraction
Programming Languages
Session 6: Data Types and Representation
Baggy Bounds Checking
Coral Programming Language Reference Manual
Introduction to Software Security Chapter 3.1: Pointers and Strings
ISO IEC JTC 1 SC 22 WG 23 N0629 19 January 2016 Rules to Avoid
Baggy Bounds Checking: an Efficient and Backwards-Compatible Defense Against Out-Of-Bounds Errors
Implicit Java Array Bounds Checking on 64-Bit Architectures£
Finding and Preventing Bugs in Javascript Bindings Fraser Brown⋆ Shravan Narayan† Riad S
Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions 3
Multilanguage Programming on the JVM: the Ada 95 Benefits
Eternal War in Memory
Memory Safety “If Our Software Is Buggy, What Does That Say About Its Security?” —Robert H
6.172 Primer #1 Introduction to C99
Bounds Checking: an Instance of Hybrid Analysis
Rationale for International Standard— Programming Languages— C
An Introduction to the C99 Programming Language the C Programming Language, Continued
Getting Started with Python Many Computational Assignments for This Class Use Python 2.7.X, Where X (Hopefully) Does Not Matter
Computer Science Education: Where Are the Software Engineers of Tomorrow?
Stack Bounds Protection with Low Fat Pointers
Towards Memory Safe Python Enclave for Security Sensitive Computation
Optimizing Ada on the Fly Sheri J
Connecting Ocaml to the Sundials Numeric Solvers
Implementing Softbound on Binary Executables
PGI Compiler User's Guide
Baggy Bounds Checking: an Efficient and Backwards-Compatible Defense Against Out-Of-Bounds Errors
Programming Languages
Increasing the Robustness of C Libraries and Applications Through Run-Time Introspection
Subregion Analysis and Bounds Check Elimination for High Level Arrays
Adacore Technologies for Cyber Security Roderick Chapman and Yannick Moy