منابع مشابه
Detecting Stack Layout Corruptions with Robust Stack Unwinding
The stack is a critical memory structure to ensure the correct execution of programs because control flow changes through the data stored in it, such as return addresses and function pointers. Thus the stack has been a popular target by many attacks and exploits like stack smashing attacks and return-oriented programming (ROP). We present a novel system to detect the corruption of the stack lay...
متن کاملPushdown Systems with Stack Manipulation
Pushdown systems are a model of computation equipped with one stack where only the top of the stack is inspected and modified in each step of transitions. Although this is a natural restriction, some extensions of pushdown systems require more general operations on stack: conditional pushdown systems inspect the whole stack contents and discrete timed pushdown systems increment the ages of the ...
متن کاملStack targets for equation-of-state measurements with heavy ion beams
Intense energetic ion beams are a promising tool for production and investigation of matter at high energy density. Using a beam from the SIS-18 a specific energy of several kJ/g can be deposited in an extended volume of condensed matter. For precise thermophysical experiments using heavy ion beams appropriate target schemes are indispensable. In this report we address a target configuration wh...
متن کاملComputing Stack Maps with Interfaces
Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This paper describes an improved bytecode analyser together with algorithms for optimizing the stack maps generated. The analyser is simplified in its treatment of base values (keeping only the necessary information to ensure memory saf...
متن کاملclass STACK ( T ) is { { Implementation of STACK
Embedded speciications in object-oriented (OO) languages such as Eiiel and Sather are based on a rigorous approach towards validation, compatibility and reusability of sequential programs. The underlying method of \design-by-contract" is based on Hoare logic for which concurrency extensions exist. However concurrent OO languages are still in their infancy. They have inherently imperative facets...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MSOR Connections
سال: 2017
ISSN: 2051-4220,1473-4869
DOI: 10.21100/msor.v15i2.408