561 search results - page 6 / 113 » Alias Analysis of Executable Code |
118
Voted
PPOPP
2011
ACM
14 years 2 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
113
click to vote
EUROMICRO
2005
IEEE
15 years 5 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
110
Voted
CGO
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
100
Voted
CC
2005
Springer
15 years 5 months ago
2005
Springer
CodeSurfer/x86 is a prototype system for analyzing x86 executables. It uses a static-analysis algorithm called value-set analysis (VSA) to recover intermediate representations that...
202
Voted
POPL
2008
ACM
15 years 12 months ago
2008
ACM
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...