4722 search results - page 233 / 945 » Representation-independent program analysis |
166
click to vote
DIMVA
2006
15 years 7 months ago
2006
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
151
click to vote
CACM
2010
15 years 6 months ago
2010
Therearemanymethodsfordetectingandmitigatingsoftware errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work ...
190
click to vote
ORL
2008
15 years 6 months ago
2008
We propose a sample average approximation (SAA) method for stochastic programming problems involving an expected value constraint. Such problems arise, for example, in portfolio s...
191
click to vote
ISAAC
2010
Springer
15 years 4 months ago
2010
Springer
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...
155
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...