785 search results - page 70 / 157 » Static Analysis of Android Programs |
134
Voted
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...
202
click to vote
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 ...
143
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Parallelizing compiler technology has improved in recent years. One area in which compilers have made progress is in handling DOACROSS loops, where crossprocessor data dependencie...
146
click to vote
ENTCS
2002
15 years 2 months ago
2002
Dynamic analysis (instrumenting programs with code to detect and prevent errors during program execution) can be an effective approach to debugging, as well as an effective means ...
159
click to vote
CGO
2011
IEEE
14 years 6 months ago
2011
IEEE
—Many program analyses benefit, both in precision and performance, from precise pointer analysis. An important dimension of pointer analysis precision is flow-sensitivity, whic...