4725 search results - page 111 / 945 » Dependence-Based Program Analysis |
121
click to vote
RAID
2005
Springer
15 years 10 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
132
click to vote
POPL
1999
ACM
15 years 9 months ago
1999
ACM
This paper presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type system, usi...
115
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
136
click to vote
WCET
2008
15 years 6 months ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...
142
click to vote
IJFCS
2008
15 years 4 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...