957 search results - page 94 / 192 » Modular Static Program Analysis |
143
click to vote
OSDI
2006
ACM
16 years 2 months ago
2006
ACM
Software attacks often subvert the intended data-flow in a vulnerable program. For example, attackers exploit buffer overflows and format string vulnerabilities to write data to u...
107
Voted
CSMR
2009
IEEE
15 years 9 months ago
2009
IEEE
Multi-agent systems (MAS) are increasingly being exploited to support autonomous recommendation of products and information to contemporary application users. Multi-agent system p...
101
click to vote
DOCENG
2009
ACM
15 years 8 months ago
2009
ACM
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
133
click to vote
EUROMICRO
2005
IEEE
15 years 8 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...
131
Voted
SP
2006
IEEE
15 years 8 months ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...