792 search results - page 41 / 159 » Static Analysis of XSLT Programs |
124
Voted
SP
2002
IEEE
15 years 11 days ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
116
Voted
ICAS
2006
IEEE
15 years 6 months ago
2006
IEEE
By harnessing computational power of distributed heterogeneous resources, it is possible to build a large scale integrated system so that a centralized program is partitioned and ...
100
click to vote
CC
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
105
Voted
IFIP
2009
Springer
15 years 7 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
120
click to vote
WCRE
2002
IEEE
15 years 5 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...