561 search results - page 63 / 113 » Alias Analysis of Executable Code |
130
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Atomicity-checking is a powerful approach for finding subtle concurrency errors in shared-memory multithreaded code. The goal is to verify that certain code sections appear to exec...
166
click to vote
IISWC
2008
IEEE
15 years 11 months ago
2008
IEEE
Dynamic binary translation systems enable a wide range of applications such as program instrumentation, optimization, and security. DBTs use a software code cache to store previou...
139
click to vote
TDSC
2010
15 years 2 months ago
2010
—We propose SigFree, an online signature-free out-of-the-box application-layer method for blocking code-injection buffer overflow attack messages targeting at various Internet se...
148
click to vote
ECLIPSE
2006
ACM
15 years 10 months ago
2006
ACM
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...
134
click to vote
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
During software development it is helpful to obtain early estimates of the defect density of software components. Such estimates identify fault-prone areas of code requiring furth...