Many existing systems are written in C and are not re-entrant or thread safe. Sometimes these systems are required in a context for which they were not first designed, possibly meaning they now need to be re-entrant. This article introduces a program that filters C source code, modifying shared resources (the global variables) to make the code re-entrant: virtualizing the code. The code is then compiled as normal. This approach allows programmatic virtualization with little cost at runtime. Copyright © 2007 John Wiley & Sons, Ltd
Obtaining secure systems software is notoriously hard. One reason is the continuing use of unsafe la...
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Com...
Abstract—Several defenses have increased the cost of tradi-tional, low-level attacks that corrupt co...
Many existing systems are written in C and are not re-entrant or thread safe. Sometimes these system...
A global variable in C/C++ is one that is declared outside a function, and whose scope extends the l...
Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any m...
This article investigates several source-to-source C compilers for extracting pre-execution thread c...
Compilers are at the foundation of software security. On the one hand, compilers are an ideal place ...
We present FoxDec: an approach to C code decompilation that aims at producing sound and recompilable...
Virtual functions make code easier for programmers to reuse but also make it harder for compilers to...
As we move through the multi-core era into the many-core era it becomes obvi- ous that thread-based ...
Computing (BOINC) is an open source client-server middle-ware system created to allow projects with ...
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source ...
The ability to reverse the most advanced software protection schemes is a critical step in mitigatin...
Using only the internal program and data memory of a microcontroller can save large costs in embedde...
Obtaining secure systems software is notoriously hard. One reason is the continuing use of unsafe la...
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Com...
Abstract—Several defenses have increased the cost of tradi-tional, low-level attacks that corrupt co...
Many existing systems are written in C and are not re-entrant or thread safe. Sometimes these system...
A global variable in C/C++ is one that is declared outside a function, and whose scope extends the l...
Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any m...
This article investigates several source-to-source C compilers for extracting pre-execution thread c...
Compilers are at the foundation of software security. On the one hand, compilers are an ideal place ...
We present FoxDec: an approach to C code decompilation that aims at producing sound and recompilable...
Virtual functions make code easier for programmers to reuse but also make it harder for compilers to...
As we move through the multi-core era into the many-core era it becomes obvi- ous that thread-based ...
Computing (BOINC) is an open source client-server middle-ware system created to allow projects with ...
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source ...
The ability to reverse the most advanced software protection schemes is a critical step in mitigatin...
Using only the internal program and data memory of a microcontroller can save large costs in embedde...
Obtaining secure systems software is notoriously hard. One reason is the continuing use of unsafe la...
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Com...
Abstract—Several defenses have increased the cost of tradi-tional, low-level attacks that corrupt co...