Abstract:Due to the importance of reliability and security, prior studies have proposed inlining metafunctions into applications for detecting bugs and security vulnerabilities. However, because these software techniques add frequent, fine-grained instrumentation to programs, they often incur large runtime overheads. In this work, we consider an automatic thread extraction technique for removing these fine-grained checks from a main application and scheduling them on helper threads. In this way, we can leverage the resources available on a CMP to reduce the latency and overhead of fine-grained checking codes. Our parallelization strategy extracts metafunctions from a single threaded application and executes them in customized helper threads—threads constructed to mirror relevant fragments of the main program’s behavior in order to keep communication and overhead low. To get good performance, we consider optimizations that reduce communication and balance work among many threads. We evaluate our parallelization strategy on Mudflap, a pointer-use checking tool in GCC. To show the benefits of our technique, we compare it to a manually parallelized version of Mudflap. We run our experiments on an architectural simulator with support for fast queueing operations. On a subset of SPECint 2000, our automatically parallelized code using static load balance is only 19% slower, on average, than the manually parallelized version on a simulated eight-core system. In addition, our automatically parallelized code using dynamic load balance is competitive, on average, to the manually parallelized version on a simulated eight-core system. Furthermore, all the applications except parser achieve better speedups with our automatic algorithms than with the manual approach. Also, our approach introduces very little overhead in the main program—it is kept under 100%, which is more than a 5.3× reduction compared to serial Mudflap.

A Program Manipulation Middleware and Its Applications on System Security.

Parema: an Unpacking Framework for Demystifying VM-based Android Packers.

Robust and Cost-Effective Design of Cyber-Physical Systems: an Optimal Middleware Deployment Approach

Supporting secure programming in web applications through interactive static analysis.

Design and Implementation of an Automated Malware Dynamic Analysis System

Mitigating Access Control Vulnerabilities through Interactive Static Analysis.

Robust and cost-effective architecture design for smart grid communications: A multi-stage middleware deployment approach

Extended Report on the Obfuscated Integration of Software Protections

Simulation-based Analysis of Middleware Service Impact on System Reliability: Experiment on Java Application Server.

Simulation based analysis of middleware service impact on system reliability: Experiment on Java Application server

Toward Pointer-Analysis-Based Vulnerability Discovery in Human–Machine Pair Programming

Dynamic Analysis and Debugging of Binary Code for Security Applications

Mimic Security Defence Strategy Based on Software Diversity

Middleware Based Runtime Monitoring and Analyzing Framework

Towards a Principled Approach for Dynamic Analysis of Android's Middleware

A Native APIs Protection Mechanism in the Kernel Mode Against Malicious Code

When program analysis meets mobile security: an industrial study of misusing Android internet sockets

Mobile Robot Middleware Supporting Self-adaptive Programming

To Detect Stack Buffer Overflow with Polymorphic Canaries

Towards Vulnerability Discovery Using Staged Program Analysis

Automatic parallelization of fine-grained metafunctions on a chip multiprocessor