<--- Back to Details
First PageDocument Content
Data types / Pointer / C / Predicate / Logic programming / Pascal / Dangling pointer / Software engineering / Computing / Computer programming
Date: 2013-09-24 04:53:00
Data types
Pointer
C
Predicate
Logic programming
Pascal
Dangling pointer
Software engineering
Computing
Computer programming

Add to Reading List

Source URL: frama-c.com

Download Document from Source Website

File Size: 1,17 MB

Share Document on Facebook

Similar Documents

Computing / Software engineering / Computer architecture / Method / Data types / X86 architecture / Assembly languages / Virtual method table / Subroutines / X86 assembly language / Low-level programming language / Dangling pointer

¨ BOCHUM RUHR-UNIVERSITAT Horst G¨ortz Institute for IT Security Technical Report TR-HGI

DocID: 1rePV - View Document

Method / Object-oriented programming / Data types / Cross-platform software / Virtual method table / Dynamic dispatch / Polymorphism / Method overriding / Objective-C / Dangling pointer / Control flow / Pointer

S AFE D ISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang Zachary Tatlock

DocID: 1pzmG - View Document

Software bugs / Coccinelle / Buffer overflow / C dynamic memory allocation / Linux kernel / Valgrind / Dangling pointer / C standard library

Hunting bugs with Coccinelle Department of Computer Science, University of Copenhagen Henrik Stuart 8th August 2008 Abstract

DocID: 1prAh - View Document

Software engineering / Computing / Computer programming / Software bugs / Data types / Memory management / Primitive types / Programming language implementation / Pointer / Memory safety / Dangling pointer / Buffer overflow protection

Code-Pointer Integrity Volodymyr Kuznetsov∗ , L´aszl´o Szekeres‡ , Mathias Payer†,§ George Candea∗ , R. Sekar‡ , Dawn Song† ∗ Ecole ´ † UC

DocID: 1o3Br - View Document

Software engineering / Computer programming / Computing / Method / Data types / C++ / Virtual method table / Control-flow integrity / Dangling pointer / Method overriding / Pointer / Control flow

VTrust: Regaining Trust on Virtual Calls Chao Zhang Scott A. Carr Tongxin Li

DocID: 1nYV6 - View Document