3688 search results - page 92 / 738 » Static analysis of aspects |
USS
2004
15 years 1 months ago
2004
Disassembly is the process of recovering a symbolic representation of a program's machine code instructions from its binary representation. Recently, a number of techniques h...
125
click to vote
CORR
2006
Springer
14 years 12 months ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
ICCD
2004
IEEE
15 years 8 months ago
2004
IEEE
We selectively generate and optimize the frames constructed by the rePLay architecture statically. Since static analysis provides a global view of the interaction between the basi...
WCRE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Static disassembly is a crucial first step in reverse engineering executable files, and there is a considerable body of work in reverse-engineering of binaries, as well as are...
KBSE
2006
IEEE
15 years 5 months ago
2006
IEEE
To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If mu...