2673 search results - page 319 / 535 » Guided Static Analysis |
138
click to vote
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Detection of malicious software (malware) by the use of static signatures is often criticized for being overly simplistic. Available methods of obfuscating code (so-called metamor...
204
click to vote
IEEEPACT
2007
IEEE
15 years 11 months ago
2007
IEEE
The allocation of lock objects to critical sections in concurrent programs affects both performance and correctness. Recent work explores automatic lock allocation, aiming primari...
129
click to vote
AIRWEB
2007
Springer
15 years 11 months ago
2007
Springer
Redirection spam presents a web page with false content to a crawler for indexing, but automatically redirects the browser to a different web page. Redirection is usually immediat...
118
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
134
click to vote
IWMM
2007
Springer
15 years 11 months ago
2007
Springer
Numerous optimizations exist for improving the performance of nondeferred reference-counting (RC) garbage collection. Their designs are ad hoc, intended to exploit different count...