DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Runtime error detection
Runtime error detection
HALO: Post-Link Heap-Layout Optimisation
Architectural Support for Scripting Languages
Runtime Detection of C-Style Errors in UPC Code
Wind River® Vxworks® 7 Third Party License Notices
Matrox Imaging Library (MIL) 10.0 MIL 10 Processing Pack 3 Release Notes (C) Copyright Matrox Electronic Systems Ltd., 1992-2018
DETECTING BUFFER OVERFLOWS USING TESTCASE SYNTHESIS and CODE INSTRUMENTATION by MICHAEL A
C/C++ Runtime Error Detection Using Source Code Instrumentation
Residual Investigation: Predictive and Precise Bug Detection
Automatic Techniques to Systematically Discover New Heap Exploitation Primitives
How to Keep Your Head Above Water While Detecting Errors
Errors Detected Multiple Use Modes
Variably Interprocedural Program Analysis for Runtime Error Detection
Communicating Using Program Traces
Towards Better Systems Programming in Ocaml with Out-Of-Heap Allocation Guillaume Munch-Maccagnoni
Integrating Development Testing Practices: Extending Beyond Static Analysis
Static Data Flow Analysis for Realtime Java Runtime Error Detection Fridtjof Siebert
Dynamic Derivation of Application-Specific Error Detectors and Their Implementation in Hardware K
A Tool for Building Source-To-Source Translators Draft User Manual (Version 0.9.11.115)
Top View
BOLT: a Practical Binary Optimizer for Data Centers and Beyond
Runtime Checking C Programs
Detection and Diagnosis of Memory Leaks in Web Applications
Residual Investigation: Predictive and Precise Bug Detection
Symbolic Execution for Runtime Error Detection and Investigation of Refactoring Activity Based on a New Dataset
Toward Specialization of Memory Management in Unikernels
Runtime and Memory Error Detection and Visualization with Parasoft Insure++
Testing Static Analysis Tools Using Exploitable Buffer Overflows From
Testing Static Analysis Tools Using Exploitable Buffer Overflows from Open Source Code
Developing DO- 178B/C Compliant Software for Airborne Systems
No-FAT: Architectural Support for Low Overhead Memory Safety Checks
Introduction Polyspace Verifier
Perceus: Garbage Free Reference Counting with Reuse
Runtime Error Checking for Novice C Programmers
Whitepaper: Satisfying SIL Requirements with Parasoft.Pdf
Find Elusive C/C++ Errors Automatically with Parasoft Insure
Verified Sequential Malloc/Free
Automating C/C++ Runtime Error Detection with Parasoft Insure++
MPI Runtime Error Detection with MUST
Detection of Security Vulnerabilities in C Code Using Runtime Verification
A Profile-Guided, Region-Based Compiler for PHP and Hack Guilherme Ottoni Facebook, Inc
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs ∗
Symbolic Execution and Model Checking for Testing
Amalgamating Different JIT Compilations in a Meta-Tracing JIT
Insure++: An Automatic Runtime Error Detection Tool 1
Sigfree: Buffer Overflow Attack Detection
HHVM Jump-Start: Boosting Both Warmup and Steady-State Performance at Scale