2673 search results - page 117 / 535 » Guided Static Analysis |
143
Voted
SAT
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
165
click to vote
IMC
2010
ACM
15 years 2 months ago
2010
ACM
3G cellular data networks have recently witnessed explosive growth. In this work, we focus on UMTS, one of the most popular 3G mobile communication technologies. Our work is the f...
136
click to vote
SOSP
2007
ACM
16 years 28 days ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...
147
click to vote
RV
2010
Springer
15 years 2 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
132
Voted
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...